VMCB_NPT         2996 arch/x86/kvm/svm.c 	mark_dirty(svm->vmcb, VMCB_NPT);
VMCB_NPT         4314 arch/x86/kvm/svm.c 		mark_dirty(svm->vmcb, VMCB_NPT);
VMCB_NPT         5886 arch/x86/kvm/svm.c 	mark_dirty(svm->vmcb, VMCB_NPT);