Symbol: vmx_invvpid
sys/amd64/vmm/intel/vmx.c
1361
vmx_invvpid(vmx, vcpu, pmap, 1);
sys/amd64/vmm/intel/vmx.c
3499
vmx_invvpid(vmx, vcpu, pmap, running);