Searched refs:orig_pkey_reg (Results 1 – 1 of 1) sorted by relevance
214 u64 orig_pkey_reg = read_pkey_reg(); in pkey_disable_set() local245 pkey_assert(read_pkey_reg() >= orig_pkey_reg); in pkey_disable_set()255 u64 orig_pkey_reg = read_pkey_reg(); in pkey_disable_clear() local276 assert(read_pkey_reg() <= orig_pkey_reg); in pkey_disable_clear()
