On 4/10/19 2:25 PM, Sebastian Andrzej Siewior wrote:
>> static inline void write_pkru(u32 pkru)
>> {
>> if (boot_cpu_has(X86_FEATURE_OSPKE))
>> - __write_pkru(pkru);
>> + wrpkru(pkru);
> I think if this is a simple
>
> 's@__write_pkru_ins@wrpkru@g'
> 's@__read_pkru_ins@rdpkru@g'
>
> then it should work just fine and match what Dave asked for.I'm fine with it either way, fwiw.

