tag	line	file	source code
table_entry	437	mm/memory.c	static void un_wp_page(unsigned long * table_entry, struct task_struct * task)
table_entry	444	mm/memory.c	old_page = *table_entry;
table_entry	457	mm/memory.c	*table_entry = BAD_PAGE | 7;
table_entry	461	mm/memory.c	*table_entry |= 2;
table_entry	475	mm/memory.c	*table_entry = new_page | dirty | 7;