The text f506c9277521, as Debian 8 (Jessie) shipped it.
mask INTx on pending interrupt
pci_check_and_mask_intx(9) on Linux now
