cmd_scheduler
add_debugger_command_etc("scheduler", &cmd_scheduler,
int cmd_scheduler(int argc, char** argv);