Searched refs:mp_gc_sched (Results 1 – 2 of 2) sorted by relevance
115 extern void mp_gc_sched(void);
142 mp_gc_sched(void) in mp_gc_sched() function237 mp_gc_sched(); in mp_pcbdetach()