Searched refs:pkey_hi (Results 1 – 1 of 1) sorted by relevance
3044 uint32_t pkey_lo, pkey_hi; in ocontext_read_selinux() local3051 pkey_hi = le32_to_cpu(buf[3]); in ocontext_read_selinux()3053 if (pkey_lo > UINT16_MAX || pkey_hi > UINT16_MAX) in ocontext_read_selinux()3057 c->u.ibpkey.high_pkey = pkey_hi; in ocontext_read_selinux()