Index: uspace/drv/bus/usb/xhci/hc.c
===================================================================
--- uspace/drv/bus/usb/xhci/hc.c	(revision c9d905f24da71d7b3de3a02c52a7f4689e544c22)
+++ uspace/drv/bus/usb/xhci/hc.c	(revision 4d28d86c673015ca43ccaa1575c577c8a54673f3)
@@ -327,5 +327,5 @@
 	usb_log_debug2("LEGSUP: bios: %x, os: %x", hc->legsup->sem_bios, hc->legsup->sem_os);
 	XHCI_REG_WR(hc->legsup, XHCI_LEGSUP_SEM_OS, 1);
-	for (int i = 0; i<=(XHCI_LEGSUP_BIOS_TIMEOUT_US/XHCI_LEGSUP_POLLING_DELAY_1MS); i++) {
+	for (int i = 0; i <= (XHCI_LEGSUP_BIOS_TIMEOUT_US / XHCI_LEGSUP_POLLING_DELAY_1MS); i++) {
 		usb_log_debug2("LEGSUP: elapsed: %i ms, bios: %x, os: %x", i,
 			XHCI_REG_RD(hc->legsup, XHCI_LEGSUP_SEM_BIOS),