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

/barrelfish-2018-10-04/kernel/
H A Dcap_delete.c35 static errval_t caps_try_delete(struct cte *cte);
47 static errval_t caps_try_delete(struct cte *cte) function
88 err = caps_try_delete(cte);
334 err = caps_try_delete(cte);
355 err = caps_try_delete(cte);
459 err = caps_try_delete(cte);
736 err = caps_try_delete(cte);

Completed in 42 milliseconds