Searched refs:cnodeCap (Results 1 – 6 of 6) sorted by relevance
| /seL4-master/src/arch/arm/object/ |
| A D | interrupt.c | 42 cap_t cnodeCap = current_extra_caps.excaprefs[0]->cap; in Arch_decodeIRQControlInvocation() local
62 lookupSlot_ret_t lu_ret = lookupTargetSlot(cnodeCap, index, depth); in Arch_decodeIRQControlInvocation()
87 cap_t cnodeCap = current_extra_caps.excaprefs[0]->cap; in Arch_decodeIRQControlInvocation() local
107 lookupSlot_ret_t lu_ret = lookupTargetSlot(cnodeCap, index, depth); in Arch_decodeIRQControlInvocation()
|
| A D | smmu.c | 27 cap_t cnodeCap; in decodeARMSIDControlInvocation() local
62 cnodeCap = current_extra_caps.excaprefs[0]->cap; in decodeARMSIDControlInvocation()
77 lu_ret = lookupTargetSlot(cnodeCap, index, depth); in decodeARMSIDControlInvocation()
188 cap_t cnodeCap; in decodeARMCBControlInvocation() local
211 cnodeCap = current_extra_caps.excaprefs[0]->cap; in decodeARMCBControlInvocation()
226 lu_ret = lookupTargetSlot(cnodeCap, index, depth); in decodeARMCBControlInvocation()
|
| /seL4-master/src/arch/riscv/object/ |
| A D | interrupt.c | 54 cap_t cnodeCap = current_extra_caps.excaprefs[0]->cap; in Arch_decodeIRQControlInvocation() local
67 lookupSlot_ret_t lu_ret = lookupTargetSlot(cnodeCap, index, depth); in Arch_decodeIRQControlInvocation()
|
| /seL4-master/src/arch/x86/object/ |
| A D | interrupt.c | 73 cap_t cnodeCap; in Arch_decodeIRQControlInvocation() local
101 cnodeCap = current_extra_caps.excaprefs[0]->cap; in Arch_decodeIRQControlInvocation()
120 lu_ret = lookupTargetSlot(cnodeCap, index, depth); in Arch_decodeIRQControlInvocation()
|
| A D | ioport.c | 115 cap_t cnodeCap; in decodeX86PortControlInvocation() local
137 cnodeCap = current_extra_caps.excaprefs[0]->cap; in decodeX86PortControlInvocation()
152 lu_ret = lookupTargetSlot(cnodeCap, index, depth); in decodeX86PortControlInvocation()
|
| /seL4-master/src/object/ |
| A D | interrupt.c | 30 cap_t cnodeCap; in decodeIRQControlInvocation() local
43 cnodeCap = current_extra_caps.excaprefs[0]->cap; in decodeIRQControlInvocation()
56 lu_ret = lookupTargetSlot(cnodeCap, index, depth); in decodeIRQControlInvocation()
|
Completed in 8 milliseconds