tag	line	file	source code
dest_table	209	fs/proc/mem.c	pte_t *src_table, *dest_table;
dest_table	282	fs/proc/mem.c	dest_table = pte_alloc(dest_middle, dtmp);
dest_table	283	fs/proc/mem.c	if (!dest_table)
dest_table	293	fs/proc/mem.c	set_pte(dest_table, *src_table);