Index: kernel/genarch/include/genarch/acpi/acpi.h
===================================================================
--- kernel/genarch/include/genarch/acpi/acpi.h	(revision 84239b1cd7c5ed286263ce4edb649da00b34b249)
+++ kernel/genarch/include/genarch/acpi/acpi.h	(revision 9fa14d8ddc43d5a2acc6637cb66265ecd07540e8)
@@ -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 84239b1cd7c5ed286263ce4edb649da00b34b249)
+++ kernel/genarch/include/genarch/acpi/madt.h	(revision 9fa14d8ddc43d5a2acc6637cb66265ecd07540e8)
@@ -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 84239b1cd7c5ed286263ce4edb649da00b34b249)
+++ kernel/genarch/include/genarch/drivers/am335x/cm_per.h	(revision 9fa14d8ddc43d5a2acc6637cb66265ecd07540e8)
@@ -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 84239b1cd7c5ed286263ce4edb649da00b34b249)
+++ kernel/genarch/include/genarch/drivers/amdm37x/gpt.h	(revision 9fa14d8ddc43d5a2acc6637cb66265ecd07540e8)
@@ -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 84239b1cd7c5ed286263ce4edb649da00b34b249)
+++ kernel/genarch/include/genarch/drivers/bcm2835/irc.h	(revision 9fa14d8ddc43d5a2acc6637cb66265ecd07540e8)
@@ -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 84239b1cd7c5ed286263ce4edb649da00b34b249)
+++ kernel/genarch/include/genarch/drivers/bcm2835/timer.h	(revision 9fa14d8ddc43d5a2acc6637cb66265ecd07540e8)
@@ -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 84239b1cd7c5ed286263ce4edb649da00b34b249)
+++ kernel/genarch/include/genarch/drivers/dsrln/dsrlnin.h	(revision 9fa14d8ddc43d5a2acc6637cb66265ecd07540e8)
@@ -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 84239b1cd7c5ed286263ce4edb649da00b34b249)
+++ kernel/genarch/include/genarch/drivers/i8042/i8042.h	(revision 9fa14d8ddc43d5a2acc6637cb66265ecd07540e8)
@@ -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 84239b1cd7c5ed286263ce4edb649da00b34b249)
+++ kernel/genarch/include/genarch/multiboot/multiboot2.h	(revision 9fa14d8ddc43d5a2acc6637cb66265ecd07540e8)
@@ -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 84239b1cd7c5ed286263ce4edb649da00b34b249)
+++ kernel/genarch/include/genarch/ofw/ebus.h	(revision 9fa14d8ddc43d5a2acc6637cb66265ecd07540e8)
@@ -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 84239b1cd7c5ed286263ce4edb649da00b34b249)
+++ kernel/genarch/include/genarch/ofw/pci.h	(revision 9fa14d8ddc43d5a2acc6637cb66265ecd07540e8)
@@ -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 84239b1cd7c5ed286263ce4edb649da00b34b249)
+++ kernel/genarch/include/genarch/ofw/sbus.h	(revision 9fa14d8ddc43d5a2acc6637cb66265ecd07540e8)
@@ -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 84239b1cd7c5ed286263ce4edb649da00b34b249)
+++ kernel/genarch/include/genarch/ofw/upa.h	(revision 9fa14d8ddc43d5a2acc6637cb66265ecd07540e8)
@@ -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 *,
Index: kernel/genarch/src/drivers/bcm2835/mbox.c
===================================================================
--- kernel/genarch/src/drivers/bcm2835/mbox.c	(revision 84239b1cd7c5ed286263ce4edb649da00b34b249)
+++ kernel/genarch/src/drivers/bcm2835/mbox.c	(revision 9fa14d8ddc43d5a2acc6637cb66265ecd07540e8)
@@ -40,5 +40,6 @@
 static void mbox_write(bcm2835_mbox_t *mbox, uint8_t chan, uint32_t value)
 {
-	while (mbox->status & MBOX_STATUS_FULL) ;
+	while (mbox->status & MBOX_STATUS_FULL)
+		;
 	mbox->write = MBOX_COMPOSE(chan, value);
 }
@@ -49,5 +50,6 @@
 
 	do {
-		while (mbox->status & MBOX_STATUS_EMPTY) ;
+		while (mbox->status & MBOX_STATUS_EMPTY)
+			;
 		msg = mbox->read;
 	} while (MBOX_MSG_CHAN(msg) != chan);
