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