Symbol: vmx_htlb_flush_ack
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
2348
vmx_htlb_flush_ack(cpudata, machgen);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
2362
vmx_htlb_flush_ack(cpudata, machgen);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
2378
vmx_htlb_flush_ack(cpudata, machgen);