I64 @shell_cmd_reboot(@shell* sh, I64 argc, U8** argv)
{
    Reboot;
    return 0;
}