Index: kernel/generic/src/mm/backend_anon.c
===================================================================
--- kernel/generic/src/mm/backend_anon.c	(revision e17f703b4d787a2c0127130226eee931aaed9f8c)
+++ kernel/generic/src/mm/backend_anon.c	(revision cda137838b55c7dc8701be316355a62a861016f9)
@@ -57,6 +57,6 @@
 static void anon_destroy(as_area_t *);
 
-static int anon_page_fault(as_area_t *area, uintptr_t addr, pf_access_t access);
-static void anon_frame_free(as_area_t *area, uintptr_t page, uintptr_t frame);
+static int anon_page_fault(as_area_t *, uintptr_t, pf_access_t);
+static void anon_frame_free(as_area_t *, uintptr_t, uintptr_t);
 
 mem_backend_t anon_backend = {
Index: kernel/generic/src/mm/backend_elf.c
===================================================================
--- kernel/generic/src/mm/backend_elf.c	(revision e17f703b4d787a2c0127130226eee931aaed9f8c)
+++ kernel/generic/src/mm/backend_elf.c	(revision cda137838b55c7dc8701be316355a62a861016f9)
@@ -57,6 +57,6 @@
 static void elf_destroy(as_area_t *);
 
-static int elf_page_fault(as_area_t *area, uintptr_t addr, pf_access_t access);
-static void elf_frame_free(as_area_t *area, uintptr_t page, uintptr_t frame);
+static int elf_page_fault(as_area_t *, uintptr_t, pf_access_t);
+static void elf_frame_free(as_area_t *, uintptr_t, uintptr_t);
 
 mem_backend_t elf_backend = {
Index: kernel/generic/src/mm/backend_phys.c
===================================================================
--- kernel/generic/src/mm/backend_phys.c	(revision e17f703b4d787a2c0127130226eee931aaed9f8c)
+++ kernel/generic/src/mm/backend_phys.c	(revision cda137838b55c7dc8701be316355a62a861016f9)
@@ -52,5 +52,5 @@
 static void phys_destroy(as_area_t *);
 
-static int phys_page_fault(as_area_t *area, uintptr_t addr, pf_access_t access);
+static int phys_page_fault(as_area_t *, uintptr_t, pf_access_t);
 
 mem_backend_t phys_backend = {