Home
last modified time | relevance | path

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

/xen/xen/arch/x86/hvm/vmx/
A Dvmcs.c248 u32 vmx_basic_msr_low, vmx_basic_msr_high, min, opt; in vmx_init_vmcs_config() local
259 rdmsr(MSR_IA32_VMX_BASIC, vmx_basic_msr_low, vmx_basic_msr_high); in vmx_init_vmcs_config()
379 if ( vmx_basic_msr_high & (VMX_BASIC_DEFAULT1_ZERO >> 32) ) in vmx_init_vmcs_config()
466 vmx_basic_msr = ((u64)vmx_basic_msr_high << 32) | in vmx_init_vmcs_config()
474 if ( (vmx_basic_msr_high & (VMX_BASIC_VMCS_SIZE_MASK >> 32)) > in vmx_init_vmcs_config()
479 vmx_basic_msr_high & (VMX_BASIC_VMCS_SIZE_MASK >> 32)); in vmx_init_vmcs_config()
511 !!(vmx_basic_msr_high & (VMX_BASIC_INS_OUT_INFO >> 32)) ) in vmx_init_vmcs_config()
518 if ( (vmx_basic_msr_high & (VMX_BASIC_VMCS_SIZE_MASK >> 32)) != in vmx_init_vmcs_config()
523 vmx_basic_msr_high & (VMX_BASIC_VMCS_SIZE_MASK >> 32)); in vmx_init_vmcs_config()
535 if ( vmx_basic_msr_high & (VMX_BASIC_32BIT_ADDRESSES >> 32) ) in vmx_init_vmcs_config()
[all …]

Completed in 5 milliseconds