Index: kernel/arch/sparc64/src/drivers/kbd.c
===================================================================
--- kernel/arch/sparc64/src/drivers/kbd.c	(revision 4c7257ba8f4ef0df71aab7099fb893bdddff511d)
+++ kernel/arch/sparc64/src/drivers/kbd.c	(revision f24d300581dcff87298e80ad8a95d552d34abead)
@@ -46,5 +46,5 @@
 #include <arch/types.h>
 #include <align.h>
-#include <func.h>
+#include <string.h>
 #include <print.h>
 #include <sysinfo/sysinfo.h>
Index: kernel/arch/sparc64/src/drivers/pci.c
===================================================================
--- kernel/arch/sparc64/src/drivers/pci.c	(revision 4c7257ba8f4ef0df71aab7099fb893bdddff511d)
+++ kernel/arch/sparc64/src/drivers/pci.c	(revision f24d300581dcff87298e80ad8a95d552d34abead)
@@ -43,5 +43,5 @@
 #include <debug.h>
 #include <print.h>
-#include <func.h>
+#include <string.h>
 #include <arch/asm.h>
 #include <sysinfo/sysinfo.h>
Index: kernel/arch/sparc64/src/drivers/scr.c
===================================================================
--- kernel/arch/sparc64/src/drivers/scr.c	(revision 4c7257ba8f4ef0df71aab7099fb893bdddff511d)
+++ kernel/arch/sparc64/src/drivers/scr.c	(revision f24d300581dcff87298e80ad8a95d552d34abead)
@@ -38,5 +38,5 @@
 #include <genarch/fb/visuals.h>
 #include <arch/types.h>
-#include <func.h>
+#include <string.h>
 #include <align.h>
 #include <print.h>
Index: kernel/arch/sparc64/src/drivers/sgcn.c
===================================================================
--- kernel/arch/sparc64/src/drivers/sgcn.c	(revision 4c7257ba8f4ef0df71aab7099fb893bdddff511d)
+++ kernel/arch/sparc64/src/drivers/sgcn.c	(revision f24d300581dcff87298e80ad8a95d552d34abead)
@@ -39,5 +39,5 @@
 #include <genarch/ofw/ofw_tree.h>
 #include <debug.h>
-#include <func.h>
+#include <string.h>
 #include <print.h>
 #include <mm/page.h>