Symbol: vmx_rdmsr
sys/amd64/vmm/intel/vmx.c
2365
error = vmx_rdmsr(vcpu, num, &result, retu);
sys/amd64/vmm/intel/vmx_msr.h
40
int vmx_rdmsr(struct vmx_vcpu *vcpu, u_int num, uint64_t *val, bool *retu);