Searched defs:sc_cap (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Dtls.h29 seL4_CPtr sc_cap; member in struct:camkes_tls_t
/seL4-camkes-master/kernel/include/kernel/
H A Dsporadic.h64 static inline word_t refill_absolute_max(cap_t sc_cap) argument
/seL4-camkes-master/kernel/src/machine/
H A Dcapdl.c123 void obj_sc_print_attrs(cap_t sc_cap) argument

Completed in 41 milliseconds