Searched refs:exclaves_xnu_proxy_scid (Results 1 – 1 of 1) sorted by relevance
121 static uint64_t exclaves_xnu_proxy_scid; variable2422 | DBG_FUNC_START, exclaves_xnu_proxy_scid, _msg->cmd); in exclaves_xnu_proxy_send()2425 msg->server_id = exclaves_xnu_proxy_scid; in exclaves_xnu_proxy_send()2445 exclaves_xnu_proxy_scid, status); in exclaves_xnu_proxy_send()2481 exclaves_xnu_proxy_scid = in exclaves_xnu_proxy_init()