Get the PinMux Spreadsheet and check the Column 1 like SPI1_CLK and Column 5/6/7 to find the function configure like SPI4_CLK,
The SPI4_* is the HW function name start from 1 and minus 1 to get software bus due to started from 0.
So you can get the SPI1_* is the /dev/spidev3.x
According to what you said, I conclude the following:
Jetson SOM connector name - SFIO or configured function name - linux spidev name
SPI1 - SPI4 - spidev3.x
SPI2 - SPI1 - spidev0.x
SPI0 - SPI2 - spidev1.x