Symbol: grub_setjmp
usr/src/grub/grub-0.97/stage2/cmdline.c
127
grub_setjmp (restart_cmdline_env);
usr/src/grub/grub-0.97/stage2/shared.h
984
int grub_setjmp (grub_jmp_buf env);
usr/src/grub/grub-0.97/stage2/stage2.c
902
grub_setjmp (restart_env);