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