Searched refs:sensorcopyrequest_id (Results 1 – 1 of 1) sorted by relevance
140 exclaves_id_t sensorrequest_id, sensorcopyrequest_id; in exclaves_eic_init() local151 sensorcopyrequest_id = exclaves_service_lookup(EXCLAVES_DOMAIN_KERNEL, EXCLAVES_EIC_COPYREQUEST); in exclaves_eic_init()152 if (sensorcopyrequest_id == EXCLAVES_INVALID_ID) { in exclaves_eic_init()159 …t_endpoint = tb_endpoint_create_with_value(TB_TRANSPORT_TYPE_XNU, sensorcopyrequest_id, TB_ENDPOIN… in exclaves_eic_init()