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;