Index: kernel/generic/include/adt/bitmap.h
===================================================================
--- kernel/generic/include/adt/bitmap.h	(revision 6e75f2dcda90e74dfeaa38430a08f747bf4e05fe)
+++ kernel/generic/include/adt/bitmap.h	(revision 4d4f656ffc62186811fa02970d77df9e60512a39)
@@ -81,5 +81,6 @@
 extern void bitmap_clear_range(bitmap_t *, size_t, size_t);
 
-extern int bitmap_allocate_range(bitmap_t *, size_t, size_t, size_t, size_t *);
+extern int bitmap_allocate_range(bitmap_t *, size_t, size_t, size_t, size_t,
+    size_t *);
 extern void bitmap_copy(bitmap_t *, bitmap_t *, size_t);
 
Index: kernel/generic/include/mm/frame.h
===================================================================
--- kernel/generic/include/mm/frame.h	(revision 6e75f2dcda90e74dfeaa38430a08f747bf4e05fe)
+++ kernel/generic/include/mm/frame.h	(revision 4d4f656ffc62186811fa02970d77df9e60512a39)
@@ -131,7 +131,7 @@
 extern void frame_init(void);
 extern bool frame_adjust_zone_bounds(bool, uintptr_t *, size_t *);
-extern uintptr_t frame_alloc_generic(size_t, frame_flags_t, uintptr_t, size_t *);
+extern uintptr_t frame_alloc_generic(size_t, frame_flags_t, uintptr_t,
+    size_t *);
 extern uintptr_t frame_alloc(size_t, frame_flags_t, uintptr_t);
-extern uintptr_t frame_alloc_noreserve(size_t, frame_flags_t, uintptr_t);
 extern void frame_free_generic(uintptr_t, size_t, frame_flags_t);
 extern void frame_free(uintptr_t, size_t);