tag	line	file	source code
new_pte	193	mm/memory.c	static inline void copy_one_pte(pte_t * old_pte, pte_t * new_pte, int cow)
new_pte	201	mm/memory.c	set_pte(new_pte, pte);
new_pte	205	mm/memory.c	set_pte(new_pte, pte);
new_pte	212	mm/memory.c	set_pte(new_pte, pte_mkold(pte));