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

/barrelfish-2018-10-04/kernel/include/
H A Dcapabilities.h160 errval_t caps_delete_foreigns(struct cte *cte);
/barrelfish-2018-10-04/kernel/
H A Dcap_delete.c396 errval_t caps_delete_foreigns(struct cte *cte) function
H A Dmonitor.c425 return SYSRET(caps_delete_foreigns(cte));

Completed in 48 milliseconds