Index: kernel/generic/src/ddi/ddi.c
===================================================================
--- kernel/generic/src/ddi/ddi.c	(revision b0c2075a579bc0b7840d9dd5002780f078d9c041)
+++ kernel/generic/src/ddi/ddi.c	(revision de3d15b46ea8377d7efda8dc4e9bdea54653c3f2)
@@ -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;
 	}