Marc! On Sat, Jun 29 2024 at 11:11, Marc Zyngier wrote: >> I have the ugly feeling that the flag is applied at the wrong level, >> or not propagated. Indeed. > Here's a possible fix. Making the masking at the ITS level optional is > not an option (haha). It is the PCI masking that is totally > superfluous and that could completely be elided. It's the right fix because ITS requires this bit to be set. Vs. PCI masking, you are right from a pure ITS point of view, but not from the PCI side. PCI can't be unmsaked until there is a valid message and we need to mask it on shutdown. It's not a run time issue at all because PCI/MSI is edge triggered so the mask/unmask dance only matters during startup, shutdown and message update. > 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. Thanks, tglx