Index: uspace/drv/char/i8042/i8042.c
===================================================================
--- uspace/drv/char/i8042/i8042.c	(revision 338d54a7c4a77bbe3bf0bdff3c750bad8bb1ea9a)
+++ uspace/drv/char/i8042/i8042.c	(revision 850fd32a6ced0b28470d7b2100d44accba1dce89)
@@ -188,5 +188,5 @@
 		rc = ENOMEM;
 		goto error;
-	};
+	}
 
 	dev->kbd = ddf_fun_data_alloc(kbd_fun, sizeof(i8042_port_t));
Index: uspace/drv/fb/amdm37x_dispc/amdm37x_dispc.c
===================================================================
--- uspace/drv/fb/amdm37x_dispc/amdm37x_dispc.c	(revision 338d54a7c4a77bbe3bf0bdff3c750bad8bb1ea9a)
+++ uspace/drv/fb/amdm37x_dispc/amdm37x_dispc.c	(revision 850fd32a6ced0b28470d7b2100d44accba1dce89)
@@ -150,10 +150,10 @@
 
 	return EOK;
-};
+}
 
 errno_t amdm37x_dispc_fini(amdm37x_dispc_t *instance)
 {
 	return EOK;
-};
+}
 
 static errno_t amdm37x_dispc_setup_fb(amdm37x_dispc_regs_t *regs,
Index: uspace/drv/nic/e1k/e1k.c
===================================================================
--- uspace/drv/nic/e1k/e1k.c	(revision 338d54a7c4a77bbe3bf0bdff3c750bad8bb1ea9a)
+++ uspace/drv/nic/e1k/e1k.c	(revision 850fd32a6ced0b28470d7b2100d44accba1dce89)
@@ -511,5 +511,5 @@
 
 	return EOK;
-};
+}
 
 /** Set acceptance of weird frames
Index: uspace/drv/nic/rtl8139/driver.c
===================================================================
--- uspace/drv/nic/rtl8139/driver.c	(revision 338d54a7c4a77bbe3bf0bdff3c750bad8bb1ea9a)
+++ uspace/drv/nic/rtl8139/driver.c	(revision 850fd32a6ced0b28470d7b2100d44accba1dce89)
@@ -231,5 +231,5 @@
 	*mac0_dest = pio_read_32(rtl8139->io_port + MAC0);
 	*mac4_dest = pio_read_16(rtl8139->io_port + MAC0 + 4);
-};
+}
 
 /** Set MAC address to the device
@@ -423,5 +423,5 @@
 err_size:
 	return;
-};
+}
 
 
@@ -612,5 +612,5 @@
 	rtl8139_rx_reset(rtl8139);
 	return frames;
-};
+}
 
 
@@ -833,5 +833,5 @@
 	/* Turn the interrupts on again */
 	rtl8139_hw_int_set(rtl8139);
-};
+}
 
 /** Register interrupt handler for the card in the system
@@ -1039,5 +1039,5 @@
 		ddf_msg(LVL_ERROR, "%s device: unexpected irq count", ddf_dev_get_name(dev));
 		return EINVAL;
-	};
+	}
 	if (hw_resources->io_ranges.count != 1) {
 		ddf_msg(LVL_ERROR, "%s device: unexpected io ranges count", ddf_dev_get_name(dev));
@@ -1331,5 +1331,5 @@
 	rtl8139_dev_cleanup(dev);
 	return rc;
-};
+}
 
 /** Set card MAC address
@@ -1526,5 +1526,5 @@
 
 	return EOK;
-};
+}
 
 /** Set current pause frame configuration
@@ -1562,5 +1562,5 @@
 	}
 	return EOK;
-};
+}
 
 /** Set operation mode of the device
@@ -1937,5 +1937,5 @@
 
 	return EOK;
-};
+}
 
 /** Set acceptance of weird frames
@@ -1967,5 +1967,5 @@
 	fibril_mutex_unlock(&rtl8139->rx_lock);
 	return EOK;
-};
+}
 
 
@@ -2006,5 +2006,5 @@
 	default:
 		return EINVAL;
-	};
+	}
 	if(rtl8139->pm.active++ == 0)
 		rtl8139_hw_pmen_set(rtl8139, 1);
@@ -2042,5 +2042,5 @@
 	default:
 		return;
-	};
+	}
 	rtl8139->pm.active--;
 	if (rtl8139->pm.active == 0)
Index: uspace/drv/nic/rtl8139/general.c
===================================================================
--- uspace/drv/nic/rtl8139/general.c	(revision 338d54a7c4a77bbe3bf0bdff3c750bad8bb1ea9a)
+++ uspace/drv/nic/rtl8139/general.c	(revision 850fd32a6ced0b28470d7b2100d44accba1dce89)
@@ -114,5 +114,5 @@
 	ta->last_run = 1;
 	return EOK;
-};
+}
 
 
@@ -147,4 +147,4 @@
 
 	return expired;
-};
+}
 
Index: uspace/drv/nic/rtl8169/driver.c
===================================================================
--- uspace/drv/nic/rtl8169/driver.c	(revision 338d54a7c4a77bbe3bf0bdff3c750bad8bb1ea9a)
+++ uspace/drv/nic/rtl8169/driver.c	(revision 850fd32a6ced0b28470d7b2100d44accba1dce89)
@@ -208,5 +208,5 @@
 		ddf_msg(LVL_ERROR, "%s device: unexpected irq count", ddf_dev_get_name(dev));
 		return EINVAL;
-	};
+	}
 
 	if (hw_resources->io_ranges.count != 1) {