sgx_ipi_cb
on_each_cpu_mask(sgx_encl_cpumask(encl), sgx_ipi_cb, NULL, 1);
sgx_ipi_cb, NULL, 1);
void sgx_ipi_cb(void *info);