Hi Mike, On 10/26/25 2:44 AM, Michael Kelly wrote: > Damien, if you need me to test any alterations you make to my proposal, > please forward them to me and I will do so. > I am thinking we don't need to change the irqhelp interface.
Can you see if it makes sense to just call the acpi server acpi_get_irq_number() RPC from libddekit if it requires the irq number before it installs the handler instead of adding a new RPC to irqhelp library? It can fall back to reading the PCI_INTERRUPT_LINE from the pci config if acpi fails. Cheers, Damien
