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

/barrelfish-2018-10-04/kernel/
H A Dcap_delete.c37 static errval_t cleanup_last(struct cte *cte, struct cte *ret_ram_cap);
74 errval_t caps_delete_last(struct cte *cte, struct cte *ret_ram_cap) argument
157 return cleanup_last(cte, ret_ram_cap);
206 cleanup_last(struct cte *cte, struct cte *ret_ram_cap) argument
233 if (ret_ram_cap && ret_ram_cap->cap.type != ObjType_Null) {
271 !ret_ram_cap &&
286 if (ret_ram_cap) {
290 assert(ret_ram_cap->cap.type == ObjType_Null);
291 ret_ram_cap
643 caps_clear_step(struct cte *ret_ram_cap) argument
[all...]
/barrelfish-2018-10-04/kernel/include/
H A Dcapabilities.h159 errval_t caps_delete_last(struct cte *cte, struct cte *ret_ram_cap);
163 errval_t caps_clear_step(struct cte *ret_ram_cap);

Completed in 96 milliseconds