Changes in kernel/arch/amd64/src/proc/task.c [df4ed85:d99c1d2] in mainline

File:

• kernel/arch/amd64/src/proc/task.c (modified) (1 diff)

kernel/arch/amd64/src/proc/task.c

@@ -35 +35 @@
 #include <proc/task.h>
 #include <mm/slab.h>
-#include <arch/types.h>
+#include <typedefs.h>
 
 /** Perform amd64 specific task initialization.