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

/seL4-camkes-master/projects/capdl/capdl-loader-app/include/
H A Dcapdl.h564 static inline uint64_t CDL_SC_Period(CDL_Object *obj) function
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/
H A Dmain.c980 uint64_t UNUSED period = CDL_SC_Period(cdl_sc);

Completed in 33 milliseconds