tag	line	file	source code
wp_works_ok	294	fs/proc/array.c	wp_works_ok ? "yes" : "no",
wp_works_ok	21	include/asm-i386/processor.h	extern char wp_works_ok;    /* doesn't work on a 386 */
wp_works_ok	75	kernel/ksyms.c	X(wp_works_ok),
wp_works_ok	81	kernel/sched.c	char wp_works_ok = 0;    /* set if paging hardware honours WP */
wp_works_ok	654	mm/memory.c	if (!wp_works_ok && type == VERIFY_WRITE)
wp_works_ok	1037	mm/memory.c	if (wp_works_ok < 0 && address == TASK_SIZE && (error_code & PAGE_PRESENT)) {
wp_works_ok	1038	mm/memory.c	wp_works_ok = 1;
wp_works_ok	1249	mm/memory.c	wp_works_ok = -1;
wp_works_ok	1255	mm/memory.c	if (wp_works_ok < 0)
wp_works_ok	1256	mm/memory.c	wp_works_ok = 0;
wp_works_ok	1258	mm/memory.c	wp_works_ok = 0;