2N/A * along with GRUB. If not, see <http://www.gnu.org/licenses/>.
2N/A#ifndef GRUB_NORMAL_HEADER
2N/Aextern int grub_normal_exit_level;
2N/A/* Defined in `completion.c'. */
2N/A/* Defined in `menu_text.c'. */
2N/Avoid grub_wait_after_message (void);
2N/A int margin_right,
2N/Avoid read_handler_list (void);
2N/Avoid free_handler_list (void);
2N/Avoid grub_context_init (void);
2N/Avoid grub_context_fini (void);
2N/Avoid grub_normal_reset_more (void);
2N/Aextern int grub_extractor_level;
2N/Avoid grub_normal_auth_init (void);
2N/Avoid grub_normal_auth_fini (void);