/* This file is part of the Simba project.  */
int mock_write_ds3231_init(struct i2c_driver_t *i2c_p, int res)
/* This file is part of the Simba project.  */
int mock_write_ds3231_init(struct i2c_driver_t *i2c_p, int res)
{
    harness_mock_write("ds3231_init(i2c_p)",
                       i2c_p,
                       sizeof(*i2c_p));
    harness_mock_write("ds3231_init(): return (res)",
                       &res,
                       sizeof(res));
    return (0);
}