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;