getrtsecs
while ((time1 = getrtsecs ()) == 0xFF)
if ((time1 = getrtsecs ()) != time2 && time1 != 0xFF)
int getrtsecs (void);
while ((time1 = getrtsecs ()) == 0xFF)
&& (time1 = getrtsecs ()) != time2
while ((time1 = getrtsecs()) == 0xFF);
if (grub_timeout >= 0 && (time1 = getrtsecs()) != time2 && time1 != 0xFF)