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

/barrelfish-2018-10-04/kernel/include/
H A Dcapabilities.h161 errval_t caps_mark_revoke(struct capability *base, struct cte *revoked);
/barrelfish-2018-10-04/kernel/
H A Dmonitor.c440 return SYSRET(caps_mark_revoke(&target->cap, target));
445 return SYSRET(caps_mark_revoke(base, NULL));
H A Dcap_delete.c478 errval_t caps_mark_revoke(struct capability *base, struct cte *revoked) function

Completed in 47 milliseconds