Searched refs:caps_delete (Results 1 - 5 of 5) sorted by relevance

/barrelfish-2018-10-04/kernel/include/
H A Dcapabilities.h164 errval_t caps_delete(struct cte *cte);
/barrelfish-2018-10-04/kernel/
H A Ddispatch.c212 err = caps_delete(send_cte);
H A Dpaging_generic.c286 err = caps_delete(to_delete);
288 printk(LOG_NOTE, "caps_delete: %"PRIuERRV"\n", err);
H A Dsyscall.c495 err = caps_delete(slot);
595 err = caps_delete(&dcb_current->cspace);
610 err = caps_delete(rootcn_cap);
H A Dcap_delete.c726 errval_t caps_delete(struct cte *cte) function

Completed in 49 milliseconds