Searched refs:vmcs01 (Results 1 – 2 of 2) sorted by relevance
80 also have "vmcs01", the VMCS that L0 built for L1, and "vmcs02" is the VMCS
493 struct loaded_vmcs vmcs01; member6359 WARN_ON(vmx->loaded_vmcs != &vmx->vmcs01); in nested_free_all_saved_vmcss()8369 if (vmx->loaded_vmcs == &vmx->vmcs01) in vmx_load_vmcs01()8373 vmx->loaded_vmcs = &vmx->vmcs01; in vmx_load_vmcs01()8420 vmx->loaded_vmcs = &vmx->vmcs01; in vmx_create_vcpu()