Symbol: command_reboot
stand/boot/efi/loader/main.c
455
command_reboot(int argc, char *argv[])
stand/boot/pc32/loader/main.c
357
command_reboot(int argc, char *argv[])