/* This file is part of the Simba project.  */
int mock_write_uart_soft_init(struct pin_device_t *tx_dev_p, struct pin_device_t *rx_dev_p, struct exti_device_t *rx_exti_dev_p, int baudrate, void *rxbuf_p, size_t size, int res)
/* This file is part of the Simba project.  */
int mock_write_uart_soft_init(struct pin_device_t *tx_dev_p, struct pin_device_t *rx_dev_p, struct exti_device_t *rx_exti_dev_p, int baudrate, void *rxbuf_p, size_t size, int res)
{
    harness_mock_write("uart_soft_init(tx_dev_p)",
                       tx_dev_p,
                       sizeof(*tx_dev_p));
    harness_mock_write("uart_soft_init(rx_dev_p)",
                       rx_dev_p,
                       sizeof(*rx_dev_p));
    harness_mock_write("uart_soft_init(rx_exti_dev_p)",
                       rx_exti_dev_p,
                       sizeof(*rx_exti_dev_p));
    harness_mock_write("uart_soft_init(baudrate)",
                       &baudrate,
                       sizeof(baudrate));
    harness_mock_write("uart_soft_init(rxbuf_p)",
                       rxbuf_p,
                       size);
    harness_mock_write("uart_soft_init(size)",
                       &size,
                       sizeof(size));
    harness_mock_write("uart_soft_init(): return (res)",
                       &res,
                       sizeof(res));
    return (0);
}