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

/seL4-camkes-master/projects/capdl/capdl-loader-app/include/
H A Dcapdl.h196 CDL_SchedContext = seL4_SchedContextObject, enumerator in enum:__anon45
199 CDL_SchedContext = seL4_ObjectTypeCount + 5,
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/
H A Dmain.c622 case CDL_SchedContext:
2019 if (spec->objects[obj_id].type == CDL_SchedContext) {

Completed in 69 milliseconds