Searched refs:Debug_Reboot (Results 1 – 1 of 1) sorted by relevance
247 Debug_Reboot(int argc, const char *argv[]) in Debug_Reboot() function256 REGISTER_DBGCMD(reboot, "Reboot computer", Debug_Reboot);