/* This file is part of the Simba project.  */
int mock_write_upgrade_tftp_init(int port, int timeout_ms, int res)
/* This file is part of the Simba project.  */
int mock_write_upgrade_tftp_init(int port, int timeout_ms, int res)
{
    harness_mock_write("upgrade_tftp_init(port)",
                       &port,
                       sizeof(port));
    harness_mock_write("upgrade_tftp_init(timeout_ms)",
                       &timeout_ms,
                       sizeof(timeout_ms));
    harness_mock_write("upgrade_tftp_init(): return (res)",
                       &res,
                       sizeof(res));
    return (0);
}