Searched defs:cap_type (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/kernel/src/benchmark/
H A Dbenchmark_utilisation.c20 word_t cap_type; local
/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Dbenchmark_track_types.h50 seL4_Word cap_type: 5; member in struct:kernel_entry::__anon27::__anon29
/seL4-camkes-master/kernel/src/api/
H A Dsyscall.c102 word_t cap_type = cap_get_capType(lu_ret.cap); local
103 setRegister(NODE_STATE(ksCurThread), capRegister, cap_type); local
115 word_t cap_type = cap_get_capType(lu_ret.cap); local
259 word_t cap_type; local
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/
H A Dpci_helper.c422 uint32_t cap_type = 0; local
/seL4-camkes-master/kernel/src/object/
H A Dcnode.c728 word_t cap_type = cap_get_capType(slot->cap); local

Completed in 95 milliseconds