Symbol: grub_jmp_buf
usr/src/grub/grub-0.97/stage2/shared.h
973
typedef unsigned long grub_jmp_buf[6];
usr/src/grub/grub-0.97/stage2/shared.h
977
# define grub_jmp_buf jmp_buf