Searched defs:sys_sched_getscheduler (Results 1 – 2 of 2) sorted by relevance
2416 sys_sched_getscheduler(struct tcb *tcp) in sys_sched_getscheduler() function
2680 PRE(sys_sched_getscheduler) in PRE() argument