Symbol: big_linux_boot
usr/src/grub/grub-0.97/stage2/builtins.c
292
big_linux_boot ();
usr/src/grub/grub-0.97/stage2/shared.h
822
void big_linux_boot (void) __attribute__ ((noreturn));