Searched refs:sensorrequest_id (Results 1 – 1 of 1) sorted by relevance
140 exclaves_id_t sensorrequest_id, sensorcopyrequest_id; in exclaves_eic_init() local144 sensorrequest_id = exclaves_service_lookup(EXCLAVES_DOMAIN_KERNEL, EXCLAVES_EIC); in exclaves_eic_init()145 if (sensorrequest_id == EXCLAVES_INVALID_ID) { in exclaves_eic_init()158 …sensorrequest_endpoint = tb_endpoint_create_with_value(TB_TRANSPORT_TYPE_XNU, sensorrequest_id, TB… in exclaves_eic_init()