Symbol: ACPI_IRQ_MODEL_GIC_V5
drivers/acpi/bus.c
1251
case ACPI_IRQ_MODEL_GIC_V5:
drivers/irqchip/irq-gic-v5.c
1227
acpi_set_irq_model(ACPI_IRQ_MODEL_GIC_V5, gic_v5_get_gsi_domain_id);