dump_profiler
add_debugger_command_etc("scheduler_profiler", &dump_profiler,
static int dump_profiler(int argc, char** argv);