Searched refs:vmcs_revision (Results 1 – 2 of 2) sorted by relevance
727 uint32_t vmcs_revision; member
2593 vmcs->vmcs_revision = curcpu()->ci_vmm_cap.vcc_vmx.vmx_vmxon_revision; in vcpu_init_vmx()