Symbol: vmx_handle_rdmsr
sys/arch/amd64/amd64/vmm_machdep.c
110
int vmx_handle_rdmsr(struct vcpu *);
sys/arch/amd64/amd64/vmm_machdep.c
4699
ret = vmx_handle_rdmsr(vcpu);