Index: kernel/genarch/include/genarch/acpi/acpi.h
===================================================================
--- kernel/genarch/include/genarch/acpi/acpi.h	(revision 53ad43cce05b0004bca31a7c5d6822fc33686cf1)
+++ kernel/genarch/include/genarch/acpi/acpi.h	(revision 202872234fa56c357a39df0a3cd16a73688b3ff4)
@@ -49,5 +49,5 @@
 	uint32_t ext_checksum;
 	uint8_t reserved[3];
-} __attribute__ ((packed));
+} __attribute__((packed));
 
 /* System Description Table Header */
@@ -62,5 +62,5 @@
 	uint32_t creator_id;
 	uint32_t creator_revision;
-} __attribute__ ((packed));
+} __attribute__((packed));
 
 struct acpi_signature_map {
@@ -74,5 +74,5 @@
 	struct acpi_sdt_header header;
 	uint32_t entry[];
-} __attribute__ ((packed));
+} __attribute__((packed));
 
 /* Extended System Description Table */
@@ -80,5 +80,5 @@
 	struct acpi_sdt_header header;
 	uint64_t entry[];
-} __attribute__ ((packed));
+} __attribute__((packed));
 
 extern struct acpi_rsdp *acpi_rsdp;
Index: kernel/genarch/include/genarch/acpi/madt.h
===================================================================
--- kernel/genarch/include/genarch/acpi/madt.h	(revision 53ad43cce05b0004bca31a7c5d6822fc33686cf1)
+++ kernel/genarch/include/genarch/acpi/madt.h	(revision 202872234fa56c357a39df0a3cd16a73688b3ff4)
@@ -56,5 +56,5 @@
 	uint8_t type;
 	uint8_t length;
-} __attribute__ ((packed));
+} __attribute__((packed));
 
 /* Multiple APIC Description Table */
@@ -64,5 +64,5 @@
 	uint32_t flags;
 	struct madt_apic_header apic_header[];
-} __attribute__ ((packed));
+} __attribute__((packed));
 
 struct madt_l_apic {
@@ -71,5 +71,5 @@
 	uint8_t apic_id;
 	uint32_t flags;
-} __attribute__ ((packed));
+} __attribute__((packed));
 
 struct madt_io_apic {
@@ -79,5 +79,5 @@
 	uint32_t io_apic_address;
 	uint32_t global_intr_base;
-} __attribute__ ((packed));
+} __attribute__((packed));
 
 struct madt_intr_src_ovrd {
@@ -87,5 +87,5 @@
 	uint32_t global_int;
 	uint16_t flags;
-} __attribute__ ((packed));
+} __attribute__((packed));
 
 struct madt_nmi_src {
@@ -93,5 +93,5 @@
 	uint16_t flags;
 	uint32_t global_intr;
-} __attribute__ ((packed));
+} __attribute__((packed));
 
 struct madt_l_apic_nmi {
@@ -100,5 +100,5 @@
 	uint16_t flags;
 	uint8_t l_apic_lint;
-} __attribute__ ((packed));
+} __attribute__((packed));
 
 struct madt_l_apic_addr_ovrd {
@@ -106,5 +106,5 @@
 	uint16_t reserved;
 	uint64_t l_apic_address;
-} __attribute__ ((packed));
+} __attribute__((packed));
 
 struct madt_io_sapic {
@@ -114,5 +114,5 @@
 	uint32_t global_intr_base;
 	uint64_t io_apic_address;
-} __attribute__ ((packed));
+} __attribute__((packed));
 
 struct madt_l_sapic {
@@ -125,5 +125,5 @@
 	uint32_t acpi_processor_uid_value;
 	uint8_t acpi_processor_uid_str[1];
-} __attribute__ ((packed));
+} __attribute__((packed));
 
 struct madt_platform_intr_src {
@@ -136,5 +136,5 @@
 	uint32_t global_intr;
 	uint32_t platform_intr_src_flags;
-} __attribute__ ((packed));
+} __attribute__((packed));
 
 extern struct acpi_madt *acpi_madt;
