Searched refs:write_pkey_reg (Results 1 – 1 of 1) sorted by relevance
136 static inline void write_pkey_reg(u64 pkey_reg) in write_pkey_reg() function163 write_pkey_reg(pkey_reg); in __pkey_access_allow()176 write_pkey_reg(pkey_reg); in __pkey_write_allow()