Searched refs:main_sched_rtds (Results 1 – 3 of 3) sorted by relevance
274 &main_sched_rtds, 0, 1,
150 int main_sched_rtds(int argc, char **argv);
710 int main_sched_rtds(int argc, char **argv) in main_sched_rtds() function
Completed in 5 milliseconds