Index: kernel/arch/sparc64/src/drivers/kbd.c
===================================================================
--- kernel/arch/sparc64/src/drivers/kbd.c	(revision 70a1c5973a6eaac7ac446329ee243b13fb827f5d)
+++ kernel/arch/sparc64/src/drivers/kbd.c	(revision 99de22b5fb6b8faaa2a2796f37caebf2f125988b)
@@ -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>