Index: uspace/drv/audio/sb16/dma.h
===================================================================
--- uspace/drv/audio/sb16/dma.h	(revision 1240bb95c3c231d45558da9d7acd93c3557996db)
+++ uspace/drv/audio/sb16/dma.h	(revision 2d9197eae003be97dc7b6a6c6c4e95d858029670)
@@ -35,7 +35,5 @@
 #define DRV_AUDIO_SB16_DMA_H
 
-#include <assert.h>
 #include <errno.h>
-#include <malloc.h>
 #include <mem.h>
 #include <as.h>
@@ -74,5 +72,11 @@
 	uintptr_t ptr = 0;
 	as_get_physical_mapping(address, &ptr);
-	ddf_log_verbose("Buffer mapped at %x.", ptr);
+	if ((ptr & 0xffffff) != ptr) {
+		ddf_log_debug("%s: Can not provide invalid buffer %x.",
+		    __FUNCTION__, ptr);
+		as_area_destroy(address);
+		return NULL;
+	}
+	ddf_log_verbose("%s: Buffer mapped at %x.", __FUNCTION__, ptr);
 	return address;
 }