Index: kernel/genarch/src/drivers/omap/uart.c
===================================================================
--- kernel/genarch/src/drivers/omap/uart.c	(revision 24abb85d299db39cc03f429adc41bb1ed4f23e23)
+++ kernel/genarch/src/drivers/omap/uart.c	(revision 2f1c88e88f3d33245f94ca59d2b772d4dd5d1f56)
@@ -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 */