That is true for the 1062 MCU based Teensy units. The MCU design for fast I/O implemented in PJRC startup puts port 6789 I/O on that single interrupt handler.
That is not the case for T_3.x or T_LC. It is important to note what Teensy is in use.
Thanks. I'm using Teensy 4.0, so I'm good. I only need to handle about 800 kHz, and I also discovered in this process that my ISR was overrunning that time period, not a good thing.