Index: kernel/generic/include/mm/page.h
===================================================================
--- kernel/generic/include/mm/page.h	(revision ae318d3535cba06a6996f270db31a961fae402ad)
+++ kernel/generic/include/mm/page.h	(revision c9b550bff53b2109d2746935072fca1bbe632894)
@@ -62,5 +62,5 @@
 
 extern uintptr_t hw_map(uintptr_t physaddr, size_t size);
-extern void hw_area(uintptr_t *physaddr, pfn_t *frames);
+extern void hw_area(void);
 
 #endif
