trivial: remove superfluous empty lines

Signed-off-by: Axel Heider <axelheider@gmx.de>
2021-07-04 13:03:44 +02:00 · 2021-07-04 13:03:44 +02:00 · b9781a0f19
commit b9781a0f19
parent 248b9639ec
3 changed files with 0 additions and 4 deletions
--- a/include/arch/arm/arch/machine.h
+++ b/include/arch/arm/arch/machine.h
@ -83,4 +83,3 @@ static inline exception_t Arch_setTLSRegister(word_t tls_base)
 }

 #endif /* __ASSEMBLER__ */
-
--- a/include/arch/riscv/arch/machine.h
+++ b/include/arch/riscv/arch/machine.h
@ -256,5 +256,3 @@ static inline void Arch_setTLSRegister(word_t tls_base)
 }

 #endif // __ASSEMBLER__
-
-
--- a/src/kernel/boot.c
+++ b/src/kernel/boot.c
@ -282,7 +282,6 @@ create_domain_cap(cap_t root_cnode_cap)
    write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapDomain), cap);
 }

-
 BOOT_CODE cap_t create_ipcbuf_frame_cap(cap_t root_cnode_cap, cap_t pd_cap, vptr_t vptr)
 {
    clearMemory((void *)rootserver.ipc_buf, PAGE_BITS);