Home
last modified time | relevance | path

Searched refs:vgic_interrupt (Results 1 – 3 of 3) sorted by relevance

/linux/drivers/irqchip/
H A Dirq-gic-v3.c2552 acpi_data.maint_irq = gicc->vgic_interrupt; in gic_acpi_parse_virt_madt_gicc()
2562 if ((acpi_data.maint_irq != gicc->vgic_interrupt) || in gic_acpi_parse_virt_madt_gicc()
H A Dirq-gic.c1555 acpi_data.maint_irq = processor->vgic_interrupt; in gic_acpi_parse_madt_cpu()
/linux/include/acpi/
H A Dactbl2.h1113 u32 vgic_interrupt; member