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;