Searched defs:destSlot (Results 1 - 12 of 12) sorted by relevance
/seL4-l4v-master/seL4/src/arch/arm/object/ |
H A D | interrupt.c | 69 cte_t *destSlot = lu_ret.slot; local 114 cte_t *destSlot = lu_ret.slot; local
|
H A D | smmu.c | 27 cte_t *destSlot; local 93 cteInsert(cap_sid_cap_new(sid), srcSlot, destSlot); local 190 cte_t *destSlot; local 245 cteInsert(cap_cb_cap_new(SID_INVALID, cb), srcSlot, destSlot); local
|
/seL4-l4v-master/seL4/src/arch/riscv/object/ |
H A D | interrupt.c | 75 cte_t *destSlot = lu_ret.slot; local
|
/seL4-l4v-master/seL4/src/arch/x86/object/ |
H A D | interrupt.c | 73 cte_t *destSlot; local
|
H A D | ioport.c | 117 cte_t *destSlot; local
|
/seL4-l4v-master/seL4/src/object/ |
H A D | interrupt.c | 30 cte_t *destSlot; local
|
H A D | cnode.c | 46 cte_t *destSlot; local 315 invokeCNodeRevoke(cte_t *destSlot) argument 320 invokeCNodeDelete(cte_t *destSlot) argument 336 invokeCNodeInsert(cap_t cap, cte_t *srcSlot, cte_t *destSlot) argument 343 invokeCNodeMove(cap_t cap, cte_t *srcSlot, cte_t *destSlot) argument 364 invokeCNodeSaveCaller(cte_t *destSlot) 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...] |
/seL4-l4v-master/seL4/src/kernel/ |
H A D | thread.c | 240 cte_t *destSlot; local
|
/seL4-l4v-master/seL4/src/arch/x86/kernel/ |
H A D | vspace.c | 1273 cte_t *destSlot; local
|
/seL4-l4v-master/seL4/src/arch/riscv/kernel/ |
H A D | vspace.c | 948 cte_t *destSlot; local
|
/seL4-l4v-master/seL4/src/arch/arm/32/kernel/ |
H A D | vspace.c | 2571 cte_t *parentSlot, *destSlot; local
|
/seL4-l4v-master/seL4/src/arch/arm/64/kernel/ |
H A D | vspace.c | 2299 cte_t *parentSlot, *destSlot; local
|
Completed in 86 milliseconds