Searched refs:exclaves_xnu_proxy_msg_buffer (Results 1 – 1 of 1) sorted by relevance
120 static xnuproxy_msg_t *exclaves_xnu_proxy_msg_buffer; variable2408 if (exclaves_xnu_proxy_msg_buffer == NULL) { in exclaves_xnu_proxy_send()2413 xnuproxy_msg_t *msg = exclaves_xnu_proxy_msg_buffer; in exclaves_xnu_proxy_send()2479 exclaves_xnu_proxy_msg_buffer = in exclaves_xnu_proxy_init()2482 exclaves_xnu_proxy_msg_buffer->server_id; in exclaves_xnu_proxy_init()2486 exclaves_xnu_proxy_msg_buffer->upcall_ipc_buffer_paddr; in exclaves_xnu_proxy_init()