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

File:

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

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

@@ -44 +44 @@
 #include <debug.h>
 #include <print.h>
-#include <string.h>
+#include <str.h>
 #include <arch/asm.h>
 #include <sysinfo/sysinfo.h>
 
 #define SABRE_INTERNAL_REG      0
-#define PSYCHO_INTERNAL_REG     2       
+#define PSYCHO_INTERNAL_REG     2
 
 #define OBIO_IMR_BASE   0x200