Index: kernel/arch/sparc64/src/drivers/kbd.c
===================================================================
--- kernel/arch/sparc64/src/drivers/kbd.c	(revision 77f65dfab6006516f72908b4df77deadf26e1a71)
+++ kernel/arch/sparc64/src/drivers/kbd.c	(revision 387416b0bf7b246ca6a9df2aea472d75776a5b48)
@@ -39,4 +39,5 @@
 #include <console/console.h>
 #include <ddi/irq.h>
+#include <mm/page.h>
 #include <arch/mm/page.h>
 #include <arch/types.h>
Index: kernel/arch/sparc64/src/mm/page.c
===================================================================
--- kernel/arch/sparc64/src/mm/page.c	(revision 77f65dfab6006516f72908b4df77deadf26e1a71)
+++ kernel/arch/sparc64/src/mm/page.c	(revision 387416b0bf7b246ca6a9df2aea472d75776a5b48)
@@ -33,4 +33,5 @@
  */
 
+#include <mm/page.h>
 #include <arch/mm/page.h>
 #include <arch/mm/tlb.h>
Index: kernel/arch/sparc64/src/mm/sun4u/tlb.c
===================================================================
--- kernel/arch/sparc64/src/mm/sun4u/tlb.c	(revision 77f65dfab6006516f72908b4df77deadf26e1a71)
+++ kernel/arch/sparc64/src/mm/sun4u/tlb.c	(revision 387416b0bf7b246ca6a9df2aea472d75776a5b48)
@@ -50,4 +50,5 @@
 #include <panic.h>
 #include <arch/asm.h>
+#include <genarch/mm/page_ht.h>
 
 #ifdef CONFIG_TSB
Index: kernel/arch/sparc64/src/mm/sun4v/tlb.c
===================================================================
--- kernel/arch/sparc64/src/mm/sun4v/tlb.c	(revision 77f65dfab6006516f72908b4df77deadf26e1a71)
+++ kernel/arch/sparc64/src/mm/sun4v/tlb.c	(revision 387416b0bf7b246ca6a9df2aea472d75776a5b48)
@@ -54,4 +54,5 @@
 #include <arch/cpu.h>
 #include <arch/mm/pagesize.h>
+#include <genarch/mm/page_ht.h>
 
 #ifdef CONFIG_TSB