Index: kernel/generic/include/mm/frame.h
===================================================================
--- kernel/generic/include/mm/frame.h	(revision b0c2075a579bc0b7840d9dd5002780f078d9c041)
+++ kernel/generic/include/mm/frame.h	(revision 26bc0fd10fa2579b9b192f6dd165b50194fcedc4)
@@ -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);