4 /*===========================================================================*
6 *===========================================================================*/
7 int sched_stop(endpoint_t scheduler_e
, endpoint_t schedulee_e
)
12 /* If the kernel is the scheduler, it will implicitly stop scheduling
13 * once another process takes over or the process terminates */
14 if (scheduler_e
== KERNEL
|| scheduler_e
== NONE
)
17 /* User-scheduled, perform the call */
18 assert(_ENDPOINT_P(scheduler_e
) >= 0);
19 assert(_ENDPOINT_P(schedulee_e
) >= 0);
21 m
.SCHEDULING_ENDPOINT
= schedulee_e
;
22 if ((rv
= _taskcall(scheduler_e
, SCHEDULING_STOP
, &m
))) {