Symbol: command_reboot
usr/src/boot/efi/loader/main.c
977
command_reboot(int argc, char *argv[])
usr/src/boot/i386/loader/main.c
318
command_reboot(int argc __unused, char *argv[] __unused)
usr/src/common/ficl/emu/loader_emu.c
1950
command_reboot(int argc, char *argv[])