Index: kernel/generic/include/mm/tlb.h
===================================================================
--- kernel/generic/include/mm/tlb.h	(revision 235e6c77c5e5c577f9057bd1791cbfa4f6d7344c)
+++ kernel/generic/include/mm/tlb.h	(revision 55f81a39160a8e31ee2b1b7ac1727e975f9539ee)
@@ -86,4 +86,5 @@
 extern void tlb_invalidate_asid(asid_t);
 extern void tlb_invalidate_pages(asid_t, uintptr_t, size_t);
+
 #endif