Searched refs:command_reboot (Results 1 – 4 of 4) sorted by relevance
| /src/stand/userboot/userboot/ |
| H A D | main.c | 320 COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot);
323 command_reboot(int argc, char *argv[]) in command_reboot() function
|
| /src/stand/i386/loader/ |
| H A D | main.c | 392 COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot);
395 command_reboot(int argc, char *argv[]) in command_reboot() function
|
| /src/stand/uboot/ |
| H A D | main.c | 564 COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot);
566 command_reboot(int argc, char *argv[]) in command_reboot() function
|
| /src/stand/efi/loader/ |
| H A D | main.c | 1588 COMMAND_SET(reboot, "reboot", "reboot the system", command_reboot);
1591 command_reboot(int argc, char *argv[]) in command_reboot() function
|