Home
last modified time | relevance | path

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

/hypervisor/arch/x86/guest/
A Dvmcs.c219 uint64_t vmx_msr; in check_vmx_ctrl() local
223 vmx_msr = msr_read(msr); in check_vmx_ctrl()
224 vmx_msr_low = (uint32_t)vmx_msr; in check_vmx_ctrl()
225 vmx_msr_high = (uint32_t)(vmx_msr >> 32U); in check_vmx_ctrl()
246 uint64_t vmx_msr; in check_vmx_ctrl_64() local
249 vmx_msr = msr_read(msr); in check_vmx_ctrl_64()
252 ctrl &= vmx_msr; in check_vmx_ctrl_64()
/hypervisor/arch/x86/
A Dcpu_caps.c480 uint64_t vmx_msr; in is_vmx_cap_supported() local
483 vmx_msr = msr_read(msr); in is_vmx_cap_supported()
484 vmx_msr_low = (uint32_t)vmx_msr; in is_vmx_cap_supported()
485 vmx_msr_high = (uint32_t)(vmx_msr >> 32U); in is_vmx_cap_supported()

Completed in 4 milliseconds