Searched defs:ps_release_domain (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/spawnd/
H A Dps.c107 errval_t ps_release_domain(struct capref domain_cap, function

Completed in 56 milliseconds