Get HW IRQ number from Linux IRQ

driver.c

static long long irq_to_hwirq(unsigned int irq)
{
	struct irq_data *irq_data;
	
	irq_data = irq_get_irq_data(irq);

	if (irq_data == NULL)
	{
		pr_err("driver: unable to find irq %u descriptor.\n", irq);
		return -EINVAL;
	}
	
	return irqd_to_hwirq(irq_data); 
}