Symbol: command_reboot
stand/boot/efi/loader/main.c
452
COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot);
stand/boot/pc32/loader/main.c
354
COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot);