Searched refs:vgic_interrupt (Results 1 – 4 of 4) sorted by relevance
695 uint32_t vgic_interrupt = vms->virt ? ARCH_GIC_MAINT_IRQ : 0; in build_madt() local723 build_append_int_noprefix(table_data, vgic_interrupt, 4); in build_madt()
2512 acpi_data.maint_irq = gicc->vgic_interrupt; in gic_acpi_parse_virt_madt_gicc()2522 if ((acpi_data.maint_irq != gicc->vgic_interrupt) || in gic_acpi_parse_virt_madt_gicc()
1558 acpi_data.maint_irq = processor->vgic_interrupt; in gic_acpi_parse_madt_cpu()
1035 u32 vgic_interrupt; member