riscv_acpi_get_gsi_domain_id
struct fwnode_handle *riscv_acpi_get_gsi_domain_id(u32 gsi);
acpi_set_irq_model(ACPI_IRQ_MODEL_RINTC, riscv_acpi_get_gsi_domain_id);