Symbol: os_ipi_broadcast
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
2727
os_ipi_broadcast(svm_change_cpu, (void *)true);
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
2746
os_ipi_broadcast(svm_change_cpu, (void *)false);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3634
os_ipi_broadcast(vmx_change_cpu, (void *)true);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3653
os_ipi_broadcast(vmx_change_cpu, (void *)false);