Searched refs:vmcs02 (Results 1 – 3 of 3) sorted by relevance
158 struct loaded_vmcs vmcs02; member
319 free_loaded_vmcs(&vmx->nested.vmcs02); in free_nested()569 unsigned long *msr_bitmap_l0 = to_vmx(vcpu)->nested.vmcs02.msr_bitmap; in nested_vmx_prepare_msr_bitmap()2187 vmcs_write64(MSR_BITMAP, __pa(vmx->nested.vmcs02.msr_bitmap)); in prepare_vmcs02_constant_state()3371 vmx_switch_vmcs(vcpu, &vmx->nested.vmcs02); in nested_vmx_enter_non_root_mode()4025 vmx->loaded_vmcs = &vmx->nested.vmcs02; in copy_vmcs02_to_vmcs12_rare()4031 vmx_vcpu_load_vmcs(vcpu, cpu, &vmx->nested.vmcs02); in copy_vmcs02_to_vmcs12_rare()4800 r = alloc_loaded_vmcs(&vmx->nested.vmcs02); in enter_vmx_operation()4838 free_loaded_vmcs(&vmx->nested.vmcs02); in enter_vmx_operation()
72 also have "vmcs01", the VMCS that L0 built for L1, and "vmcs02" is the VMCS