tag	line	file	source code
table_entry	449	mm/memory.c	static void un_wp_page(unsigned long * table_entry, struct task_struct * task)
table_entry	456	mm/memory.c	old_page = *table_entry;
table_entry	469	mm/memory.c	*table_entry = BAD_PAGE | 7;
table_entry	473	mm/memory.c	*table_entry |= 2;
table_entry	487	mm/memory.c	*table_entry = new_page | dirty | PAGE_ACCESSED | 7;