void __attribute__((__interrupt__, auto_psv)) _T1Interrupt(void) {..} void __attribute__((__interrupt__, auto_psv)) _T2Interrupt(void) {..}