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