Changes in kernel/arch/ia64/src/drivers/ski.c [d99c1d2:a71c158] in mainline

File:

• kernel/arch/ia64/src/drivers/ski.c (modified) (1 diff)

kernel/arch/ia64/src/drivers/ski.c

@@ -37 +37 @@
 #include <console/chardev.h>
 #include <sysinfo/sysinfo.h>
-#include <typedefs.h>
+#include <arch/types.h>
 #include <proc/thread.h>
 #include <synch/spinlock.h>
 #include <arch/asm.h>
 #include <arch/drivers/kbd.h>
-#include <str.h>
+#include <string.h>
 #include <arch.h>