Index: kernel/genarch/include/genarch/drivers/am335x/cm_per.h
===================================================================
--- kernel/genarch/include/genarch/drivers/am335x/cm_per.h	(revision 53ad43cce05b0004bca31a7c5d6822fc33686cf1)
+++ kernel/genarch/include/genarch/drivers/am335x/cm_per.h	(revision 202872234fa56c357a39df0a3cd16a73688b3ff4)
@@ -77,5 +77,6 @@
 
 	/* Wait for completion */
-	while ((*tmr_reg & 0x03) != 0x02);
+	while ((*tmr_reg & 0x03) != 0x02)
+		;
 }
 
Index: kernel/genarch/include/genarch/drivers/amdm37x/gpt.h
===================================================================
--- kernel/genarch/include/genarch/drivers/amdm37x/gpt.h	(revision 53ad43cce05b0004bca31a7c5d6822fc33686cf1)
+++ kernel/genarch/include/genarch/drivers/amdm37x/gpt.h	(revision 202872234fa56c357a39df0a3cd16a73688b3ff4)
@@ -203,10 +203,10 @@
 
 static inline void amdm37x_gpt_timer_ticks_init(
-    amdm37x_gpt_t* timer, uintptr_t ioregs, size_t iosize, unsigned hz)
+    amdm37x_gpt_t *timer, uintptr_t ioregs, size_t iosize, unsigned hz)
 {
 	/* Set 32768 Hz clock as source */
 	// TODO find a nicer way to setup 32kHz clock source for timer1
 	// reg 0x48004C40 is CM_CLKSEL_WKUP see page 485 of the manual
-	ioport32_t *clksel = (void*) km_map(0x48004C40, 4, PAGE_NOT_CACHEABLE);
+	ioport32_t *clksel = (void *) km_map(0x48004C40, 4, PAGE_NOT_CACHEABLE);
 	*clksel &= ~1;
 	km_unmap((uintptr_t)clksel, 4);
@@ -214,16 +214,16 @@
 	assert(timer);
 	/* Map control register */
-	timer->regs = (void*) km_map(ioregs, iosize, PAGE_NOT_CACHEABLE);
+	timer->regs = (void *) km_map(ioregs, iosize, PAGE_NOT_CACHEABLE);
 
 	/* Reset the timer */
 	timer->regs->tiocp_cfg |= AMDM37x_GPT_TIOCP_CFG_SOFTRESET_FLAG;
 
-	while (!(timer->regs->tistat & AMDM37x_GPT_TISTAT_RESET_DONE_FLAG));
+	while (!(timer->regs->tistat & AMDM37x_GPT_TISTAT_RESET_DONE_FLAG))
+		;
 
 	/* Set autoreload */
 	timer->regs->tclr |= AMDM37x_GPT_TCLR_AR_FLAG;
 
-	timer->special_available = (
-	    (ioregs == AMDM37x_GPT1_BASE_ADDRESS) ||
+	timer->special_available = ((ioregs == AMDM37x_GPT1_BASE_ADDRESS) ||
 	    (ioregs == AMDM37x_GPT2_BASE_ADDRESS) ||
 	    (ioregs == AMDM37x_GPT10_BASE_ADDRESS));
@@ -246,5 +246,5 @@
 }
 
-static inline void amdm37x_gpt_timer_ticks_start(amdm37x_gpt_t* timer)
+static inline void amdm37x_gpt_timer_ticks_start(amdm37x_gpt_t *timer)
 {
 	assert(timer);
@@ -256,5 +256,5 @@
 }
 
-static inline bool amdm37x_gpt_irq_ack(amdm37x_gpt_t* timer)
+static inline bool amdm37x_gpt_irq_ack(amdm37x_gpt_t *timer)
 {
 	assert(timer);
Index: kernel/genarch/include/genarch/drivers/bcm2835/irc.h
===================================================================
--- kernel/genarch/include/genarch/drivers/bcm2835/irc.h	(revision 53ad43cce05b0004bca31a7c5d6822fc33686cf1)
+++ kernel/genarch/include/genarch/drivers/bcm2835/irc.h	(revision 202872234fa56c357a39df0a3cd16a73688b3ff4)
@@ -59,5 +59,5 @@
 #define IRQ_PEND_SHORT_S	10
 
-unsigned shortcut_inums[] = {7, 9, 10, 18, 19, 53, 54, 55, 56, 57, 62};
+unsigned shortcut_inums[] = { 7, 9, 10, 18, 19, 53, 54, 55, 56, 57, 62 };
 
 typedef struct {
@@ -108,9 +108,10 @@
 
 	asm volatile (
-		"clz r0, %[x]\n"
-		"rsb %[ret], r0, #32\n"
-		: [ret] "=r" (ret)
-		: [x] "r" (x)
-		: "r0" );
+	    "clz r0, %[x]\n"
+	    "rsb %[ret], r0, #32\n"
+	    : [ret] "=r" (ret)
+	    : [x] "r" (x)
+	    : "r0"
+	);
 
 	return ret;
Index: kernel/genarch/include/genarch/drivers/bcm2835/timer.h
===================================================================
--- kernel/genarch/include/genarch/drivers/bcm2835/timer.h	(revision 53ad43cce05b0004bca31a7c5d6822fc33686cf1)
+++ kernel/genarch/include/genarch/drivers/bcm2835/timer.h	(revision 202872234fa56c357a39df0a3cd16a73688b3ff4)
@@ -65,5 +65,5 @@
 
 
-static inline void bcm2835_timer_start(bcm2835_timer_t* timer)
+static inline void bcm2835_timer_start(bcm2835_timer_t *timer)
 {
 	assert(timer);
@@ -74,5 +74,5 @@
 }
 
-static inline void bcm2835_timer_irq_ack(bcm2835_timer_t* timer)
+static inline void bcm2835_timer_irq_ack(bcm2835_timer_t *timer)
 {
 	assert(timer);
Index: kernel/genarch/include/genarch/drivers/dsrln/dsrlnin.h
===================================================================
--- kernel/genarch/include/genarch/drivers/dsrln/dsrlnin.h	(revision 53ad43cce05b0004bca31a7c5d6822fc33686cf1)
+++ kernel/genarch/include/genarch/drivers/dsrln/dsrlnin.h	(revision 202872234fa56c357a39df0a3cd16a73688b3ff4)
@@ -44,5 +44,5 @@
 typedef struct {
 	ioport8_t data;
-} __attribute__ ((packed)) dsrlnin_t;
+} __attribute__((packed)) dsrlnin_t;
 
 typedef struct {
Index: kernel/genarch/include/genarch/drivers/i8042/i8042.h
===================================================================
--- kernel/genarch/include/genarch/drivers/i8042/i8042.h	(revision 53ad43cce05b0004bca31a7c5d6822fc33686cf1)
+++ kernel/genarch/include/genarch/drivers/i8042/i8042.h	(revision 202872234fa56c357a39df0a3cd16a73688b3ff4)
@@ -44,5 +44,5 @@
 	uint8_t pad[3];
 	ioport8_t status;
-} __attribute__ ((packed)) i8042_t;
+} __attribute__((packed)) i8042_t;
 
 typedef struct {
Index: kernel/genarch/include/genarch/multiboot/multiboot2.h
===================================================================
--- kernel/genarch/include/genarch/multiboot/multiboot2.h	(revision 53ad43cce05b0004bca31a7c5d6822fc33686cf1)
+++ kernel/genarch/include/genarch/multiboot/multiboot2.h	(revision 202872234fa56c357a39df0a3cd16a73688b3ff4)
@@ -91,5 +91,5 @@
 	uint32_t entry_size;
 	uint32_t entry_version;
-} __attribute__ ((packed)) multiboot2_memmap_t;
+} __attribute__((packed)) multiboot2_memmap_t;
 
 /** Multiboot2 memmap entry structure */
