Searched refs:cap2 (Results 1 - 2 of 2) sorted by relevance
| /seL4-camkes-master/kernel/include/object/ |
| H A D | cnode.h | 28 exception_t invokeCNodeRotate(cap_t cap1, cap_t cap2, cte_t *slot1,
33 void cteSwap(cap_t cap1, cte_t *slot1, cap_t cap2, cte_t *slot2);
|
| /seL4-camkes-master/kernel/src/object/ |
| H A D | cnode.c | 350 exception_t invokeCNodeRotate(cap_t cap1, cap_t cap2, cte_t *slot1, argument
354 cteSwap(cap1, slot1, cap2, slot2);
356 cteMove(cap2, slot2, slot3);
477 cap_t cap1, cap2; local
484 cap2 = slot2->cap;
486 cteSwap(cap1, slot1, cap2, slot2);
489 void cteSwap(cap_t cap1, cte_t *slot1, cap_t cap2, cte_t *slot2) argument
494 slot1->cap = cap2;
|
Completed in 92 milliseconds