trivial: remove superfluous empty lines

Signed-off-by: Axel Heider <axelheider@gmx.de>

include/arch/arm/arch/32/mode/types.h

@@ -10,4 +10,3 @@
 #define wordBits (1 << wordRadix)
 
 typedef uint32_t timestamp_t;
-

include/arch/arm/arch/64/mode/types.h

@@ -10,5 +10,3 @@
 #define wordBits (1 << wordRadix)
 
 typedef uint64_t timestamp_t;
-
-

include/arch/arm/arch/types.h

@@ -52,4 +52,3 @@ typedef struct kernel_frame {
     int armExecuteNever;
     int userAvailable;
 } kernel_frame_t;
-

include/arch/riscv/arch/32/mode/types.h

@@ -13,4 +13,3 @@
 compile_assert(long_is_32bits, sizeof(unsigned long) == 4)
 
 #define wordRadix 5
-

include/arch/riscv/arch/64/mode/types.h

@@ -13,5 +13,3 @@
 compile_assert(long_is_64bits, sizeof(unsigned long) == 8)
 
 #define wordRadix 6
-
-

include/arch/riscv/arch/types.h

@@ -7,7 +7,6 @@
 
 #pragma once
 
-
 #include <config.h>
 #include <assert.h>
 #include <stdint.h>
@@ -45,4 +44,3 @@ typedef struct kernel_frame {
     pptr_t pptr;
     int userAvailable;
 } kernel_frame_t;
-

include/arch/x86/arch/32/mode/types.h

@@ -8,4 +8,3 @@
 
 #define wordRadix 5
 #define wordBits (1 << wordRadix)
-

include/arch/x86/arch/64/mode/types.h

@@ -8,4 +8,3 @@
 
 #define wordRadix 6
 #define wordBits (1 << wordRadix)
-

include/arch/x86/arch/types.h

@@ -42,4 +42,3 @@ typedef paddr_t seL4_PAddr;
 typedef dom_t seL4_Domain;
 
 typedef uint64_t timestamp_t;
-

include/assert.h

@@ -53,4 +53,3 @@ void _assert_fail(
 #else
 #define unverified_compile_assert compile_assert
 #endif
-

include/compound_types.h

@@ -29,4 +29,3 @@ struct extra_caps {
     cte_ptr_t excaprefs[seL4_MsgMaxExtraCaps];
 };
 typedef struct extra_caps extra_caps_t;
-

include/object.h

@@ -16,4 +16,3 @@
 #include <object/structures.h>
 #include <object/tcb.h>
 #include <object/untyped.h>
-

include/stdarg.h

@@ -11,4 +11,3 @@
 #define va_end(v) __builtin_va_end(v)
 #define va_arg(v,l) __builtin_va_arg(v,l)
 typedef __builtin_va_list va_list;
-

include/string.h

@@ -11,4 +11,3 @@
 word_t strnlen(const char *s, word_t maxlen);
 word_t strlcpy(char *dest, const char *src, word_t size);
 word_t strlcat(char *dest, const char *src, word_t size);
-

include/types.h

@@ -8,4 +8,3 @@
 
 #include <basic_types.h>
 #include <compound_types.h>
-