Searched refs:old_pkru (Results 1 – 2 of 2) sorted by relevance
1007 u32 old_pkru, new_pkru_bits = 0; in arch_set_user_pkey_access() local1036 old_pkru = read_pkru(); in arch_set_user_pkey_access()1037 old_pkru &= ~((PKRU_AD_BIT|PKRU_WD_BIT) << pkey_shift); in arch_set_user_pkey_access()1040 write_pkru(old_pkru | new_pkru_bits); in arch_set_user_pkey_access()
3020 uint64_t old_pkru = env->pkru; in do_xrstor() local3026 if (env->pkru != old_pkru) { in do_xrstor()