Symbol: command_reboot
stand/efi/loader/main.c
1596
command_reboot(int argc, char *argv[])
stand/i386/loader/main.c
395
command_reboot(int argc, char *argv[])
stand/uboot/main.c
566
command_reboot(int argc, char *argv[])
stand/userboot/userboot/main.c
323
command_reboot(int argc, char *argv[])