irq_get_vtable_handler() function
Get the current IRQ handler for the specified IRQ from the currently installed hardware vector table (VTOR) of the execution core
Arguments
num
Interrupt number interrupt_nums
Return value
the address stored in the VTABLE for the given irq number