[slackingoff2017]

maybe it has to do with CR3 register? https://patchwork.kernel.org/patch/10138835/

Edit: switched to link without AD cancer

[bitexploder]

I think they are just using the CR3 register to implement the fix. The actual side channel will be something a bit more esoteric.

Something like this: https://cyber.wtf/2017/07/28/negative-result-reading-kernel-...