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

/barrelfish-2018-10-04/kernel/
H A Dcap_delete.c36 static errval_t cleanup_copy(struct cte *cte);
55 return cleanup_copy(cte);
165 cleanup_copy(struct cte *cte) function
279 err = cleanup_copy(cte);
424 err = cleanup_copy(next);
442 err = cleanup_copy(next);
608 err = cleanup_copy(cte);
714 err = cleanup_copy(target);

Completed in 69 milliseconds