/* This file is part of the Simba project.  */
int mock_write_crc_32(uint32_t crc, const void *buf_p, size_t size, uint32_t res)
/* This file is part of the Simba project.  */
int mock_write_crc_32(uint32_t crc, const void *buf_p, size_t size, uint32_t res)
{
    harness_mock_write("crc_32(crc)",
                       &crc,
                       sizeof(crc));
    harness_mock_write("crc_32(buf_p)",
                       buf_p,
                       size);
    harness_mock_write("crc_32(size)",
                       &size,
                       sizeof(size));
    harness_mock_write("crc_32(): return (res)",
                       &res,
                       sizeof(res));
    return (0);
}