/[grub]/grub2/include/grub/normal.h
ViewVC logotype

Diff of /grub2/include/grub/normal.h

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.11 by marco_g, Mon Jan 31 21:40:25 2005 UTC revision 1.12 by okuji, Tue Feb 15 00:07:01 2005 UTC
# Line 122  extern grub_jmp_buf grub_exit_env; Line 122  extern grub_jmp_buf grub_exit_env;
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);
# Line 163  void grub_loop_init (void); Line 164  void grub_loop_init (void);
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 */

Legend:
Removed from v.1.11  
changed lines
  Added in v.1.12

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26