Changes in kernel/arch/ia64/include/mm/tlb.h [d99c1d2:5bda2f3e] in mainline

File:

• kernel/arch/ia64/include/mm/tlb.h (modified) (1 diff)

kernel/arch/ia64/include/mm/tlb.h

@@ -39 +39 @@
 #include <arch/mm/asid.h>
 #include <arch/interrupt.h>
-#include <typedefs.h>
+#include <arch/types.h>
 
 /** Data and instruction Translation Register indices. */