On 1/9/19 3:47 AM, Sebastian Andrzej Siewior wrote: > +static inline void __write_pkru(u32 pkru) > +{ > + /* > + * Writting PKRU is expensive. Only write the PKRU value if it is > + * different from the current one. > + */ I'd say: WRPKRU is relatively expensive compared to RDPKRU. Avoid WRPKRU when it would not change the value. In the grand scheme of things, WRPKRU is cheap. It's certainly not an "expensive instruction" compared to things like WBINVD. > + if (pkru == __read_pkru()) > + return; > + __write_pkru_insn(pkru); > +} Is there a case where we need __write_pkru_insn() directly? Why not just put the inline assembly in here?