/* This file is part of the Simba project.  */
int mock_write_hash_map_init(struct hash_map_bucket_t *buckets_p, size_t buckets_max, struct hash_map_entry_t *entries_p, size_t entries_max, hash_function_t hash, int res)
/* This file is part of the Simba project.  */
int mock_write_hash_map_init(struct hash_map_bucket_t *buckets_p, size_t buckets_max, struct hash_map_entry_t *entries_p, size_t entries_max, hash_function_t hash, int res)
{
    harness_mock_write("hash_map_init(buckets_p)",
                       buckets_p,
                       sizeof(*buckets_p));
    harness_mock_write("hash_map_init(buckets_max)",
                       &buckets_max,
                       sizeof(buckets_max));
    harness_mock_write("hash_map_init(entries_p)",
                       entries_p,
                       sizeof(*entries_p));
    harness_mock_write("hash_map_init(entries_max)",
                       &entries_max,
                       sizeof(entries_max));
    harness_mock_write("hash_map_init(hash)",
                       &hash,
                       sizeof(hash));
    harness_mock_write("hash_map_init(): return (res)",
                       &res,
                       sizeof(res));
    return (0);
}