On 19/05/20 22:31, Thomas Gleixner wrote:> git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git noinstr-x86-kvm-2020-05-16Pulled, thanks.Paolo