Index: uspace/drv/time/cmos-rtc/cmos-rtc.c
===================================================================
--- uspace/drv/time/cmos-rtc/cmos-rtc.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ uspace/drv/time/cmos-rtc/cmos-rtc.c	(revision 2ee0e4a1310e3fe2e6e7d1f090bbe5a5e0aa5bb3)
@@ -362,5 +362,5 @@
 
 		/* Now check if it is stable */
-	} while(t->tm_sec != rtc_register_read(rtc, RTC_SEC) ||
+	} while (t->tm_sec != rtc_register_read(rtc, RTC_SEC) ||
 	    t->tm_min != rtc_register_read(rtc, RTC_MIN) ||
 	    t->tm_mday != rtc_register_read(rtc, RTC_DAY) ||