Index: kernel/generic/src/ddi/ddi.c
===================================================================
--- kernel/generic/src/ddi/ddi.c	(revision b0c2075a579bc0b7840d9dd5002780f078d9c041)
+++ kernel/generic/src/ddi/ddi.c	(revision 65ac220bf75be0b72cb3598d804d8f909a2406d4)
@@ -339,5 +339,5 @@
 	if (!as_area_create(TASK->as, map_flags, size,
 	    AS_AREA_ATTR_NONE, &phys_backend, &backend_data, virt, bound)) {
-		frame_free_noreserve(*phys);
+		frame_free_noreserve(*phys, frames);
 		return ENOMEM;
 	}