Searched refs:VMX_VCR_VMCS_REV_ID (Results 1 – 2 of 2) sorted by relevance
45 #define VMX_VCR_VMCS_REV_ID 0x00000000FFFFFFFFLL macro
151 specs->vmcs_id = rdmsr_mask(MSR_IA32_VMX_BASIC, VMX_VCR_VMCS_REV_ID); in vmx_cpu_init()