Searched refs:cnodeCap (Results 1 - 6 of 6) sorted by relevance
/seL4-camkes-master/kernel/src/arch/arm/object/ |
H A D | interrupt.c | 43 cap_t cnodeCap = excaps.excaprefs[0]->cap; local 62 lookupSlot_ret_t lu_ret = lookupTargetSlot(cnodeCap, index, depth); 87 cap_t cnodeCap = excaps.excaprefs[0]->cap; local 107 lookupSlot_ret_t lu_ret = lookupTargetSlot(cnodeCap, index, depth);
|
H A D | smmu.c | 28 cap_t cnodeCap; local 63 cnodeCap = extraCaps.excaprefs[0]->cap; 78 lu_ret = lookupTargetSlot(cnodeCap, index, depth); 191 cap_t cnodeCap; local 214 cnodeCap = extraCaps.excaprefs[0]->cap; 229 lu_ret = lookupTargetSlot(cnodeCap, index, depth);
|
/seL4-camkes-master/kernel/src/arch/riscv/object/ |
H A D | interrupt.c | 55 cap_t cnodeCap = excaps.excaprefs[0]->cap; local 68 lookupSlot_ret_t lu_ret = lookupTargetSlot(cnodeCap, index, depth);
|
/seL4-camkes-master/kernel/src/arch/x86/object/ |
H A D | interrupt.c | 74 cap_t cnodeCap; local 102 cnodeCap = excaps.excaprefs[0]->cap; 121 lu_ret = lookupTargetSlot(cnodeCap, index, depth);
|
H A D | ioport.c | 116 cap_t cnodeCap; local 138 cnodeCap = excaps.excaprefs[0]->cap; 153 lu_ret = lookupTargetSlot(cnodeCap, index, depth);
|
/seL4-camkes-master/kernel/src/object/ |
H A D | interrupt.c | 31 cap_t cnodeCap; local 44 cnodeCap = excaps.excaprefs[0]->cap; 57 lu_ret = lookupTargetSlot(cnodeCap, index, depth);
|
Completed in 47 milliseconds