tag	line	file	source code
wp_works_ok	296	include/linux/sched.h	extern int wp_works_ok;
wp_works_ok	68	kernel/sched.c	int wp_works_ok = 0;    /* set if paging hardware honours WP */
wp_works_ok	661	mm/memory.c	if (wp_works_ok || type == VERIFY_READ || !size)
wp_works_ok	915	mm/memory.c	if (!wp_works_ok) {
wp_works_ok	916	mm/memory.c	wp_works_ok = 1;