Searched refs:pcie_irqchip (Results 1 – 1 of 1) sorted by relevance
1458 DeviceState *mmio_irqchip, *virtio_irqchip, *pcie_irqchip; in virt_machine_init() local1475 mmio_irqchip = virtio_irqchip = pcie_irqchip = NULL; in virt_machine_init()1559 pcie_irqchip = s->irqchip[i]; in virt_machine_init()1563 pcie_irqchip = s->irqchip[i]; in virt_machine_init()1566 pcie_irqchip = s->irqchip[i]; in virt_machine_init()1624 gpex_pcie_init(system_memory, pcie_irqchip, s); in virt_machine_init()