Changes in kernel/arch/sparc64/src/drivers/kbd.c [e731b0d:19f857a] in mainline

File:

• kernel/arch/sparc64/src/drivers/kbd.c (modified) (1 diff)

kernel/arch/sparc64/src/drivers/kbd.c

@@ -39 +39 @@
 #include <console/console.h>
 #include <ddi/irq.h>
+#include <mm/page.h>
 #include <arch/mm/page.h>
 #include <arch/types.h>
 #include <align.h>
-#include <string.h>
+#include <str.h>
 #include <print.h>
 #include <sysinfo/sysinfo.h>