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

/seL4-camkes-master/kernel/src/object/
H A Dcnode.c594 static inline bool_t CONST capRemovable(cap_t cap, cte_t *slot) function
626 if (capRemovable(fc_ret.remainder, slot)) {
739 assert(capRemovable(fc_ret.remainder, slot) &&

Completed in 79 milliseconds