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