Symbol: ACPI_IRQ_MODEL_RINTC
drivers/acpi/bus.c
1260
case ACPI_IRQ_MODEL_RINTC:
drivers/irqchip/irq-riscv-intc.c
387
acpi_set_irq_model(ACPI_IRQ_MODEL_RINTC, riscv_acpi_get_gsi_domain_id);