The text 4cb72cc0c090, as Debian 8 (Jessie) shipped it.
unmask INTx if no interrupt is pending
pci_check_and_unmask_intx(9) on Linux now
