Searched refs:vmx_rdmsr (Results 1 – 3 of 3) sorted by relevance
39 vm_msr_result_t vmx_rdmsr(struct vmx *, int, uint32_t, uint64_t *);
423 vmx_rdmsr(struct vmx *vmx, int vcpuid, uint32_t num, uint64_t *val) in vmx_rdmsr() function
2162 res = vmx_rdmsr(vmx, vcpuid, ecx, &val); in vmx_handle_msr()