On Tue, Jul 30, 2019 at 04:26:01PM +0100, Will Deacon wrote:> Joerg -- if you'd like to pick this up as a fix, feel free, otherwise I'll> include it in my pull request for 5.4.Applied to iommu/fixes, thanks.