Searched refs:vmcs01 (Results 1 – 3 of 3) sorted by relevance
74 also have "vmcs01", the VMCS that L0 built for L1, and "vmcs02" is the VMCS
235 struct loaded_vmcs vmcs01; member
1607 WARN_ON_ONCE(vmx->loaded_vmcs != &vmx->vmcs01); in vmx_load_vmcs01()1612 vmx_switch_loaded_vmcs(vcpu, &vmx->vmcs01); in vmx_load_vmcs01()4118 struct hv_enlightened_vmcs *evmcs = (void *)vmx->vmcs01.vmcs; in vmx_msr_bitmap_l01_changed()4131 unsigned long *msr_bitmap = vmx->vmcs01.msr_bitmap; in vmx_set_intercept_for_msr()4163 u64 *msr_bitmap = (u64 *)vmx->vmcs01.msr_bitmap; in vmx_update_msr_bitmap_x2apic()4895 vmcs_write64(MSR_BITMAP, __pa(vmx->vmcs01.msr_bitmap)); in init_vmcs()7701 err = alloc_loaded_vmcs(&vmx->vmcs01); in vmx_vcpu_create()7713 struct hv_enlightened_vmcs *evmcs = (void *)vmx->vmcs01.vmcs; in vmx_vcpu_create()7718 vmx->loaded_vmcs = &vmx->vmcs01; in vmx_vcpu_create()