Searched refs:lookupTargetSlot (Results 1 - 12 of 12) sorted by relevance
/seL4-l4v-10.1.1/seL4/include/kernel/ |
H A D | cspace.h | 59 lookupSlot_ret_t lookupTargetSlot(cap_t root, cptr_t capptr,
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/ |
H A D | interrupt.c | 61 lookupSlot_ret_t lu_ret = lookupTargetSlot(cnodeCap, index, depth);
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/ |
H A D | interrupt.c | 128 lu_ret = lookupTargetSlot(cnodeCap, index, depth);
|
H A D | ioport.c | 164 lu_ret = lookupTargetSlot(cnodeCap, index, depth);
|
/seL4-l4v-10.1.1/seL4/src/kernel/ |
H A D | cspace.c | 126 lookupTargetSlot(cap_t root, cptr_t capptr, word_t depth) function
|
/seL4-l4v-10.1.1/seL4/src/object/ |
H A D | interrupt.c | 63 lu_ret = lookupTargetSlot(cnodeCap, index, depth);
|
H A D | untyped.c | 116 lu_ret = lookupTargetSlot(rootCap, nodeIndex, nodeDepth);
|
H A D | cnode.c | 66 lu_ret = lookupTargetSlot(cap, index, w_bits); 932 lus_ret = lookupTargetSlot(cnode, ct.ctReceiveIndex, ct.ctReceiveDepth);
|
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/ |
H A D | vspace.c | 1062 lu_ret = lookupTargetSlot(root, index, depth);
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
H A D | vspace.c | 1461 lu_ret = lookupTargetSlot(root, index, depth);
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/ |
H A D | vspace.c | 2898 lu_ret = lookupTargetSlot(root, index, depth);
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/ |
H A D | vspace.c | 2469 lu_ret = lookupTargetSlot(root, index, depth);
|
Completed in 108 milliseconds