Searched refs:ret_cte (Results 1 - 2 of 2) sorted by path
| /barrelfish-2018-10-04/kernel/ |
| H A D | cap_delete.c | 41 static errval_t caps_copyout_last(struct cte *target, struct cte *ret_cte);
703 static errval_t caps_copyout_last(struct cte *target, struct cte *ret_cte) argument
709 err = caps_copy_to_cte(ret_cte, target, false, 0, 0);
|
| H A D | capabilities.c | 1184 struct cte *ret_cte; local
1185 errval_t err = caps_lookup_slot(cnode_cap, cptr, level, &ret_cte, rights);
1189 *ret = &ret_cte->cap;
|
Completed in 104 milliseconds