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

/seL4-test-master/kernel/include/object/
H A Dcnode.h28 exception_t invokeCNodeRotate(cap_t cap1, cap_t cap2, cte_t *slot1,
/seL4-test-master/kernel/src/object/
H A Dcnode.c308 return invokeCNodeRotate(newSrcCap, newPivotCap,
350 exception_t invokeCNodeRotate(cap_t cap1, cap_t cap2, cte_t *slot1, function

Completed in 31 milliseconds