Searched refs:command_reboot (Results 1 - 7 of 7) sorted by relevance
/freebsd-10-stable/sys/boot/userboot/userboot/ |
H A D | main.c | 285 COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot); 288 command_reboot(int argc, char *argv[]) function
|
/freebsd-10-stable/sys/boot/pc98/loader/ |
H A D | main.c | 277 COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot); 280 command_reboot(int argc, char *argv[]) function
|
/freebsd-10-stable/sys/boot/i386/loader/ |
H A D | main.c | 305 COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot); 308 command_reboot(int argc, char *argv[]) function
|
/freebsd-10-stable/sys/boot/uboot/common/ |
H A D | main.c | 520 COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot); 522 command_reboot(int argc, char *argv[]) function
|
/freebsd-10-stable/sys/boot/ia64/efi/ |
H A D | main.c | 220 COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot); 223 command_reboot(int argc, char *argv[]) function
|
/freebsd-10-stable/sys/boot/efi/loader/ |
H A D | main.c | 406 COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot); 409 command_reboot(int argc, char *argv[]) function
|
/freebsd-10-stable/sys/boot/sparc64/loader/ |
H A D | main.c | 916 COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot); 919 command_reboot(int argc, char *argv[]) function
|
Completed in 275 milliseconds