2018-04-20 17:07+0100, Marc Zyngier: > Radim, Paolo, > > Here is the first batch of KVM/arm fixes post 4.17 merge window. Not a > lot to report, apart from the slightly scary VMID allocation race that > has been sitting there from day 1. > > Please pull. Pulled, thanks.