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

/seL4-l4v-10.1.1/seL4/include/object/
H A Dcnode.h28 exception_t invokeCNodeRevoke(cte_t *destSlot);
/seL4-l4v-10.1.1/seL4/src/object/
H A Dcnode.c196 return invokeCNodeRevoke(destSlot);
313 invokeCNodeRevoke(cte_t *destSlot) function

Completed in 33 milliseconds