/* Gets the interrupt handler of the current event at the  */
__int_handler _get_interrupt_handler(unsigned int int_lev)
/* Gets the interrupt handler of the current event at the  */
__int_handler _get_interrupt_handler(unsigned int int_lev)
{
  unsigned int int_grp = (&AVR32_INTC.icr3)[INT3 - int_lev];
  unsigned int int_req = AVR32_INTC.irr[int_grp];
  return (int_req) ? _int_handler_table[int_grp]._int_line_handler_table[32 - clz(int_req) - 1] : NULL;
}