Searched defs:destSlot (Results 1 - 12 of 12) sorted by relevance
| /seL4-test-master/kernel/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-test-master/kernel/src/arch/riscv/object/ |
| H A D | interrupt.c | 75 cte_t *destSlot = lu_ret.slot; local
|
| /seL4-test-master/kernel/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-test-master/kernel/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-test-master/kernel/src/kernel/ |
| H A D | thread.c | 240 cte_t *destSlot; local
|
| /seL4-test-master/kernel/src/arch/x86/kernel/ |
| H A D | vspace.c | 1273 cte_t *destSlot; local
|
| /seL4-test-master/kernel/src/arch/riscv/kernel/ |
| H A D | vspace.c | 948 cte_t *destSlot; local
|
| /seL4-test-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 2571 cte_t *parentSlot, *destSlot; local
|
| /seL4-test-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 2299 cte_t *parentSlot, *destSlot; local
|
Completed in 70 milliseconds