Searched defs:capIndex (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/kernel/src/object/ |
| H A D | objecttype.c | 615 decodeInvocation(word_t invLabel, word_t length, cptr_t capIndex, cte_t *slot, cap_t cap, extra_caps_t excaps, bool_t block, bool_t call, bool_t canDonate, bool_t firstPhase, word_t *buffer) argument
|
Completed in 33 milliseconds