Searched defs:capptr (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/seL4/src/kernel/ |
H A D | cspace.c | 58 lookupSlot(tcb_t *thread, cptr_t capptr) argument 73 lookupSlotForCNodeOp(bool_t isSource, cap_t root, cptr_t capptr, argument 120 lookupSourceSlot(cap_t root, cptr_t capptr, word_t depth) argument 126 lookupTargetSlot(cap_t root, cptr_t capptr, word_t depth) argument 132 lookupPivotSlot(cap_t root, cptr_t capptr, word_t depth) argument 138 resolveAddressBits(cap_t nodeCap, cptr_t capptr, word_t n_bits) argument [all...] |
Completed in 79 milliseconds