Searched refs:exclaves_xnu_proxy_upcall_ipcb (Results 1 – 1 of 1) sorted by relevance
125 static Exclaves_L4_IpcBuffer_t *exclaves_xnu_proxy_upcall_ipcb; variable2440 if (NULL != exclaves_xnu_proxy_upcall_ipcb) { in exclaves_xnu_proxy_send()2441 if (XNUPROXY_MSG_STATUS_UPCALL == XNUPROXY_CR_STATUS(exclaves_xnu_proxy_upcall_ipcb)) { in exclaves_xnu_proxy_send()2443 XNUPROXY_CR_STATUS(exclaves_xnu_proxy_upcall_ipcb); in exclaves_xnu_proxy_send()2444 (void) exclaves_handle_upcall(thread, exclaves_xnu_proxy_upcall_ipcb, in exclaves_xnu_proxy_send()2488 exclaves_xnu_proxy_upcall_ipcb = (Exclaves_L4_IpcBuffer_t *) in exclaves_xnu_proxy_init()