Searched refs:set_cap (Results 1 - 1 of 1) sorted by last modified time

/barrelfish-2018-10-04/kernel/
H A Dcapabilities.c295 static errval_t set_cap(struct capability *dest, struct capability *src) function
612 err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
625 err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
638 err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
651 err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
666 err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
678 err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
696 err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
715 err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
733 err = set_cap(
[all...]

Completed in 69 milliseconds