/* Gets the interrupt handler of the current event at the  */
__int_handler _get_interrupt_handler(uint32_t int_level)
/* Gets the interrupt handler of the current event at the  */
__int_handler _get_interrupt_handler(uint32_t int_level)
{
	uint32_t int_grp = AVR32_INTC.icr[AVR32_INTC_INT3 - int_level];
	uint32_t 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;
}