Searched refs:pic_irq (Results 1 – 2 of 2) sorted by relevance
216 int i, pic_irq, pic_level; in piix3_set_irq() local222 pic_irq = piix3_dev->config[0x60 + irq_num]; in piix3_set_irq()223 if (pic_irq < 16) { in piix3_set_irq()228 if (pic_irq == piix3_dev->config[0x60 + i]) in piix3_set_irq()231 qemu_set_irq(pic[pic_irq], pic_level); in piix3_set_irq()
935 int i, pin, pic_irq, vendor_id, device_id; in pci_bios_init_device() local1016 pic_irq = pci_irqs[pin]; in pci_bios_init_device()1017 pci_config_writeb(d, PCI_INTERRUPT_LINE, pic_irq); in pci_bios_init_device()