Searched defs:__write_pkey_reg (Results 1 – 2 of 2) sorted by relevance
51 static inline void __write_pkey_reg(u64 pkey_reg) in __write_pkey_reg() function
134 static void __write_pkey_reg(u64 pkey_reg) in __write_pkey_reg() function