static int reboot(int argc, char ** argv) { sync(); if(machine_reboot()) { return 0; } else { printf(" the machine does not support 'reboot'\r\n"); return -1; } }
static int reboot(int argc, char ** argv) { machine_reboot(); return 0; }