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

/seL4-test-master/kernel/include/object/
H A Dcnode.h28 exception_t invokeCNodeRotate(cap_t cap1, cap_t cap2, cte_t *slot1,
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.c350 exception_t invokeCNodeRotate(cap_t cap1, cap_t cap2, cte_t *slot1, argument
353 if (slot1 == slot3) {
354 cteSwap(cap1, slot1, cap2, slot2);
357 cteMove(cap1, slot1, slot2);
475 void capSwapForDelete(cte_t *slot1, cte_t *slot2) argument
479 if (slot1 == slot2) {
483 cap1 = slot1->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
[all...]
/seL4-test-master/projects/seL4_libs/libsel4allocman/src/
H A Dbootstrap.c365 cspacepath_t slot1, slot2; local
367 error = bs->boot_cspace.alloc(bs->alloc, bs->boot_cspace.cspace, &slot1);
375 error = _split_ut(bs, best_path, slot1, slot2, best_size - 1);
383 error = bootstrap_add_untypeds(bs, 1, &slot1, &temp_size, &best_paddr, best_isDevice);

Completed in 57 milliseconds