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