The pinout diagram for the Teensy 4.0 seems to be missing the MISO1 pin. There are pins for MOSI1, and SCK1. (CS1 is also missing, but in most cases ANY pin can be assigned for that).
There are pins for MISO2, MOSI2, SCK2, and CS2, though they seem to be dedicated to the built in SD card interface.