void    r_atuiv_timerknm_overflow_interrupt ( void );

void    r_atuiv_timerknm_overflow1_interrupt ( void );

void    r_atuiv_timerknm_overflow2_interrupt ( void );

Remark

k is the timer kind, n is the unit number, m is the channel number.