set_pkey_bits
new_pkey_reg = set_pkey_bits(__read_pkey_reg(), pkey, pkey_value);
#define set_pkey_bits set_pkey_bits
#ifndef set_pkey_bits
return set_pkey_bits(PKEY_REG_ALLOW_NONE, 0, PKEY_DISABLE_ACCESS);
pkey_reg = set_pkey_bits(pkey_reg, 1, PKEY_UNRESTRICTED);
pkey_reg = set_pkey_bits(pkey_reg, 0, PKEY_UNRESTRICTED);
pkey_reg = set_pkey_bits(pkey_reg, 1, PKEY_UNRESTRICTED);
pkey_reg = set_pkey_bits(pkey_reg, 0, PKEY_UNRESTRICTED);
pkey_reg = set_pkey_bits(pkey_reg, 3, PKEY_UNRESTRICTED);
pkey_reg = set_pkey_bits(pkey_reg, 7, PKEY_UNRESTRICTED);
pkey_reg = set_pkey_bits(pkey_reg, 2, PKEY_UNRESTRICTED);
pkey_reg = set_pkey_bits(pkey_reg, 0, PKEY_UNRESTRICTED);
pkey_reg = set_pkey_bits(pkey_reg, 2, PKEY_UNRESTRICTED);
new_pkey_reg = set_pkey_bits(old_pkey_reg, pkey, rights);
shadow_pkey_reg = set_pkey_bits(shadow_pkey_reg, pkey, pkey_rights);
shadow_pkey_reg = set_pkey_bits(shadow_pkey_reg, pkey, pkey_rights);
shadow_pkey_reg = set_pkey_bits(shadow_pkey_reg, ret,
shadow_pkey_reg = set_pkey_bits(shadow_pkey_reg, ret,