nested_mark_vmcs12_pages_dirty 3436 arch/x86/kvm/vmx/nested.c 	nested_mark_vmcs12_pages_dirty(vcpu);
nested_mark_vmcs12_pages_dirty 5351 arch/x86/kvm/vmx/nested.c 	nested_mark_vmcs12_pages_dirty(vcpu);