Symbol: vmx_invvpid
usr/src/uts/intel/io/vmm/intel/vmx.c
1044
vmx_invvpid(vmx, vcpu, 1);
usr/src/uts/intel/io/vmm/intel/vmx.c
1700
vmx_invvpid(vmx, vcpu, 1);
usr/src/uts/intel/io/vmm/intel/vmx.c
3201
vmx_invvpid(vmx, vcpu,