Searched refs:command_reboot (Results 1 – 4 of 4) sorted by relevance
| /freebsd-13.1/stand/userboot/userboot/ |
| H A D | main.c | 327 COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot);
330 command_reboot(int argc, char *argv[]) in command_reboot() function
|
| /freebsd-13.1/stand/i386/loader/ |
| H A D | main.c | 401 COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot);
404 command_reboot(int argc, char *argv[]) in command_reboot() function
|
| /freebsd-13.1/stand/uboot/common/ |
| H A D | main.c | 565 COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot);
567 command_reboot(int argc, char *argv[]) in command_reboot() function
|
| /freebsd-13.1/stand/efi/loader/ |
| H A D | main.c | 1242 COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot);
1245 command_reboot(int argc, char *argv[]) in command_reboot() function
|