Searched refs:simple_default_sched_control (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dsimple.c57 static seL4_CPtr simple_default_sched_control(void *data, int core) function
243 simple->sched_ctrl = &simple_default_sched_control;
/seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/
H A Dlibsel4simple-default.c200 seL4_CPtr simple_default_sched_control(void *data, int core) function
276 simple->sched_ctrl = &simple_default_sched_control;

Completed in 41 milliseconds