Symbol: os_ipi_kickall
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
2532
os_ipi_kickall();
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3231
os_ipi_kickall();