On Sat, Jun 29, 2024 at 09:51:08PM +0200, Thomas Gleixner wrote: > On Sat, Jun 29 2024 at 12:44, Thomas Gleixner wrote: > >> With this hack, I can boot a GICv3+ITS guest as usual. > > > > It's not a hack. It's the proper solution. Let me fold that back and > > look at the other PCI conversions which probably have the same issue. > > > > Thanks for digging into this. This help is truly welcome right now. > > So while I pondered to do it slightly differently for a moment I went > back to this approach and fixed up the other affected ones too. Full > delta vs. devmsi-arm-v4-1 below. > > Updated branch: > > git://git.kernel.org/pub/scm/linux/kernel/git/tglx/devel.git devmsi-arm-v4-2 This seems to work for me as well. I re-added this branch to arm64 for-kernelci for wider exposure. Thanks. -- Catalin