Searched refs:grub_menu_set_timeout (Results 1 - 2 of 2) sorted by relevance

/osnet-11/usr/src/grub/grub2/include/grub/
H A Dmenu.h96 void grub_menu_set_timeout (int timeout);
/osnet-11/usr/src/grub/grub2/grub-core/normal/
H A Dmenu.c108 grub_menu_set_timeout (int timeout) function
547 grub_menu_set_timeout (timeout);

Completed in 22 milliseconds