Searched refs:slot2 (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/kernel/include/object/
H A Dcnode.h29 cte_t *slot2, cte_t *slot3);
32 void capSwapForDelete(cte_t *slot1, cte_t *slot2);
33 void cteSwap(cap_t cap1, cte_t *slot1, cap_t cap2, cte_t *slot2);
/seL4-test-master/kernel/src/object/
H A Dcnode.c351 cte_t *slot2, cte_t *slot3)
354 cteSwap(cap1, slot1, cap2, slot2);
356 cteMove(cap2, slot2, slot3);
357 cteMove(cap1, slot1, slot2);
475 void capSwapForDelete(cte_t *slot1, cte_t *slot2) argument
479 if (slot1 == slot2) {
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
495 slot2
350 invokeCNodeRotate(cap_t cap1, cap_t cap2, cte_t *slot1, cte_t *slot2, cte_t *slot3) argument
[all...]
/seL4-test-master/projects/seL4_libs/libsel4allocman/src/
H A Dbootstrap.c365 cspacepath_t slot1, slot2; local
371 error = bs->boot_cspace.alloc(bs->alloc, bs->boot_cspace.cspace, &slot2);
375 error = _split_ut(bs, best_path, slot1, slot2, best_size - 1);
389 best_path = slot2;

Completed in 83 milliseconds