current_thread_iamr
u64 old_iamr = current_thread_iamr() & ~((u64)(0x1ul) << pkeyshift(pkey));
return !(current_thread_iamr() & (IAMR_EX_BIT << pkey_shift));