how to find out IRQ end user

[Matwey V. Kornilov]

Hello,

>From /sys/kernel/debug/tracing I see the following points:

<idle>-0     [000] d.h1  2388.136032: irq_handler_entry: irq=16
name=gp_timer

Is there a simple way to figure out what is the exact final function
called to handle this IRQ?