Searched refs:piix3_dev (Results 1 – 1 of 1) sorted by relevance
211 static PCIDevice *piix3_dev; variable222 pic_irq = piix3_dev->config[0x60 + irq_num]; in piix3_set_irq()228 if (pic_irq == piix3_dev->config[0x60 + i]) in piix3_set_irq()338 piix3_dev = d; in piix3_init()