167 |
grub_command_t grub_command_find (char *cmdline); |
grub_command_t grub_command_find (char *cmdline); |
168 |
grub_err_t grub_set_history (int newsize); |
grub_err_t grub_set_history (int newsize); |
169 |
int grub_iterate_commands (int (*iterate) (grub_command_t)); |
int grub_iterate_commands (int (*iterate) (grub_command_t)); |
170 |
int grub_command_execute (char *cmdline); |
int grub_command_execute (char *cmdline, int interactive); |
171 |
void grub_command_init (void); |
void grub_command_init (void); |
172 |
void grub_normal_init_page (void); |
void grub_normal_init_page (void); |
173 |
void grub_menu_init_page (int nested, int edit); |
void grub_menu_init_page (int nested, int edit); |