Lines Matching defs:pkey
39 int pkey;
41 pkey = siginfo_pkey(sinfo);
43 /* Check if this fault originated from a pkey access violation */
55 /* Check if this fault originated from the restrictive pkey */
56 if (pkey != rest_pkey) {
57 sigsafe_err("got a fault for an unexpected pkey\n");
72 * reassociate the page with the exec-only pkey since execute
73 * rights cannot be changed directly for the faulting pkey as
78 * pkey.
86 pkey_set_rights(pkey, 0);
112 printf("tid %d, pkey permissions are %s\n", tid, pkey_rights(rights));
114 /* Allocate the permissive pkey */
120 * pkey
125 * restrictive pkey or until the next iteration has begun
129 /* Try to associate the permissive pkey with the region */
134 /* Free the permissive pkey */
153 /* Allocate the restrictive pkey */
157 printf("tid %d, pkey permissions are %s\n", tid, pkey_rights(rights));
165 * pkey and read, write or execute from it
170 * permissive pkey or until the next iteration has begun
174 /* Try to associate the restrictive pkey with the region */
215 * restrictive pkey as the signal handler would have
221 /* Free restrictive pkey */
286 * pkey protected region, the pkey responsible for this must be
288 * one is fully permissive. Despite that, if the pkey reported
289 * by siginfo is not the restrictive pkey, then there must be a