Lines Matching refs:grub_timeout
263 if (grub_timeout < 0)
278 grub_timeout = -1;
283 /* If GRUB_TIMEOUT is expired, boot the default entry. */
284 if (grub_timeout >=0
288 if (grub_timeout <= 0)
290 grub_timeout = -1;
295 grub_timeout--;
299 grub_timeout);
353 if (grub_timeout >= 0 && (time1 = getrtsecs()) != time2 && time1 != 0xFF)
355 if (grub_timeout <= 0)
357 grub_timeout = -1;
366 entryno, grub_timeout);
371 grub_timeout);
375 grub_timeout--;
379 (GRUB_TIMEOUT == -1) relax in GETKEY even if no key has been
383 if (checkkey () >= 0 || grub_timeout < 0)
386 since we're comming in here also on GRUB_TIMEOUT == -1 and
393 if (grub_timeout >= 0)
400 grub_timeout = -1;
