Searched refs:virtio_irq_base (Results 1 – 4 of 4) sorted by relevance
187 mms->virtio_irq_base = 5; in microvm_devices_init()192 mms->virtio_irq_base = IO_APIC_SECONDARY_IRQBASE; in microvm_devices_init()196 mms->virtio_irq_base = 16; /* 16 -> 23 */ in microvm_devices_init()202 x86ms->gsi[mms->virtio_irq_base + i]); in microvm_devices_init()345 static gchar *microvm_get_mmio_cmdline(gchar *name, uint32_t virtio_irq_base) in microvm_get_mmio_cmdline() argument365 virtio_irq_base + index); in microvm_get_mmio_cmdline()401 (mmio_bus->name, mms->virtio_irq_base); in microvm_fix_kernel_cmdline()
78 uint32_t irq = mms->virtio_irq_base + index; in acpi_dsdt_add_virtio()
77 uint32_t irq = mms->virtio_irq_base + index; in dt_add_virtio()
98 uint32_t virtio_irq_base; member