Searched refs:command_reboot (Results 1 - 7 of 7) sorted by relevance
/freebsd-10.2-release/sys/boot/userboot/userboot/ |
H A D | main.c | 252 COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot); 255 command_reboot(int argc, char *argv[]) function
|
/freebsd-10.2-release/sys/boot/i386/loader/ |
H A D | main.c | 300 COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot); 303 command_reboot(int argc, char *argv[]) function
|
/freebsd-10.2-release/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.2-release/sys/boot/amd64/efi/ |
H A D | main.c | 142 COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot); 145 command_reboot(int argc, char *argv[]) function
|
/freebsd-10.2-release/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.2-release/sys/boot/ia64/efi/ |
H A D | main.c | 219 COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot); 222 command_reboot(int argc, char *argv[]) function
|
/freebsd-10.2-release/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 68 milliseconds