tag	line	file	source code
free_one_table	149	mm/memory.c	free_one_table(page_dir);
free_one_table	183	mm/memory.c	free_one_table(page_dir);