Index: uspace/drv/audio/hdaudio/hdactl.c
===================================================================
--- uspace/drv/audio/hdaudio/hdactl.c	(revision e897527842650001c9fb751fa6a1792a272858d7)
+++ 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");