Searched refs:sgx_ipi_cb (Results 1 – 2 of 2) sorted by relevance
187 void sgx_ipi_cb(void *info) in sgx_ipi_cb() function238 sgx_ipi_cb, NULL, 1); in sgx_encl_ewb()
692 on_each_cpu_mask(sgx_encl_cpumask(encl), sgx_ipi_cb, NULL, 1); in sgx_enclave_etrack()700 on_each_cpu_mask(sgx_encl_cpumask(encl), sgx_ipi_cb, NULL, 1); in sgx_enclave_etrack()