grub_jmp_buf
grub_jmp_buf restart_cmdline_env;
int grub_setjmp (grub_jmp_buf env);
void grub_longjmp (grub_jmp_buf env, int val);
extern grub_jmp_buf restart_env;
extern grub_jmp_buf restart_cmdline_env;
grub_jmp_buf restart_env;