the GPIO interrupts are managed with attachInterrupt() as you note. The work is done in hardware/teensy/avr/cores/teensy3/pins_teensy.c
You can configure individual pins for interrupt, but there is...