Re: [PATCH] x86: Optimize load_mm_cr4 to load_mm_cr4_irqsoff

[Thomas Gleixner]

On Tue, 23 Jul 2019, Jan Kiszka wrote:
> 
> Ping. I think the only remark of Dave was answered.

It's in that large append only file (TODO) already.