#include <stdlib.h>
#include <stdint.h>

#include "encoding.h"
#include "platform.h"
#include "board.h"

#include "eos.h"

#include "spi.h"

#include "drv/sdcard.h"
#include "sdcard.h"

#define SDC_DETECT_TIMEOUT      1000

int eos_sdc_init(void) {
    clear_csr(mstatus, MSTATUS_MIE);
    GPIO_REG(GPIO_OUTPUT_VAL)   |= (1 << SPI_CSPIN_SDC);
    set_csr(mstatus, MSTATUS_MIE);
    GPIO_REG(GPIO_OUTPUT_EN)    |= (1 << SPI_CSPIN_SDC);

    return EOS_OK;
}

int eos_sdc_insert(int sdc_det, uint32_t timeout) {
    if (timeout == 0) timeout = SDC_DETECT_TIMEOUT;
    if (sdc_det) {
        int rv;

        eos_spi_set_div(EOS_SPI_DEV_SDC, 1024);     // 100 - 400 kHz

        rv = eos_spi_select(EOS_SPI_DEV_SDC);
        if (rv) goto sdc_insert_fin;

        rv = sdc_init(timeout);
        if (rv) rv = EOS_ERR_NOTFOUND;
        eos_spi_deselect();

sdc_insert_fin:
        eos_spi_set_div(EOS_SPI_DEV_SDC, SPI_DIV_SDC);
        if (rv) return rv;
    } else {
        sdc_clear();
    }

    return EOS_OK;
}