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