Index: kernel/generic/include/mm/frame.h
===================================================================
--- kernel/generic/include/mm/frame.h	(revision 07525cdba517a318677cef4eb379adaea132443a)
+++ kernel/generic/include/mm/frame.h	(revision 43dd8028069d3f1680a1f7a3f3ad25488e4fe07f)
@@ -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);