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

/barrelfish-2018-10-04/kernel/
H A Dcap_delete.c41 static errval_t caps_copyout_last(struct cte *target, struct cte *ret_cte);
611 err = caps_copyout_last(cte, ret_next);
703 static errval_t caps_copyout_last(struct cte *target, struct cte *ret_cte) function

Completed in 178 milliseconds