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