siginfo_pkey
u64 siginfo_pkey;
siginfo_pkey = *si_pkey_ptr;
pkey_assert(siginfo_pkey < NR_PKEYS);
last_si_pkey = siginfo_pkey;
dprintf1("pkey from siginfo: %016llx\n", siginfo_pkey);
pkey_access_allow(siginfo_pkey);
signal_pkey = siginfo_pkey(sinfo);
pkey = siginfo_pkey(sinfo);