tag	line	file	source code
wp_works_ok	22	include/linux/sched.h	extern int wp_works_ok;
wp_works_ok	74	kernel/ksyms.c	X(wp_works_ok),
wp_works_ok	72	kernel/sched.c	int wp_works_ok = 0;    /* set if paging hardware honours WP */
wp_works_ok	711	mm/memory.c	if (wp_works_ok || type == VERIFY_READ || !size)
wp_works_ok	969	mm/memory.c	if (wp_works_ok < 0 && address == 0 && (error_code & PAGE_PRESENT)) {
wp_works_ok	970	mm/memory.c	wp_works_ok = 1;
wp_works_ok	1179	mm/memory.c	wp_works_ok = -1;
wp_works_ok	1185	mm/memory.c	if (wp_works_ok < 0)
wp_works_ok	1186	mm/memory.c	wp_works_ok = 0;
wp_works_ok	1188	mm/memory.c	wp_works_ok = 0;