pkey_hi          2184 security/selinux/ss/policydb.c 				u32 pkey_lo, pkey_hi;
pkey_hi          2198 security/selinux/ss/policydb.c 				pkey_hi = le32_to_cpu(buf[1]);
pkey_hi          2200 security/selinux/ss/policydb.c 				if (pkey_lo > U16_MAX || pkey_hi > U16_MAX) {
pkey_hi          2206 security/selinux/ss/policydb.c 				c->u.ibpkey.high_pkey = pkey_hi;