| I'm not sure if this is the way the code is intended to work, but if it is
 | I suggest we fix it.
 | A simple way would be to have a config option that overrides the computed
 | value of pciirq.
 | Another would be to guess that the bitmaps suggested by the link_map_list
 | can be used.
 | Or perhaps the PCIBIOS itself can supply a value for pciirq?

 I think that config option and implement Stage 3 of
pciintr_link_fixup() is the most clear way.
---
UCHIYAMA Yasushi
uch@nop.or.jp