dirty_vmcs12     1872 arch/x86/kvm/vmx/nested.c 		vmx->nested.dirty_vmcs12 = true;
dirty_vmcs12     2049 arch/x86/kvm/vmx/nested.c 	if (vmx->nested.dirty_vmcs12 || vmx->nested.hv_evmcs)
dirty_vmcs12     2313 arch/x86/kvm/vmx/nested.c 	if (vmx->nested.dirty_vmcs12 || hv_evmcs) {
dirty_vmcs12     2315 arch/x86/kvm/vmx/nested.c 		vmx->nested.dirty_vmcs12 = false;
dirty_vmcs12     4791 arch/x86/kvm/vmx/nested.c 		vmx->nested.dirty_vmcs12 = true;
dirty_vmcs12     4806 arch/x86/kvm/vmx/nested.c 	vmx->nested.dirty_vmcs12 = true;
dirty_vmcs12     5763 arch/x86/kvm/vmx/nested.c 	vmx->nested.dirty_vmcs12 = true;
dirty_vmcs12      120 arch/x86/kvm/vmx/vmx.h 	bool dirty_vmcs12;