tag	line	file	source code
old_pte	185	mm/memory.c	static inline void copy_one_pte(pte_t * old_pte, pte_t * new_pte, int cow)
old_pte	187	mm/memory.c	pte_t pte = *old_pte;
old_pte	207	mm/memory.c	set_pte(old_pte, pte);