On 20.12.2023 17:34, Sébastien Chaumat wrote: > Here are the patches I made to xen and linux kernel > Plus dmesg (bare metal,xen) and "xl dmesg"
So only a single setup_gsi then, after all. Or else I must be missing something. And there it's all consistent as well: Level/low like for any other pin (IO-APIC) based PCI IRQ. The issue may then rather be with xen_register_pirq(), where 1st and 2nd invocation are clearly different. I'll try to get to looking into that some more later in the day. Jan
