Searched refs:cap_type (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/benchmark/
H A Dbenchmark_utilisation.c27 word_t cap_type; local
31 cap_type = cap_get_capType(lu_ret.cap);
32 if (cap_type != cap_thread_cap) {
60 word_t cap_type; local
64 cap_type = cap_get_capType(lu_ret.cap);
65 if (cap_type != cap_thread_cap) {
/seL4-l4v-10.1.1/seL4/include/benchmark/
H A Dbenchmark_track_types.h54 seL4_Word cap_type: 5; member in struct:kernel_entry::__anon153::__anon155
H A Dbenchmark_track.h63 ksKernelEntry.cap_type = cap_get_capType(lu_ret.cap);
/seL4-l4v-10.1.1/seL4/libsel4/include/sel4/
H A Dbenchmark_track_types.h54 seL4_Word cap_type: 5; member in struct:kernel_entry::__anon168::__anon170
/seL4-l4v-10.1.1/seL4/include/api/
H A Ddebug.h53 printf("Cap type: %lu, Invocation tag: %lu\n", (unsigned long) ksKernelEntry.cap_type,
/seL4-l4v-10.1.1/seL4/src/api/
H A Dsyscall.c91 word_t cap_type = cap_get_capType(lu_ret.cap); local
92 setRegister(NODE_STATE(ksCurThread), capRegister, cap_type); local
104 word_t cap_type = cap_get_capType(lu_ret.cap); local
105 if (cap_type != cap_thread_cap) {
/seL4-l4v-10.1.1/seL4/src/object/
H A Dcnode.c743 word_t cap_type = cap_get_capType(slot->cap); local
744 if (cap_type != cap_null_cap) {
749 \<or> gs_get_assn cteDeleteOne_'proc \<acute>ghost'state = \<acute>cap_type, id)" */

Completed in 94 milliseconds