Searched refs:sgx_ipi_cb (Results 1 – 1 of 1) sorted by relevance
181 static void sgx_ipi_cb(void *info) in sgx_ipi_cb() function261 sgx_ipi_cb, NULL, 1); in sgx_encl_ewb()
Completed in 4 milliseconds