UEFI boot and PCI interrupt routing (amd64)

[Jaromír Doleček <jaromir.dolecek%gmail.com@localhost>]

Hi,

I'm working on a driver for some PCI device, I'm far enough to execute
operations which should trigger interrupt, but the interrupt handler
(registered via pci_intr_establish()) is not called. It looks like
there is some kind of interrupt routing problem, maybe.

Any hints on what could/should I check?

Unfortunately can't boot the machine in legacy mode, to check whether
it's due to mission initialisation by BIOS.

Jaromir