ACPI_MADT_VGIC_IRQ_MODE
maint_irq_mode = (gicc->flags & ACPI_MADT_VGIC_IRQ_MODE) ?
acpi_data.maint_irq_mode = (processor->flags & ACPI_MADT_VGIC_IRQ_MODE) ?