Hello! > What is done currently at qemu level for other archs - if I understand > it correctly - is there is static GSI routing for standard IRQ. Yes, this is correct. GSI number = SPI number for ARM. Also something similar for MIPS (haven't study that). > For MSI > irqfd setup they use spare gsi number not yet used for GSI routing < max > route number. No. On ARM with vGICv2m MSI data is effectively IRQ offset, with base being 32. So, original convention works without any change, they simply retrieve SPI number from MSI data and set up irqfd to that SPI. No allocation is done. Allocation is done only on x86, with routing. They just allocate GSI numbers starting from zero and route them to something (either irqchip or MSI). Kind regards, Pavel Fedin Expert Engineer Samsung Electronics Research center Russia -- To unsubscribe from this list: send the line "unsubscribe kvm" in
