Symbol: vmx_msr_guest_enter
usr/src/uts/intel/io/vmm/intel/vmx.c
2770
vmx_msr_guest_enter(vmx, vcpu);
usr/src/uts/intel/io/vmm/intel/vmx.c
3845
vmx_msr_guest_enter(vmx, vcpu);
usr/src/uts/intel/io/vmm/intel/vmx_msr.h
49
void vmx_msr_guest_enter(struct vmx *vmx, int vcpuid);