IAMR_EX_BIT
new_iamr_bits |= IAMR_EX_BIT;
return !(current_thread_iamr() & (IAMR_EX_BIT << pkey_shift));