Searched refs:old_pkey_reg (Results 1 – 1 of 1) sorted by relevance
192 u64 old_pkey_reg = __read_pkey_reg(); in hw_pkey_set() local199 new_pkey_reg = set_pkey_bits(old_pkey_reg, pkey, rights); in hw_pkey_set()206 old_pkey_reg); in hw_pkey_set()