Index: kernel/generic/src/ddi/ddi.c
===================================================================
--- kernel/generic/src/ddi/ddi.c	(revision 706b4de86801bb57b4394e17f933610630608b59)
+++ kernel/generic/src/ddi/ddi.c	(revision 517c67abd8bcf681bedfe25bdd84b5a5d1e3bb22)
@@ -382,4 +382,7 @@
 	
 	size_t frames = SIZE2FRAMES(size);
+	if (frames == 0)
+		return EINVAL;
+
 	*phys = frame_alloc(frames, FRAME_ATOMIC, constraint);
 	if (*phys == 0)