pci_lost_interrupt(9) on Linux

The text a4b32f85fc67, as Debian 9 (Stretch) shipped it. The page shows this text now.

reports a lost PCI interrupt

pci_lost_interrupt(9) on Linux now