PT_GUEST_DIRTY_MASK  245 arch/x86/kvm/paging_tmpl.h 				!(pte & PT_GUEST_DIRTY_MASK)) {
PT_GUEST_DIRTY_MASK  251 arch/x86/kvm/paging_tmpl.h 			pte |= PT_GUEST_DIRTY_MASK;