Searched defs:sched_control (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/rumprun/
H A Dinit_data.h77 seL4_CPtr sched_control; member in struct:__anon902
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/
H A Dmain.c986 seL4_CPtr UNUSED sched_control = sched_ctrl_caps(affinity); local

Completed in 48 milliseconds