ti_sci_get_num_resources
EXPORT_SYMBOL_GPL(ti_sci_get_num_resources);
domain = irq_domain_create_linear(dev_fwnode(dev), ti_sci_get_num_resources(inta->vint),
u32 ti_sci_get_num_resources(struct ti_sci_resource *res);