Hello Nikolai, > > PIRQ routing tables provided by the PCI BIOS usually specify the PCI > > vendor:device ID as well as the bus address of the device implementing > > the PIRQ router, e.g.: > [...] > > linux-x86-pirq-router-nodev.diff > > This one throws a panic in bus_find_device() here. > I can not yet get a good printout because scrollback does not work. > Maybe it is because of 4.14 kernel, and in order to apply it I had to change > pci_get_domain_bus_and_slot back to pci_get_bus_and_slot. > I'll try to also test with 5.x kernel later today. Umm, my bad; I missed the initialisation of `dev' for `for_each_pci_dev'. I have posted v2, with another `dev'-related fix as well. Please try that instead, and sorry for the mess-up. Maciej