Searched refs:cnodeCap (Results 1 - 6 of 6) sorted by relevance

/seL4-camkes-master/kernel/src/arch/arm/object/
H A Dinterrupt.c43 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 Dsmmu.c28 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 Dinterrupt.c55 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 Dinterrupt.c74 cap_t cnodeCap; local
102 cnodeCap = excaps.excaprefs[0]->cap;
121 lu_ret = lookupTargetSlot(cnodeCap, index, depth);
H A Dioport.c116 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 Dinterrupt.c31 cap_t cnodeCap; local
44 cnodeCap = excaps.excaprefs[0]->cap;
57 lu_ret = lookupTargetSlot(cnodeCap, index, depth);

Completed in 47 milliseconds