Index: kernel/genarch/include/genarch/ofw/ebus.h
===================================================================
--- kernel/genarch/include/genarch/ofw/ebus.h	(revision 53ad43cce05b0004bca31a7c5d6822fc33686cf1)
+++ kernel/genarch/include/genarch/ofw/ebus.h	(revision 202872234fa56c357a39df0a3cd16a73688b3ff4)
@@ -39,5 +39,5 @@
 	uint32_t addr;
 	uint32_t size;
-} __attribute__ ((packed)) ofw_ebus_reg_t;
+} __attribute__((packed)) ofw_ebus_reg_t;
 
 typedef struct {
@@ -49,5 +49,5 @@
 	uint64_t parent_base;
 	uint32_t size;
-} __attribute__ ((packed)) ofw_ebus_range_t;
+} __attribute__((packed)) ofw_ebus_range_t;
 
 typedef struct {
@@ -57,5 +57,5 @@
 	uint32_t controller_handle;
 	uint32_t controller_ino;
-} __attribute__ ((packed)) ofw_ebus_intr_map_t;
+} __attribute__((packed)) ofw_ebus_intr_map_t;
 
 typedef struct {
@@ -63,5 +63,5 @@
 	uint32_t addr_mask;
 	uint32_t intr_mask;
-} __attribute__ ((packed)) ofw_ebus_intr_mask_t;
+} __attribute__((packed)) ofw_ebus_intr_mask_t;
 
 extern bool ofw_ebus_apply_ranges(ofw_tree_node_t *, ofw_ebus_reg_t *,
Index: kernel/genarch/include/genarch/ofw/pci.h
===================================================================
--- kernel/genarch/include/genarch/ofw/pci.h	(revision 53ad43cce05b0004bca31a7c5d6822fc33686cf1)
+++ kernel/genarch/include/genarch/ofw/pci.h	(revision 202872234fa56c357a39df0a3cd16a73688b3ff4)
@@ -42,5 +42,5 @@
 	uint64_t addr;
 	uint64_t size;
-} __attribute__ ((packed)) ofw_pci_reg_t;
+} __attribute__((packed)) ofw_pci_reg_t;
 
 typedef struct {
@@ -51,5 +51,5 @@
 	uint64_t parent_base;
 	uint64_t size;
-} __attribute__ ((packed)) ofw_pci_range_t;
+} __attribute__((packed)) ofw_pci_range_t;
 
 extern bool ofw_pci_apply_ranges(ofw_tree_node_t *, ofw_pci_reg_t *,
Index: kernel/genarch/include/genarch/ofw/sbus.h
===================================================================
--- kernel/genarch/include/genarch/ofw/sbus.h	(revision 53ad43cce05b0004bca31a7c5d6822fc33686cf1)
+++ kernel/genarch/include/genarch/ofw/sbus.h	(revision 202872234fa56c357a39df0a3cd16a73688b3ff4)
@@ -38,5 +38,5 @@
 	uint64_t addr;
 	uint32_t size;
-} __attribute__ ((packed)) ofw_sbus_reg_t;
+} __attribute__((packed)) ofw_sbus_reg_t;
 
 typedef struct {
@@ -44,5 +44,5 @@
 	uint64_t parent_base;
 	uint32_t size;
-} __attribute__ ((packed)) ofw_sbus_range_t;
+} __attribute__((packed)) ofw_sbus_range_t;
 
 extern bool ofw_sbus_apply_ranges(ofw_tree_node_t *, ofw_sbus_reg_t *,
Index: kernel/genarch/include/genarch/ofw/upa.h
===================================================================
--- kernel/genarch/include/genarch/ofw/upa.h	(revision 53ad43cce05b0004bca31a7c5d6822fc33686cf1)
+++ kernel/genarch/include/genarch/ofw/upa.h	(revision 202872234fa56c357a39df0a3cd16a73688b3ff4)
@@ -38,5 +38,5 @@
 	uint64_t addr;
 	uint64_t size;
-} __attribute__ ((packed)) ofw_upa_reg_t;
+} __attribute__((packed)) ofw_upa_reg_t;
 
 extern bool ofw_upa_apply_ranges(ofw_tree_node_t *, ofw_upa_reg_t *,