Index: arch/amd64/include/mm/page.h
===================================================================
--- arch/amd64/include/mm/page.h	(revision 37b451f7a8c252d1c0a3c5b78efd144d682378ec)
+++ arch/amd64/include/mm/page.h	(revision eb1b8b6abe4db61ee3c0873c66e1e8043cace67b)
@@ -30,7 +30,8 @@
 #define __amd64_PAGE_H__
 
+#include <arch/mm/frame.h>
+
 #ifndef __ASM__
 #  include <mm/page.h>
-#  include <arch/mm/frame.h>
 #  include <arch/types.h>
 #endif