pkey_rights
int pkey_rights;
pkey_rights = hw_pkey_get(pkey, syscall_flags);
pkey, pkey, pkey_rights);
pkey_assert(pkey_rights >= 0);
pkey_rights |= flags;
ret = hw_pkey_set(pkey, pkey_rights, syscall_flags);
shadow_pkey_reg = set_pkey_bits(shadow_pkey_reg, pkey, pkey_rights);
pkey_rights = hw_pkey_get(pkey, syscall_flags);
pkey, pkey, pkey_rights);
int pkey_rights = hw_pkey_get(pkey, syscall_flags);
pkey, pkey, pkey_rights);
pkey_assert(pkey_rights >= 0);
pkey_rights &= ~flags;
ret = hw_pkey_set(pkey, pkey_rights, 0);
shadow_pkey_reg = set_pkey_bits(shadow_pkey_reg, pkey, pkey_rights);
pkey_rights = hw_pkey_get(pkey, syscall_flags);
pkey, pkey, pkey_rights);
pkey_rights(rights));
pkey_rights(rights));
pkey_rights(rights));
pkey_rights(rights));
pkey_rights(rights));
printf("tid %d, pkey permissions are %s\n", tid, pkey_rights(rights));
printf("tid %d, pkey permissions are %s\n", tid, pkey_rights(rights));