Searched refs:cmd_scheduler (Results 1 – 3 of 3) sorted by relevance
149 int cmd_scheduler(int argc, char** argv);
121 cmd_scheduler(int argc, char** argv) in cmd_scheduler() function
756 add_debugger_command_etc("scheduler", &cmd_scheduler, in scheduler_init()