Index: kernel/generic/include/mm/frame.h
===================================================================
--- kernel/generic/include/mm/frame.h	(revision 5df19638ae7b362a07b4f8c7b1647a3adcb53862)
+++ kernel/generic/include/mm/frame.h	(revision 550523f5970533355f64d259e09ffd28f0133593)
@@ -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);