122 |
void grub_enter_normal_mode (const char *config); |
void grub_enter_normal_mode (const char *config); |
123 |
void grub_normal_execute (const char *config, int nested); |
void grub_normal_execute (const char *config, int nested); |
124 |
void grub_menu_run (grub_menu_t menu, int nested); |
void grub_menu_run (grub_menu_t menu, int nested); |
125 |
|
void grub_menu_entry_run (grub_menu_entry_t entry); |
126 |
void grub_cmdline_run (int nested); |
void grub_cmdline_run (int nested); |
127 |
int grub_cmdline_get (const char *prompt, char cmdline[], unsigned max_len, |
int grub_cmdline_get (const char *prompt, char cmdline[], unsigned max_len, |
128 |
int echo_char, int readline); |
int echo_char, int readline); |
164 |
void grub_loop_fini (void); |
void grub_loop_fini (void); |
165 |
void grub_help_init (void); |
void grub_help_init (void); |
166 |
void grub_help_fini (void); |
void grub_help_fini (void); |
167 |
|
void grub_halt_init (void); |
168 |
|
void grub_halt_fini (void); |
169 |
|
void grub_reboot_init (void); |
170 |
|
void grub_reboot_fini (void); |
171 |
#endif |
#endif |
172 |
|
|
173 |
#endif /* ! GRUB_NORMAL_HEADER */ |
#endif /* ! GRUB_NORMAL_HEADER */ |