Symbol: vmx_msr_guest_exit
sys/amd64/vmm/intel/vmx.c
3239
vmx_msr_guest_exit(vcpu);
sys/amd64/vmm/intel/vmx_msr.h
38
void vmx_msr_guest_exit(struct vmx_vcpu *vcpu);