Multiple SPI devices on Jetson TK1

Has anybody had any success in using multiple SPI devices (multiple chip selects) on the Tegra114 SPI controller on the Jetson TK1?

I’m still trying to wrap my head around how to map other MPIO pins to be used as CS1…3 on the same controller. Currently, the spi-tegra114 driver seems to treat all chip selects as the pin currently mapped to SPI1A_CS0.