tag	line	file	source code
src_pte	218	mm/memory.c	pte_t * src_pte, * dst_pte;
src_pte	228	mm/memory.c	src_pte = pte_offset(src_pmd, address);
src_pte	242	mm/memory.c	copy_one_pte(src_pte++, dst_pte++);