Searched refs:vmx_wrmsr (Results 1 – 3 of 3) sorted by relevance
40 vm_msr_result_t vmx_wrmsr(struct vmx *, int, uint32_t, uint64_t);
456 vmx_wrmsr(struct vmx *vmx, int vcpuid, uint32_t num, uint64_t val) in vmx_wrmsr() function
2152 res = vmx_wrmsr(vmx, vcpuid, ecx, val); in vmx_handle_msr()