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
543 struct loaded_vmcs vmcs01; member6454 WARN_ON(vmx->loaded_vmcs != &vmx->vmcs01); in nested_free_all_saved_vmcss()8729 if (vmx->loaded_vmcs == &vmx->vmcs01) in vmx_load_vmcs01()8733 vmx->loaded_vmcs = &vmx->vmcs01; in vmx_load_vmcs01()8780 vmx->loaded_vmcs = &vmx->vmcs01; in vmx_create_vcpu()