Searched refs:mmio_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()1557 mmio_irqchip = s->irqchip[i]; in virt_machine_init()1626 create_platform_bus(s, mmio_irqchip); in virt_machine_init()1629 0, qdev_get_gpio_in(mmio_irqchip, UART0_IRQ), 399193, in virt_machine_init()1633 qdev_get_gpio_in(mmio_irqchip, RTC_IRQ)); in virt_machine_init()