Symbol: K_INT_PCI_INTB