Searched refs:command_reboot (Results 1 – 4 of 4) sorted by relevance
| /freebsd-14.2/stand/userboot/userboot/ |
| H A D | main.c | 315 COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot);
318 command_reboot(int argc, char *argv[]) in command_reboot() function
|
| /freebsd-14.2/stand/i386/loader/ |
| H A D | main.c | 385 COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot);
388 command_reboot(int argc, char *argv[]) in command_reboot() function
|
| /freebsd-14.2/stand/uboot/ |
| H A D | main.c | 570 COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot);
572 command_reboot(int argc, char *argv[]) in command_reboot() function
|
| /freebsd-14.2/stand/efi/loader/ |
| H A D | main.c | 1338 COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot);
1341 command_reboot(int argc, char *argv[]) in command_reboot() function
|