Index: kernel/arch/ia64/include/arch/context_struct.h
===================================================================
--- kernel/arch/ia64/include/arch/context_struct.h	(revision 70259a55669e39fcfc7d76d43bbf35c26ab91657)
+++ kernel/arch/ia64/include/arch/context_struct.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -141,3 +141,2 @@
 #endif /* __ASSEMBLER__ */
 #endif
-
Index: kernel/arch/ia64/include/arch/istate_struct.h
===================================================================
--- kernel/arch/ia64/include/arch/istate_struct.h	(revision 70259a55669e39fcfc7d76d43bbf35c26ab91657)
+++ kernel/arch/ia64/include/arch/istate_struct.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -156,3 +156,2 @@
 #endif
 #endif
-
Index: kernel/arch/ia64/include/arch/proc/task.h
===================================================================
--- kernel/arch/ia64/include/arch/proc/task.h	(revision 70259a55669e39fcfc7d76d43bbf35c26ab91657)
+++ kernel/arch/ia64/include/arch/proc/task.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -43,5 +43,4 @@
 } task_arch_t;
 
-
 #define task_create_arch(t) { (t)->arch.iomap = NULL; }
 #define task_destroy_arch(t)
Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision 70259a55669e39fcfc7d76d43bbf35c26ab91657)
+++ kernel/arch/ia64/src/ia64.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -218,5 +218,4 @@
 }
 
-
 /** Enter userspace and never return. */
 void userspace(uspace_arg_t *kernel_uarg)
Index: kernel/arch/ia64/src/interrupt.c
===================================================================
--- kernel/arch/ia64/src/interrupt.c	(revision 70259a55669e39fcfc7d76d43bbf35c26ab91657)
+++ kernel/arch/ia64/src/interrupt.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -195,5 +195,4 @@
 }
 
-
 #define BREAK_IMM_SYSCALL	0x40000U
 
Index: kernel/arch/ia64/src/mm/tlb.c
===================================================================
--- kernel/arch/ia64/src/mm/tlb.c	(revision 70259a55669e39fcfc7d76d43bbf35c26ab91657)
+++ kernel/arch/ia64/src/mm/tlb.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -102,5 +102,4 @@
 	tlb_invalidate_all();
 }
-
 
 void tlb_invalidate_pages(asid_t asid, uintptr_t page, size_t cnt)
@@ -409,5 +408,4 @@
 }
 
-
 /** Copy content of PTE into data translation cache.
  *
@@ -602,5 +600,4 @@
 	}
 
-
 	pte_t t;
 	bool found = page_mapping_find(as, va, true, &t);
Index: kernel/arch/ia64/src/mm/vhpt.c
===================================================================
--- kernel/arch/ia64/src/mm/vhpt.c	(revision 70259a55669e39fcfc7d76d43bbf35c26ab91657)
+++ kernel/arch/ia64/src/mm/vhpt.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -53,5 +53,4 @@
 }
 
-
 void vhpt_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry)
 {
Index: kernel/arch/ia64/src/smc.c
===================================================================
--- kernel/arch/ia64/src/smc.c	(revision 70259a55669e39fcfc7d76d43bbf35c26ab91657)
+++ kernel/arch/ia64/src/smc.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -40,3 +40,2 @@
 	srlz_i();
 }
-
Index: kernel/arch/ia64/src/smp/smp.c
===================================================================
--- kernel/arch/ia64/src/smp/smp.c	(revision 70259a55669e39fcfc7d76d43bbf35c26ab91657)
+++ kernel/arch/ia64/src/smp/smp.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -54,3 +54,2 @@
 /** @}
  */
-