int MPEi_CounterFree(MPI_Win counter_win, int keyval, void *attr_val, void *extra_state) { int counter_flag, *counterMem; MPI_Win_get_attr(counter_win, MPI_WIN_BASE, &counterMem, &counter_flag); /* Free the memory used by the counter */ if (counter_flag && counterMem) MPI_Free_mem(counterMem); return MPI_SUCCESS; }