Searched refs:sgx_ipi_cb (Results 1 – 3 of 3) sorted by relevance
94 void sgx_ipi_cb(void *info);
184 void sgx_ipi_cb(void *info) in sgx_ipi_cb() function235 sgx_ipi_cb, NULL, 1); in sgx_encl_ewb()
711 on_each_cpu_mask(sgx_encl_cpumask(encl), sgx_ipi_cb, NULL, 1); in sgx_enclave_etrack()719 on_each_cpu_mask(sgx_encl_cpumask(encl), sgx_ipi_cb, NULL, 1); in sgx_enclave_etrack()