Searched refs:new_pkey_reg (Results 1 – 2 of 2) sorted by relevance
199 u64 new_pkey_reg; in hw_pkey_set() local205 new_pkey_reg = set_pkey_bits(old_pkey_reg, pkey, rights); in hw_pkey_set()207 __write_pkey_reg(new_pkey_reg); in hw_pkey_set()
164 u64 new_pkey_reg; in set_pkey() local 166 new_pkey_reg = set_pkey_bits(__read_pkey_reg(), pkey, pkey_value); in set_pkey() 167 __write_pkey_reg(new_pkey_reg); in set_pkey()