Index: kernel/arch/ia32/include/arch/mm/page.h
===================================================================
--- kernel/arch/ia32/include/arch/mm/page.h	(revision 2a103b55952cff53f2a9d4868d024062b0d42b1e)
+++ kernel/arch/ia32/include/arch/mm/page.h	(revision e428becb1f92b5b4d8d6b10b19091c39ea1b79f9)
@@ -38,5 +38,4 @@
 #include <arch/mm/frame.h>
 #include <stdbool.h>
-#include <trace.h>
 
 #define PAGE_WIDTH  FRAME_WIDTH
@@ -147,4 +146,5 @@
 #include <arch/interrupt.h>
 #include <stddef.h>
+#include <trace.h>
 
 /* Page fault error codes. */