Index: kernel/generic/include/mm/frame.h
===================================================================
--- kernel/generic/include/mm/frame.h	(revision b0c2075a579bc0b7840d9dd5002780f078d9c041)
+++ kernel/generic/include/mm/frame.h	(revision 8049b794fcc4083f18ffe39bcf0629eab3c0e6f4)
@@ -134,7 +134,7 @@
 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, frame_flags_t);
-extern void frame_free(uintptr_t);
-extern void frame_free_noreserve(uintptr_t);
+extern void frame_free_generic(uintptr_t, size_t, frame_flags_t);
+extern void frame_free(uintptr_t, size_t);
+extern void frame_free_noreserve(uintptr_t, size_t);
 extern void frame_reference_add(pfn_t);
 extern size_t frame_total_free_get(void);