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