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