Index: kernel/generic/src/mm/km.c
===================================================================
--- kernel/generic/src/mm/km.c	(revision 63e27efdf2fe6d3fa02bbb5ee1da00df5cc07e9d)
+++ kernel/generic/src/mm/km.c	(revision fa77af79d882c3f7ecd77876081adf5ea3247d64)
@@ -117,5 +117,9 @@
 uintptr_t km_page_alloc(size_t size, size_t align)
 {
-	return ra_alloc(km_ni_arena, size, align);
+	uintptr_t base;
+	if (ra_alloc(km_ni_arena, size, align, &base))
+		return base;
+	else
+		return (uintptr_t) NULL;
 }