is_dirty_pte      209 arch/x86/kvm/paging_tmpl.h 	if (write_fault && !is_dirty_pte(pte)) {
is_dirty_pte      324 arch/x86/kvm/paging_tmpl.h 			if (!is_dirty_pte(walker->ptes[level - 1]))