@@ -69,7 +71,7 @@
 
 	mbox_write((bcm2835_mbox_t *)BCM2835_MBOX0_ADDR,
-		   MBOX_CHAN_PROP_A2V, KA2VCA((uint32_t)req));
+	    MBOX_CHAN_PROP_A2V, KA2VCA((uint32_t)req));
 	mbox_read((bcm2835_mbox_t *)BCM2835_MBOX0_ADDR,
-		  MBOX_CHAN_PROP_A2V);
+	    MBOX_CHAN_PROP_A2V);
 
 	if (req->buf_hdr.code == MBOX_PROP_CODE_RESP_OK) {
@@ -88,8 +90,8 @@
 	bcm2835_mbox_t *fb_mbox;
 	bool ret = false;
-        MBOX_BUFF_ALLOC(fb_desc, bcm2835_fb_desc_t);
+	MBOX_BUFF_ALLOC(fb_desc, bcm2835_fb_desc_t);
 
 	fb_mbox = (void *) km_map(BCM2835_MBOX0_ADDR, sizeof(bcm2835_mbox_t),
-				  PAGE_NOT_CACHEABLE);
+	    PAGE_NOT_CACHEABLE);
 
 	fb_desc->width = 640;
@@ -119,5 +121,5 @@
 
 	printf("BCM2835 framebuffer at 0x%08x (%dx%d)\n", prop->addr,
-	       prop->x, prop->y);
+	    prop->x, prop->y);
 	ret = true;
 out:
