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 684177f107f2b601cef7c4b89abcc13a445bdfe0)
@@ -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 684177f107f2b601cef7c4b89abcc13a445bdfe0)
@@ -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;
Index: uspace/lib/c/include/ddi.h
===================================================================
--- uspace/lib/c/include/ddi.h	(revision 8442d1010feb8698f9e91ca9405377165dcfd6eb)
+++ uspace/lib/c/include/ddi.h	(revision 684177f107f2b601cef7c4b89abcc13a445bdfe0)
@@ -72,6 +72,6 @@
 extern uint32_t pio_read_32(const ioport32_t *);
 
-static inline uint8_t pio_change_8(
-    ioport8_t *reg, uint8_t val, uint8_t mask, useconds_t delay)
+static inline uint8_t pio_change_8(ioport8_t *reg, uint8_t val, uint8_t mask,
+    useconds_t delay)
 {
 	uint8_t v = pio_read_8(reg);
@@ -81,6 +81,6 @@
 }
 
-static inline uint16_t pio_change_16(
-    ioport16_t *reg, uint16_t val, uint16_t mask, useconds_t delay)
+static inline uint16_t pio_change_16(ioport16_t *reg, uint16_t val,
+    uint16_t mask, useconds_t delay)
 {
 	uint16_t v = pio_read_16(reg);
@@ -90,6 +90,6 @@
 }
 
-static inline uint32_t pio_change_32(
-    ioport32_t *reg, uint32_t val, uint32_t mask, useconds_t delay)
+static inline uint32_t pio_change_32(ioport32_t *reg, uint32_t val,
+    uint32_t mask, useconds_t delay)
 {
 	uint32_t v = pio_read_32(reg);