tag	line	file	source code
un_wp_page	516	mm/memory.c	un_wp_page((unsigned long *) pte, tsk);
un_wp_page	529	mm/memory.c	un_wp_page((unsigned long *) page, current);