I'm developping a simple GPIO driver for a SoC running linux (newbie's level), I am facing problem because IRQ numbers are different from those in datasheets.
I've learned that effective IRQ manager may create IRQ domains. However the
unsigned int irq_find_mapping(struct irq_domain *domain, irq_hw_number_t hwirq)
needs a domain structure. How can I list the available domain for my plateform.