tag	line	file	source code
put_page	768	mm/memory.c	put_page(page_table, pte);
put_page	934	mm/memory.c	put_page(page_table, BAD_PAGE);
put_page	954	mm/memory.c	put_page(page_table, entry);