2496 /* PCI interrupt handle */