Index: uspace/drv/audio/hdaudio/hdactl.c
===================================================================
--- uspace/drv/audio/hdaudio/hdactl.c	(revision 7473807b2cbcf501c8b807c52295d1ef0e1e9f37)
+++ uspace/drv/audio/hdaudio/hdactl.c	(revision 8a1be7692f8710c1044d21f081dc5cffc0d5c33d)
@@ -189,4 +189,9 @@
 	    hda->ctl->ok64bit ? 0 : DMAMEM_4GiB, AS_AREA_READ | AS_AREA_WRITE, 0,
 	    &hda->ctl->corb_phys, &hda->ctl->corb_virt);
+	if (rc != EOK) {
+		hda->ctl->corb_virt = NULL;
+		ddf_msg(LVL_NOTE, "Failed allocating DMA memory for CORB");
+		goto error;
+	}
 
 	ddf_msg(LVL_NOTE, "Set CORB base registers");