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

/seL4-l4v-10.1.1/seL4/include/object/
H A Dcnode.h38 void capSwapForDelete(cte_t *slot1, cte_t *slot2);
/seL4-l4v-10.1.1/seL4/src/object/
H A Dcnode.c481 capSwapForDelete(cte_t *slot1, cte_t *slot2) function
735 capSwapForDelete(ptr, slot);

Completed in 46 milliseconds