Searched defs:srcSlot (Results 1 – 8 of 8) sorted by relevance
| /seL4-master/src/object/ |
| A D | cnode.c | 75 cte_t *srcSlot; in decodeCNodeInvocation() local
235 cte_t *pivotSlot, *srcSlot; in decodeCNodeInvocation() local
336 exception_t invokeCNodeInsert(cap_t cap, cte_t *srcSlot, cte_t *destSlot) in invokeCNodeInsert()
343 exception_t invokeCNodeMove(cap_t cap, cte_t *srcSlot, cte_t *destSlot) in invokeCNodeMove()
367 cte_t *srcSlot; in invokeCNodeSaveCaller() local
396 static void setUntypedCapAsFull(cap_t srcCap, cap_t newCap, cte_t *srcSlot) in setUntypedCapAsFull()
410 void cteInsert(cap_t newCap, cte_t *srcSlot, cte_t *destSlot) in cteInsert()
445 void cteMove(cap_t newCap, cte_t *srcSlot, cte_t *destSlot) in cteMove()
|
| A D | untyped.c | 235 static exception_t resetUntypedCap(cte_t *srcSlot) in resetUntypedCap()
273 exception_t invokeUntyped_Retype(cte_t *srcSlot, in invokeUntyped_Retype()
|
| A D | interrupt.c | 24 cte_t *srcSlot, word_t *buffer) in decodeIRQControlInvocation()
|
| A D | tcb.c | 1672 tcb_cnode_index_t index, cap_t newCap, cte_t *srcSlot) in installTCBCap()
|
| /seL4-master/src/arch/arm/object/ |
| A D | smmu.c | 22 cte_t *srcSlot, cap_t cap, bool_t call, word_t *buffer) in decodeARMSIDControlInvocation()
97 cte_t *srcSlot, cap_t cap, bool_t call, word_t *buffer) in decodeARMSIDInvocation()
183 cte_t *srcSlot, cap_t cap, bool_t call, word_t *buffer) in decodeARMCBControlInvocation()
247 cte_t *srcSlot, cap_t cap, bool_t call, word_t *buffer) in decodeARMCBInvocation()
|
| A D | interrupt.c | 22 cte_t *srcSlot, word_t *buffer) in Arch_decodeIRQControlInvocation()
|
| /seL4-master/src/arch/riscv/object/ |
| A D | interrupt.c | 34 cte_t *srcSlot, word_t *buffer) in Arch_decodeIRQControlInvocation()
|
| /seL4-master/src/arch/x86/object/ |
| A D | interrupt.c | 69 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, word_t … in Arch_decodeIRQControlInvocation()
|
Completed in 23 milliseconds