Searched refs:orig_pkey_reg (Results 1 – 1 of 1) sorted by relevance
215 u64 orig_pkey_reg = read_pkey_reg(); in pkey_disable_set() local246 pkey_assert(read_pkey_reg() >= orig_pkey_reg); in pkey_disable_set()256 u64 orig_pkey_reg = read_pkey_reg(); in pkey_disable_clear() local277 assert(read_pkey_reg() <= orig_pkey_reg); in pkey_disable_clear()