Symbol: vmx_wrmsr
sys/amd64/vmm/intel/vmx.c
2349
error = vmx_wrmsr(vcpu, num, val, retu);
sys/amd64/vmm/intel/vmx_msr.h
41
int vmx_wrmsr(struct vmx_vcpu *vcpu, u_int num, uint64_t val, bool *retu);