Searched refs:exclaves_handle_upcall (Results 1 – 1 of 1) sorted by relevance
2356 exclaves_handle_upcall(thread_t thread, Exclaves_L4_IpcBuffer_t *ipcb, in exclaves_handle_upcall() function2444 (void) exclaves_handle_upcall(thread, exclaves_xnu_proxy_upcall_ipcb, in exclaves_xnu_proxy_send()2634 kr = exclaves_handle_upcall(thread, ipcb, scid, status); in exclaves_xnu_proxy_endpoint_call()