Searched refs:eic_id (Results 1 – 1 of 1) sorted by relevance
98 exclaves_id_t eic_id = exclaves_service_lookup(EXCLAVES_DOMAIN_KERNEL, EXCLAVES_EIC); in exclaves_eic_init() local99 if (eic_id == UINT64_C(~0)) { in exclaves_eic_init()104 TB_TRANSPORT_TYPE_XNU, eic_id, TB_ENDPOINT_OPTIONS_NONE); in exclaves_eic_init()