Index: uspace/drv/bus/usb/ehci/ehci_rh.c
===================================================================
--- uspace/drv/bus/usb/ehci/ehci_rh.c	(revision 850fd32a6ced0b28470d7b2100d44accba1dce89)
+++ uspace/drv/bus/usb/ehci/ehci_rh.c	(revision a35a3d819d4e2e4e35964eea617087b5c6431b02)
@@ -339,5 +339,5 @@
 	    USB_PORTSC_PORT_RESET_FLAG) {
 		async_usleep(1);
-	};
+	}
 	usb_log_debug("RH(%p-%u): Reset complete", job->hub, job->port);
 	/* Handle port ownership, if the port is not enabled
Index: uspace/drv/bus/usb/ehci/hc.c
===================================================================
--- uspace/drv/bus/usb/ehci/hc.c	(revision 850fd32a6ced0b28470d7b2100d44accba1dce89)
+++ uspace/drv/bus/usb/ehci/hc.c	(revision a35a3d819d4e2e4e35964eea617087b5c6431b02)
@@ -210,5 +210,5 @@
 	dma_buffer_free(&hc->dma_buffer);
 	return EOK;
-};
+}
 
 void hc_enqueue_endpoint(hc_t *instance, const endpoint_t *ep)
Index: uspace/drv/bus/usb/uhci/uhci_rh.c
===================================================================
--- uspace/drv/bus/usb/uhci/uhci_rh.c	(revision 850fd32a6ced0b28470d7b2100d44accba1dce89)
+++ uspace/drv/bus/usb/uhci/uhci_rh.c	(revision a35a3d819d4e2e4e35964eea617087b5c6431b02)
@@ -252,5 +252,5 @@
 	    hub->reset_changed[port] ? "-reset" : "");
 	memcpy(data, &status, sizeof(status));
-	*act_size = sizeof(status);;
+	*act_size = sizeof(status);
 	return EOK;
 }
Index: uspace/drv/nic/e1k/e1k.c
===================================================================
--- uspace/drv/nic/e1k/e1k.c	(revision 850fd32a6ced0b28470d7b2100d44accba1dce89)
+++ uspace/drv/nic/e1k/e1k.c	(revision a35a3d819d4e2e4e35964eea617087b5c6431b02)
@@ -544,5 +544,5 @@
 	fibril_mutex_unlock(&e1000->rx_lock);
 	return rc;
-};
+}
 
 /** Write receive address to RA registr
@@ -2281,5 +2281,5 @@
 	fibril_mutex_unlock(&e1000->rx_lock);
 	return EOK;
-};
+}
 
 /** Set card MAC address
Index: uspace/drv/nic/rtl8169/driver.c
===================================================================
--- uspace/drv/nic/rtl8169/driver.c	(revision 850fd32a6ced0b28470d7b2100d44accba1dce89)
+++ uspace/drv/nic/rtl8169/driver.c	(revision a35a3d819d4e2e4e35964eea617087b5c6431b02)
@@ -34,4 +34,5 @@
 #include <byteorder.h>
 #include <libarch/barrier.h>
+#include <stdbool.h>
 
 #include <as.h>
@@ -674,5 +675,5 @@
 	unsigned int i = first;
 
-	for (;;) {
+	while (true) {
 		descr = &rtl8169->rx_ring[i];
 		buff_phys = rtl8169->rx_buff_phys + (BUFFER_SIZE * i);
@@ -991,5 +992,5 @@
 	tail = rtl8169->rx_tail;
 
-	for (;;) {
+	while (true) {
 		descr = &rtl8169->rx_ring[tail];
 
Index: uspace/drv/platform/amdm37x/amdm37x.c
===================================================================
--- uspace/drv/platform/amdm37x/amdm37x.c	(revision 850fd32a6ced0b28470d7b2100d44accba1dce89)
+++ uspace/drv/platform/amdm37x/amdm37x.c	(revision a35a3d819d4e2e4e35964eea617087b5c6431b02)
@@ -282,5 +282,5 @@
 			    "freq: %d, div: %d", base_freq, div);
 			return;
-		};
+		}
 		assert(div <= 127);