Index: kernel/genarch/src/drivers/am335x/timer.c
===================================================================
--- kernel/genarch/src/drivers/am335x/timer.c	(revision 3bacee1839e6f355100ab4ea86bb211e9ecf19ed)
+++ kernel/genarch/src/drivers/am335x/timer.c	(revision d2f75eb31efa7109d60f52eb578fddc21c8d1e2d)
@@ -47,11 +47,11 @@
 
 typedef struct timer_regs_mmap {
-        uintptr_t base;
-        size_t size;
+	uintptr_t base;
+	size_t size;
 } timer_regs_mmap_t;
 
 static const timer_regs_mmap_t regs_map[TIMERS_MAX] = {
 	{ .base = AM335x_DMTIMER0_BASE_ADDRESS, .size = AM335x_DMTIMER0_SIZE },
-	{0, 0}, /* DMTIMER1 is not supported by this driver */
+	{ 0, 0 }, /* DMTIMER1 is not supported by this driver */
 	{ .base = AM335x_DMTIMER2_BASE_ADDRESS, .size = AM335x_DMTIMER2_SIZE },
 	{ .base = AM335x_DMTIMER3_BASE_ADDRESS, .size = AM335x_DMTIMER3_SIZE },
@@ -67,5 +67,6 @@
 	am335x_timer_regs_t *regs = timer->regs;
 
-	while (regs->twps & reg);
+	while (regs->twps & reg)
+		;
 
 	switch (reg) {
@@ -149,5 +150,6 @@
 	timer->regs->tiocp_cfg |= AM335x_TIMER_TIOCPCFG_SOFTRESET_FLAG;
 	/* Wait until the reset is done */
-	while (timer->regs->tiocp_cfg & AM335x_TIMER_TIOCPCFG_SOFTRESET_FLAG);
+	while (timer->regs->tiocp_cfg & AM335x_TIMER_TIOCPCFG_SOFTRESET_FLAG)
+		;
 }