Searched refs:resource_id (Results 1 – 2 of 2) sorted by relevance
176 exclaves_id_t *resource_id) in exclaves_lookup_service() argument188 if (kr == KERN_SUCCESS && resource_id) { in exclaves_lookup_service()189 *resource_id = conclave_resource_user.r_id; in exclaves_lookup_service()
638 exclaves_lookup_service(mach_port_t port, const char *name, exclaves_id_t *resource_id);