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 82 milliseconds