ISR für externen Interrupt bei ATSAMD51G19?

Hi,

ich habe mir mit Hilfe von ATMEL Start einen ATSAMD51 konfiguriert, der 
auf externe Interrupts (fallende Flanke) auf PA06 und (beide Flanken) 
PA05 reagieren soll. So weit macht das ja ATMEL Start, allerdings sehe 
ich jetzt nicht, wo der Interrupt ankommt. Deswegen: wie müssen die 
ISR-Funktionen für EXTINT/5 und EXTINT/6 heißen, damit es funktioniert?

Danke!