Index: uspace/drv/bus/usb/ehci/ehci_rh.c
===================================================================
--- uspace/drv/bus/usb/ehci/ehci_rh.c	(revision 338d54a7c4a77bbe3bf0bdff3c750bad8bb1ea9a)
+++ uspace/drv/bus/usb/ehci/ehci_rh.c	(revision f3d47c976431122cd3b0844f80937c7fdb899b40)
@@ -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 338d54a7c4a77bbe3bf0bdff3c750bad8bb1ea9a)
+++ uspace/drv/bus/usb/ehci/hc.c	(revision f3d47c976431122cd3b0844f80937c7fdb899b40)
@@ -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 338d54a7c4a77bbe3bf0bdff3c750bad8bb1ea9a)
+++ uspace/drv/bus/usb/uhci/uhci_rh.c	(revision f3d47c976431122cd3b0844f80937c7fdb899b40)
@@ -252,5 +252,5 @@
 	    hub->reset_changed[port] ? "-reset" : "");
 	memcpy(data, &status, sizeof(status));
-	*act_size = sizeof(status);;
+	*act_size = sizeof(status);
 	return EOK;
 }