Index: kernel/generic/include/mm/tlb.h
===================================================================
--- kernel/generic/include/mm/tlb.h	(revision 31e15be68a47a029289a467b6b9f837763fe97c1)
+++ kernel/generic/include/mm/tlb.h	(revision e86f56875b4b9e55d0ae025a2964f45d45338216)
@@ -36,4 +36,5 @@
 #define KERN_TLB_H_
 
+#include <arch/asm.h>
 #include <arch/mm/asid.h>
 #include <typedefs.h>