how to find out IRQ end user

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?