Home
last modified time | relevance | path

Searched refs:vmx_msr_low (Results 1 – 2 of 2) sorted by relevance

/hypervisor/arch/x86/guest/
A Dvmcs.c220 uint32_t vmx_msr_low, vmx_msr_high; in check_vmx_ctrl() local
224 vmx_msr_low = (uint32_t)vmx_msr; in check_vmx_ctrl()
227 vmx_msr_low, vmx_msr_high); in check_vmx_ctrl()
233 ctrl |= vmx_msr_low; in check_vmx_ctrl()
/hypervisor/arch/x86/
A Dcpu_caps.c481 uint32_t vmx_msr_low, vmx_msr_high; in is_vmx_cap_supported() local
484 vmx_msr_low = (uint32_t)vmx_msr; in is_vmx_cap_supported()
489 return (((vmx_msr_high & bits) == bits) && ((vmx_msr_low & bits) == 0U)); in is_vmx_cap_supported()

Completed in 15 milliseconds