text: /*
   * Copyright (C) 2017 Michel Rottleuthner <michel.rottleuthner@haw-hamburg.de>
   *
   * This file is subject to the terms and conditions of the GNU Lesser
   * General Public License v2.1. See the file LICENSE in the top level
   * directory for more details.
   */
  
  /**
   * @ingroup     sys_auto_init
   * @{
   *
   * @file
   * @brief       Auto initialization for sd-cards connected over spi
   *
   * @author      Michel Rottleuthner <michel.rottleuthner@haw-hamburg.de>
   */
  
  #ifdef MODULE_SDCARD_SPI
  
  #include "log.h"
  #include "sdcard_spi.h"
  #include "sdcard_spi_params.h"
  
  #define ENABLE_DEBUG    (0)
  #include "debug.h"
  
  /**
   * @brief   number of used sd cards
   * @{
   */
  #define SDCARD_SPI_NUM ARRAY_SIZE(sdcard_spi_params)
  /** @} */
  
  /**
   * @brief   Allocate memory for the device descriptors
   * @{
   */
  sdcard_spi_t sdcard_spi_devs[SDCARD_SPI_NUM];
  /** @} */
  
  void auto_init_sdcard_spi(void)
  {
      for (unsigned i = 0; i < SDCARD_SPI_NUM; i++) {
          LOG_DEBUG("[auto_init_storage] initializing sdcard_spi #%u\n", i);
  
          if (sdcard_spi_init(&sdcard_spi_devs[i], &sdcard_spi_params[i]) !=
              SDCARD_SPI_OK) {
              LOG_ERROR("[auto_init_storage] error initializing sdcard_spi #%u\n", i);
          }
      }
  }
  
  #else
  typedef int dont_be_pedantic;
  #endif /* MODULE_SDCARD_SPI */
  /** @} */
  