Searched refs:command_reboot (Results 1 - 7 of 7) sorted by relevance
/freebsd-9.3-release/sys/boot/userboot/userboot/ |
H A D | main.c | 171 COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot); 174 command_reboot(int argc, char *argv[]) function
|
/freebsd-9.3-release/sys/boot/uboot/common/ |
H A D | main.c | 232 COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot); 234 command_reboot(int argc, char *argv[]) function
|
/freebsd-9.3-release/sys/boot/i386/loader/ |
H A D | main.c | 299 COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot); 302 command_reboot(int argc, char *argv[]) function
|
/freebsd-9.3-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-9.3-release/sys/boot/i386/efi/ |
H A D | main.c | 127 COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot); 130 command_reboot(int argc, char *argv[]) function
|
/freebsd-9.3-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-9.3-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 124 milliseconds