Symbol: sgx_ipi_cb
arch/x86/kernel/cpu/sgx/ioctl.c
692
on_each_cpu_mask(sgx_encl_cpumask(encl), sgx_ipi_cb, NULL, 1);
arch/x86/kernel/cpu/sgx/ioctl.c
700
on_each_cpu_mask(sgx_encl_cpumask(encl), sgx_ipi_cb, NULL, 1);
arch/x86/kernel/cpu/sgx/main.c
238
sgx_ipi_cb, NULL, 1);
arch/x86/kernel/cpu/sgx/sgx.h
94
void sgx_ipi_cb(void *info);