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

/seL4-l4v-10.1.1/seL4/src/object/
H A Duntyped.c236 resetUntypedCap(cte_t *srcSlot) function
288 status = resetUntypedCap(srcSlot);

Completed in 79 milliseconds