Searched defs:cap2 (Results 1 – 1 of 1) sorted by relevance

/seL4-master/src/object/
A D	cnode.c	350 exception_t invokeCNodeRotate(cap_t cap1, cap_t cap2, cte_t *slot1, in invokeCNodeRotate() 477 cap_t cap1, cap2; in capSwapForDelete() local 489 void cteSwap(cap_t cap1, cte_t *slot1, cap_t cap2, cte_t *slot2) in cteSwap()

Completed in 3 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023