As stated in my original post, I wanted to know the NVIC IRQ entry given the pin number.
After poking around in pins_teensy.c, I just found a technique implemented in getIsrTable().
Thanks anyway.
After poking around in pins_teensy.c, I just found a technique implemented in getIsrTable().