vmcs02 271 arch/x86/kvm/vmx/nested.c free_loaded_vmcs(&vmx->nested.vmcs02); vmcs02 566 arch/x86/kvm/vmx/nested.c unsigned long *msr_bitmap_l0 = to_vmx(vcpu)->nested.vmcs02.msr_bitmap; vmcs02 2000 arch/x86/kvm/vmx/nested.c vmcs_write64(MSR_BITMAP, __pa(vmx->nested.vmcs02.msr_bitmap)); vmcs02 3092 arch/x86/kvm/vmx/nested.c vmx_switch_vmcs(vcpu, &vmx->nested.vmcs02); vmcs02 3642 arch/x86/kvm/vmx/nested.c vmx->loaded_vmcs = &vmx->nested.vmcs02; vmcs02 4380 arch/x86/kvm/vmx/nested.c r = alloc_loaded_vmcs(&vmx->nested.vmcs02); vmcs02 4418 arch/x86/kvm/vmx/nested.c free_loaded_vmcs(&vmx->nested.vmcs02); vmcs02 147 arch/x86/kvm/vmx/vmx.h struct loaded_vmcs vmcs02;