Index: uspace/drv/bus/usb/uhci/utils/malloc32.h
===================================================================
--- uspace/drv/bus/usb/uhci/utils/malloc32.h	(revision 8442d1010feb8698f9e91ca9405377165dcfd6eb)
+++ uspace/drv/bus/usb/uhci/utils/malloc32.h	(revision 041b026be4543502c8e624137bc93ee91fb5d06e)
@@ -92,5 +92,7 @@
  */
 static inline void free32(void *addr)
-	{ free(addr); }
+{
+	free(addr);
+}
 
 /** Create 4KB page mapping
@@ -98,5 +100,5 @@
  * @return Address of the mapped page, NULL on failure.
  */
-static inline void * get_page(void)
+static inline void *get_page(void)
 {
 	uintptr_t phys;
@@ -106,5 +108,6 @@
 	    DMAMEM_4GiB, AS_AREA_READ | AS_AREA_WRITE, 0, &phys,
 	    &address);
-	return ret == EOK ? address : NULL;
+	
+	return ((ret == EOK) ? address : NULL);
 }
 
Index: uspace/drv/fb/amdm37x_dispc/amdm37x_dispc.c
===================================================================
--- uspace/drv/fb/amdm37x_dispc/amdm37x_dispc.c	(revision 8442d1010feb8698f9e91ca9405377165dcfd6eb)
+++ uspace/drv/fb/amdm37x_dispc/amdm37x_dispc.c	(revision 041b026be4543502c8e624137bc93ee91fb5d06e)
@@ -281,4 +281,5 @@
 		return ret;
 	}
+	
 	amdm37x_dispc_setup_fb(dispc->regs, x, y, bpp *8, (uint32_t)pa);
 	dispc->active_fb.idx = mode.index;