Searched defs:insertNewCap (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/kernel/src/object/
H A Dcnode.c745 void insertNewCap(cte_t *parent, cte_t *slot, cap_t cap) function

Completed in 25 milliseconds