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

/barrelfish-2018-10-04/kernel/
H A Dcap_delete.c38 static void caps_mark_revoke_copy(struct cte *cte);
331 static void caps_mark_revoke_copy(struct cte *cte) function
513 caps_mark_revoke_copy(next);
530 caps_mark_revoke_copy(next);
553 caps_mark_revoke_copy(prev);

Completed in 31 milliseconds