Searched refs:cteRevoke (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-10.1.1/seL4/include/object/ | ||
H A D | cnode.h | 40 exception_t cteRevoke(cte_t *slot); |
/seL4-l4v-10.1.1/seL4/src/object/ | ||
H A D | cnode.c | 315 return cteRevoke(destSlot); 536 cteRevoke(cte_t *slot) function |
Completed in 32 milliseconds