Symbol: grub_reboot
usr/src/grub/grub-0.97/stage2/builtins.c
3643
grub_reboot ();
usr/src/grub/grub-0.97/stage2/builtins.c
5295
grub_reboot ();
usr/src/grub/grub-0.97/stage2/shared.h
787
void grub_reboot (void) __attribute__ ((noreturn));