Searched defs:pkey_reg (Results 1 – 2 of 2) sorted by relevance
46 u64 pkey_reg; in __read_pkey_reg() local53 static inline void __write_pkey_reg(u64 pkey_reg) in __write_pkey_reg()
186 u64 pkey_reg = __read_pkey_reg(); in hw_pkey_get() local