Index: kernel/genarch/src/drivers/omap/uart.c
===================================================================
--- kernel/genarch/src/drivers/omap/uart.c	(revision 84239b1cd7c5ed286263ce4edb649da00b34b249)
+++ kernel/genarch/src/drivers/omap/uart.c	(revision 9fa14d8ddc43d5a2acc6637cb66265ecd07540e8)
@@ -43,5 +43,6 @@
 {
 	/* Wait for buffer */
-	while (uart->regs->ssr & OMAP_UART_SSR_TX_FIFO_FULL_FLAG);
+	while (uart->regs->ssr & OMAP_UART_SSR_TX_FIFO_FULL_FLAG)
+		;
 	/* Write to the outgoing fifo */
 	uart->regs->thr = b;
@@ -93,5 +94,6 @@
 	/* Soft reset the port */
 	uart->regs->sysc = OMAP_UART_SYSC_SOFTRESET_FLAG;
-	while (!(uart->regs->syss & OMAP_UART_SYSS_RESETDONE_FLAG));
+	while (!(uart->regs->syss & OMAP_UART_SYSS_RESETDONE_FLAG))
+		;
 
 	/* Disable the UART module */
Index: kernel/genarch/src/drivers/pl011/pl011.c
===================================================================
--- kernel/genarch/src/drivers/pl011/pl011.c	(revision 84239b1cd7c5ed286263ce4edb649da00b34b249)
+++ kernel/genarch/src/drivers/pl011/pl011.c	(revision 9fa14d8ddc43d5a2acc6637cb66265ecd07540e8)
@@ -50,5 +50,5 @@
 	/* Wait for space becoming available in Tx FIFO. */
 	// TODO make pio_read accept consts pointers and remove the cast
-	while ((pio_read_32((ioport32_t*)&uart->regs->flag) & PL011_UART_FLAG_TXFF_FLAG) != 0)
+	while ((pio_read_32((ioport32_t *)&uart->regs->flag) & PL011_UART_FLAG_TXFF_FLAG) != 0)
 		;
 
@@ -86,5 +86,5 @@
 
 	// TODO make pio_read accept const pointers and remove the cast
-	while ((pio_read_32((ioport32_t*)&uart->regs->flag) & PL011_UART_FLAG_RXFE_FLAG) == 0) {
+	while ((pio_read_32((ioport32_t *)&uart->regs->flag) & PL011_UART_FLAG_RXFE_FLAG) == 0) {
 		/* We ignore all error flags here */
 		const uint8_t data = pio_read_32(&uart->regs->data);
@@ -99,15 +99,15 @@
 {
 	assert(uart);
-	uart->regs = (void*)km_map(addr, sizeof(pl011_uart_regs_t),
-				   PAGE_NOT_CACHEABLE);
+	uart->regs = (void *)km_map(addr, sizeof(pl011_uart_regs_t),
+	    PAGE_NOT_CACHEABLE);
 	assert(uart->regs);
 
 	/* Disable UART */
-	uart->regs->control &= ~ PL011_UART_CONTROL_UARTEN_FLAG;
+	uart->regs->control &= ~PL011_UART_CONTROL_UARTEN_FLAG;
 
 	/* Enable hw flow control */
 	uart->regs->control |=
-		PL011_UART_CONTROL_RTSE_FLAG |
-		PL011_UART_CONTROL_CTSE_FLAG;
+	    PL011_UART_CONTROL_RTSE_FLAG |
+	    PL011_UART_CONTROL_CTSE_FLAG;
 
 	/* Mask all interrupts */
@@ -117,7 +117,7 @@
 	/* Enable UART, TX and RX */
 	uart->regs->control |=
-		PL011_UART_CONTROL_UARTEN_FLAG |
-		PL011_UART_CONTROL_TXE_FLAG |
-		PL011_UART_CONTROL_RXE_FLAG;
+	    PL011_UART_CONTROL_UARTEN_FLAG |
+	    PL011_UART_CONTROL_TXE_FLAG |
+	    PL011_UART_CONTROL_RXE_FLAG;
 
 	outdev_initialize("pl011_uart_dev", &uart->outdev, &pl011_uart_ops);
@@ -143,6 +143,6 @@
 	/* Enable receive interrupts */
 	uart->regs->interrupt_mask |=
-		PL011_UART_INTERRUPT_RX_FLAG |
-		PL011_UART_INTERRUPT_RT_FLAG;
+	    PL011_UART_INTERRUPT_RX_FLAG |
+	    PL011_UART_INTERRUPT_RT_FLAG;
 }
 
Index: kernel/genarch/src/mm/page_ht.c
===================================================================
--- kernel/genarch/src/mm/page_ht.c	(revision 84239b1cd7c5ed286263ce4edb649da00b34b249)
+++ kernel/genarch/src/mm/page_ht.c	(revision 9fa14d8ddc43d5a2acc6637cb66265ecd07540e8)
@@ -222,6 +222,5 @@
 }
 
-static pte_t *
-ht_mapping_find_internal(as_t *as, uintptr_t page, bool nolock)
+static pte_t *ht_mapping_find_internal(as_t *as, uintptr_t page, bool nolock)
 {
 	uintptr_t key[2] = {
Index: kernel/genarch/src/softint/multiplication.c
===================================================================
--- kernel/genarch/src/softint/multiplication.c	(revision 84239b1cd7c5ed286263ce4edb649da00b34b249)
+++ kernel/genarch/src/softint/multiplication.c	(revision 9fa14d8ddc43d5a2acc6637cb66265ecd07540e8)
@@ -54,5 +54,6 @@
  * @result
  */
-static unsigned long long mul(unsigned int a, unsigned int b) {
+static unsigned long long mul(unsigned int a, unsigned int b)
+{
 	unsigned int a1, a2, b1, b2;
 	unsigned long long t1, t2, t3;
@@ -64,7 +65,7 @@
 
 	t1 = a1 * b1;
-	t2 = a1*b2;
-	t2 += a2*b1;
-	t3 = a2*b2;
+	t2 = a1 * b2;
+	t2 += a2 * b1;
+	t3 = a2 * b2;
 
 	t3 = (((t1 << 16) + t2) << 16) + t3;
@@ -79,5 +80,5 @@
 {
 	long long result;
-	unsigned long long t1,t2;
+	unsigned long long t1, t2;
 	unsigned long long a1, a2, b1, b2;
 	char neg = 0;
@@ -101,17 +102,17 @@
 	if (SOFTINT_CHECK_OF && (a1 != 0) && (b1 != 0)) {
 		// error, overflow
-		return (neg?MIN_INT64:MAX_INT64);
+		return (neg ? MIN_INT64 : MAX_INT64);
 	}
 
 	// (if OF checked) a1 or b1 is zero => result fits in 64 bits, no need to another overflow check
-	t1 = mul(a1,b2) + mul(b1,a2);
+	t1 = mul(a1, b2) + mul(b1, a2);
 
 	if (SOFTINT_CHECK_OF && t1 > MAX_UINT32) {
 		// error, overflow
-		return (neg?MIN_INT64:MAX_INT64);
+		return (neg ? MIN_INT64 : MAX_INT64);
 	}
 
 	t1 = t1 << 32;
-	t2 = mul(a2,b2);
+	t2 = mul(a2, b2);
 	t2 += t1;
 
@@ -120,5 +121,5 @@
 	if (SOFTINT_CHECK_OF && ((t2 < t1) || (t2 & (1ull << 63)))) {
 		// error, overflow
-		return (neg?MIN_INT64:MAX_INT64);
+		return (neg ? MIN_INT64 : MAX_INT64);
 	}