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