94
94
grub_menu_entry_t grub_menu_get_entry (grub_menu_t menu, int no);
95
95
int grub_menu_get_timeout (void);
96
96
void grub_menu_set_timeout (int timeout);
102
97
void grub_menu_entry_run (grub_menu_entry_t entry);
103
98
int grub_menu_get_default_entry_index (grub_menu_t menu);