/* This file is part of the Simba project.  */
int mock_write_sd_init(struct spi_driver_t *spi_p, int res)
/* This file is part of the Simba project.  */
int mock_write_sd_init(struct spi_driver_t *spi_p, int res)
{
    harness_mock_write("sd_init(): return (spi_p)",
                       spi_p,
                       sizeof(*spi_p));
    harness_mock_write("sd_init(): return (res)",
                       &res,
                       sizeof(res));
    return (0);
}