tag	line	file	source code
free_page_tables	585	fs/exec.c	free_page_tables(get_base(current->ldt[1]),get_limit(0x0f));
free_page_tables	586	fs/exec.c	free_page_tables(get_base(current->ldt[2]),get_limit(0x17));
free_page_tables	63	include/linux/mm.h	extern int free_page_tables(unsigned long from,unsigned long size);
free_page_tables	300	kernel/exit.c	free_page_tables(get_base(current->ldt[1]),get_limit(0x0f));
free_page_tables	301	kernel/exit.c	free_page_tables(get_base(current->ldt[2]),get_limit(0x17));
free_page_tables	64	kernel/fork.c	free_page_tables(new_data_base,data_limit);