acpi_rintc_get_imsic_mmio_info
int __init acpi_rintc_get_imsic_mmio_info(u32 index, struct resource *res);
return acpi_rintc_get_imsic_mmio_info(index, res);