tag
line
file
source code
free_page_tables
174
include/linux/mm.h
extern void free_page_tables(struct task_struct * tsk);
free_page_tables
385
kernel/exit.c
free_page_tables(current);
free_page_tables
333
mm/memory.c
free_page_tables(tsk);