Index: kernel/arch/sparc64/src/mm/tlb.c
===================================================================
--- kernel/arch/sparc64/src/mm/tlb.c	(revision 6ab8697dc506650b8712d1dc5e817cc473bf170a)
+++ kernel/arch/sparc64/src/mm/tlb.c	(revision eae4e8fa7dfec64f319138584d0480c91f7579ca)
@@ -37,4 +37,5 @@
 #include <mm/as.h>
 #include <mm/asid.h>
+#include <genarch/mm/page_ht.h>
 #include <arch/mm/frame.h>
 #include <arch/mm/page.h>