Searched refs:mmio_irqchip (Results 1 – 1 of 1) sorted by relevance
1352 DeviceState *mmio_irqchip, *virtio_irqchip, *pcie_irqchip; in virt_machine_init() local1369 mmio_irqchip = virtio_irqchip = pcie_irqchip = NULL; in virt_machine_init()1453 mmio_irqchip = s->irqchip[i]; in virt_machine_init()1530 create_platform_bus(s, mmio_irqchip); in virt_machine_init()1533 0, qdev_get_gpio_in(mmio_irqchip, UART0_IRQ), 399193, in virt_machine_init()1537 qdev_get_gpio_in(mmio_irqchip, RTC_IRQ)); in virt_machine_init()