| /seL4-l4v-master/seL4/src/arch/arm/object/ |
| H A D | interrupt.c | 21 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument
|
| H A D | smmu.c | 93 cteInsert(cap_sid_cap_new(sid), srcSlot, destSlot); local
245 cteInsert(cap_cb_cap_new(SID_INVALID, cb), srcSlot, destSlot); local
21 decodeARMSIDControlInvocation(word_t label, unsigned int length, cptr_t cptr, cte_t *srcSlot, cap_t cap, extra_caps_t extraCaps, bool_t call, word_t *buffer) argument
97 decodeARMSIDInvocation(word_t label, unsigned int length, cptr_t cptr, cte_t *srcSlot, cap_t cap, extra_caps_t extraCaps, bool_t call, word_t *buffer) argument
184 decodeARMCBControlInvocation(word_t label, unsigned int length, cptr_t cptr, cte_t *srcSlot, cap_t cap, extra_caps_t extraCaps, bool_t call, word_t *buffer) argument
249 decodeARMCBInvocation(word_t label, unsigned int length, cptr_t cptr, cte_t *srcSlot, cap_t cap, extra_caps_t extraCaps, bool_t call, word_t *buffer) argument
|
| /seL4-l4v-master/seL4/src/arch/riscv/object/ |
| H A D | interrupt.c | 33 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument
|
| /seL4-l4v-master/seL4/src/arch/x86/object/ |
| H A D | interrupt.c | 69 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, argument
|
| /seL4-l4v-master/seL4/src/object/ |
| H A D | interrupt.c | 23 decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument
|
| H A D | untyped.c | 238 static exception_t resetUntypedCap(cte_t *srcSlot) argument
276 exception_t invokeUntyped_Retype(cte_t *srcSlot, argument
[all...] |
| H A D | cnode.c | 75 cte_t *srcSlot; local
235 cte_t *pivotSlot, *srcSlot; local
336 invokeCNodeInsert(cap_t cap, cte_t *srcSlot, cte_t *destSlot) argument
343 invokeCNodeMove(cap_t cap, cte_t *srcSlot, cte_t *destSlot) argument
367 cte_t *srcSlot; local
396 setUntypedCapAsFull(cap_t srcCap, cap_t newCap, cte_t *srcSlot) argument
410 cteInsert(cap_t newCap, cte_t *srcSlot, cte_t *destSlot) argument
445 cteMove(cap_t newCap, cte_t *srcSlot, cte_t *destSlot) argument
[all...] |
| H A D | tcb.c | 1671 installTCBCap(tcb_t *target, cap_t tCap, cte_t *slot, tcb_cnode_index_t index, cap_t newCap, cte_t *srcSlot) argument
|