/* This file is part of the Simba project.  */
int mock_write_mcp2515_init(struct spi_device_t *spi_p, struct pin_device_t *cs_p, struct exti_device_t *exti_p, void *chin_p, int mode, int speed, int res)
/* This file is part of the Simba project.  */
int mock_write_mcp2515_init(struct spi_device_t *spi_p, struct pin_device_t *cs_p, struct exti_device_t *exti_p, void *chin_p, int mode, int speed, int res)
{
    harness_mock_write("mcp2515_init(spi_p)",
                       spi_p,
                       sizeof(*spi_p));
    harness_mock_write("mcp2515_init(cs_p)",
                       cs_p,
                       sizeof(*cs_p));
    harness_mock_write("mcp2515_init(exti_p)",
                       exti_p,
                       sizeof(*exti_p));
    harness_mock_write("mcp2515_init(chin_p)",
                       chin_p,
                       sizeof(chin_p));
    harness_mock_write("mcp2515_init(mode)",
                       &mode,
                       sizeof(mode));
    harness_mock_write("mcp2515_init(speed)",
                       &speed,
                       sizeof(speed));
    harness_mock_write("mcp2515_init(): return (res)",
                       &res,
                       sizeof(res));
    return (0);
}