high_pkey        2206 security/selinux/ss/policydb.c 				c->u.ibpkey.high_pkey = pkey_hi;
high_pkey        3176 security/selinux/ss/policydb.c 				buf[1] = cpu_to_le32(c->u.ibpkey.high_pkey);
high_pkey         189 security/selinux/ss/policydb.h 			u16 high_pkey;
high_pkey        2321 security/selinux/ss/services.c 		    c->u.ibpkey.high_pkey >= pkey_num &&