/* This file is part of the Simba project.  */
int mock_write_tftp_server_init(struct inet_addr_t *addr_p, int timeout_ms, const char *name_p, const char *root_p, void *stack_p, size_t stack_size, int res)
/* This file is part of the Simba project.  */
int mock_write_tftp_server_init(struct inet_addr_t *addr_p, int timeout_ms, const char *name_p, const char *root_p, void *stack_p, size_t stack_size, int res)
{
    harness_mock_write("tftp_server_init(addr_p)",
                       addr_p,
                       sizeof(*addr_p));
    harness_mock_write("tftp_server_init(timeout_ms)",
                       &timeout_ms,
                       sizeof(timeout_ms));
    harness_mock_write("tftp_server_init(name_p)",
                       name_p,
                       strlen(name_p) + 1);
    harness_mock_write("tftp_server_init(root_p)",
                       root_p,
                       strlen(root_p) + 1);
    harness_mock_write("tftp_server_init(stack_p)",
                       stack_p,
                       sizeof(stack_p));
    harness_mock_write("tftp_server_init(stack_size)",
                       &stack_size,
                       sizeof(stack_size));
    harness_mock_write("tftp_server_init(): return (res)",
                       &res,
                       sizeof(res));
    return (0);
}