CTL_SPI_BUS_t *platform_spi_bus(int index);
platform_spi_bus returns the driver for the SPI bus index. If index does not correspond to a logical platform bus, platform_spi_bus returns zero.