PCI_INT_STAT
cx_read(PCI_INT_STAT));
pci_status = cx_read(PCI_INT_STAT);
cx_write(PCI_INT_STAT, pci_status & pci_mask);
cx_write(PCI_INT_STAT, 0xffffffff);
status = cx_read(PCI_INT_STAT);
status = cx_read(PCI_INT_STAT);
status = cx_read(PCI_INT_STAT);
cx_write(PCI_INT_STAT, status);
cx_write(PCI_INT_STAT, status);
pci_status = cx_read(PCI_INT_STAT);
cx_write(PCI_INT_STAT, pci_status);
pci_status = cx_read(PCI_INT_STAT);
cx_write(PCI_INT_STAT, mask[i]);
cx_write(PCI_INT_STAT, 0xffffffff);