tag	line	file	source code
free_page_tables	138	include/linux/mm.h	extern void free_page_tables(struct task_struct * tsk);
free_page_tables	591	ipc/shm.c	free_page_tables (p2);
free_page_tables	383	kernel/exit.c	free_page_tables(current);
free_page_tables	252	mm/memory.c	free_page_tables(tsk);