Searched refs:edk_client (Results 1 – 1 of 1) sorted by relevance
80 ioservice_ioserviceprivate edk_client; member130 ioservice_ioserviceprivate edk_client; in exclaveStart() local205 tberr = ioservice_ioserviceprivate_init(&edk_client, edk_tb_endpoint); in exclaveStart()222 ref->edk_client = edk_client; in exclaveStart()253 tberr = ioservice_ioserviceprivate_startprivate(&edk_client, serviceID, &result); in exclaveStart()811 …tberr = ioservice_ioserviceprivate_interruptoccurredprivate(&ref->edk_client, eventSource->getIntI… in exclaveInterruptOccurred()1078 tberr = ioservice_ioserviceprivate_timerfiredprivate(&ref->edk_client, timer_id); in exclaveTimerFired()