Searched refs:capSwapForDelete (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/kernel/include/object/
H A Dcnode.h32 void capSwapForDelete(cte_t *slot1, cte_t *slot2);
/seL4-test-master/kernel/src/object/
H A Dcnode.c475 void capSwapForDelete(cte_t *slot1, cte_t *slot2) function
721 capSwapForDelete(ptr, slot);

Completed in 40 milliseconds