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