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

File:

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

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

@@ -41 +41 @@
 #include <mm/page.h>
 #include <mm/slab.h>
-#include <typedefs.h>
+#include <arch/types.h>
 #include <debug.h>
 #include <print.h>
-#include <str.h>
+#include <string.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