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;