Searched refs:resetUntypedCap (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/kernel/src/object/ | ||
H A D | untyped.c | 238 static exception_t resetUntypedCap(cte_t *srcSlot) function 287 status = resetUntypedCap(srcSlot); |
Completed in 31 milliseconds