static inline int cvmx_spi_restart_interface(int interface,
					cvmx_spi_mode_t mode, int timeout)
static inline int cvmx_spi_restart_interface(int interface,
					     cvmx_spi_mode_t mode, int timeout)