/* This file is part of the Simba project.  */
int mock_write_upgrade_kermit_init(void *chin_p, void *chout_p, int res)
/* This file is part of the Simba project.  */
int mock_write_upgrade_kermit_init(void *chin_p, void *chout_p, int res)
{
    harness_mock_write("upgrade_kermit_init(chin_p)",
                       chin_p,
                       sizeof(chin_p));
    harness_mock_write("upgrade_kermit_init(chout_p)",
                       chout_p,
                       sizeof(chout_p));
    harness_mock_write("upgrade_kermit_init(): return (res)",
                       &res,
                       sizeof(res));
    return (0);
}