Searched refs:slot2 (Results 1 - 3 of 3) sorted by relevance
/seL4-test-master/kernel/include/object/ |
H A D | cnode.h | 29 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 D | cnode.c | 351 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 D | bootstrap.c | 365 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