check_write      4870 arch/x86/kvm/mmu.c 		bool check_pkey, check_write, ff, uf, wf, pte_user;
check_write      4889 arch/x86/kvm/mmu.c 		check_write = check_pkey && wf && (uf || wp);
check_write      4894 arch/x86/kvm/mmu.c 		pkey_bits |= (!!check_write) << 1;