__read_pkey_reg
new_pkey_reg = set_pkey_bits(__read_pkey_reg(), pkey, pkey_value);
__func__, __read_pkey_reg(), pkey_reg);
__func__, __read_pkey_reg(), pkey_reg);
u64 pkey_reg = __read_pkey_reg();
__read_pkey_reg(), pkey_reg);
pkey_reg, __read_pkey_reg());
__func__, __read_pkey_reg(), pkey_reg);
__func__, __read_pkey_reg(), pkey_reg);
__read_pkey_reg(), pkey_reg);
assert(pkey_reg == __read_pkey_reg());
ksft_test_result(pkey_reg == __read_pkey_reg() &&
__func__, __LINE__, err, __read_pkey_reg(),
shadow_pkey_reg = __read_pkey_reg();
if (__read_pkey_reg() != new_pkru)
if (__read_pkey_reg() != 0)
if (__read_pkey_reg() != new_pkey)
shadow_pkey_reg = __read_pkey_reg();
u64 pkey_reg = __read_pkey_reg();
u64 old_pkey_reg = __read_pkey_reg();
__func__, pkey, rights, flags, 0, __read_pkey_reg(),
__read_pkey_reg(), shadow_pkey_reg);
__read_pkey_reg());
__func__, __LINE__, __read_pkey_reg(), shadow_pkey_reg);
__func__, __LINE__, ret, __read_pkey_reg(),
__LINE__, ret, __read_pkey_reg(),
__func__, __LINE__, ret, __read_pkey_reg(),
__func__, __LINE__, ret, __read_pkey_reg(),
__LINE__, ret, __read_pkey_reg(), shadow_pkey_reg);
__func__, __LINE__, ret, __read_pkey_reg(),
__func__, __LINE__, ret, __read_pkey_reg(),
__LINE__, ret, __read_pkey_reg(), shadow_pkey_reg);
if (__read_pkey_reg() != 0)
if (__read_pkey_reg() != PKEY_REG_ALLOW_ALL)
if (__read_pkey_reg() != shadow_pkey_reg)