#define _GNU_SOURCE
#include <pthread.h>

#include "gamesync.h"

void
tell_everyone_to_recheck_the_game_state(void)
{
}

void 
wait_for_game_state_change(struct player_sync_helper *player)
{
}

void
ensure_exclusive_access_to_the_game_table(struct player_sync_helper *player)
{
}

void 
relinquish_exclusive_access_to_the_game_table(struct player_sync_helper *player)
{
}

void
init_game_synchronization(void)
{
}