PCI_INT_IR_SMPINT
if (status & PCI_INT_IR_SMPINT) {
core->pci_irqmask |= PCI_INT_IR_SMPINT;
core->pci_irqmask &= ~PCI_INT_IR_SMPINT;