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

/barrelfish-2018-10-04/kernel/include/
H A Dcapabilities.h159 errval_t caps_delete_last(struct cte *cte, struct cte *ret_ram_cap);
/barrelfish-2018-10-04/kernel/
H A Dcap_delete.c74 errval_t caps_delete_last(struct cte *cte, struct cte *ret_ram_cap) function
625 err = caps_delete_last(cte, ret_next);
H A Dmonitor.c412 return SYSRET(caps_delete_last(target, retslot));

Completed in 86 milliseconds