Lines Matching defs:acpi_irq
150 int acpi_irq;
603 static void apic_set_irq(PPCIBUS pBus, uint8_t uDevFn, PCIDevice *pPciDev, int irq_num1, int iLevel, int acpi_irq, uint32_t uTagSrc)
608 if (acpi_irq == -1) {
633 Log3(("apic_set_irq: %s: irq_num1=%d level=%d acpi_irq=%d\n",
634 R3STRING(pPciDev->name), irq_num1, iLevel, acpi_irq));
635 pBus->CTX_SUFF(pPciHlp)->pfnIoApicSetIrq(pBus->CTX_SUFF(pDevIns), acpi_irq, iLevel, uTagSrc);
695 pGlobals->acpi_irq = pic_irq;
732 if (pic_irq == pGlobals->acpi_irq)
1260 SSMR3PutS32(pSSM, pThis->acpi_irq);
1587 SSMR3GetS32(pSSM, &pThis->acpi_irq);