Searched refs:vmcs_id (Results 1 – 2 of 2) sorted by relevance
44 uint32_t vmcs_id; /* VMCS revision identifier */ member
151 specs->vmcs_id = rdmsr_mask(MSR_IA32_VMX_BASIC, VMX_VCR_VMCS_REV_ID); in vmx_cpu_init()247 *(uint32_t*)(cpu->vmxon_region) = cpu->specs.vmcs_id; in vmx_allocate_vmxon_regions()