/* Defines COUNTER.  There must be exactly one such definition at file scope

 * within a program. */

#define COVERAGE_DEFINE(COUNTER)                                        \

        DEFINE_STATIC_PER_THREAD_DATA(unsigned int,                     \

                                      counter_##COUNTER, );            \

        static unsigned int COUNTER##_count(void)                       \

        {                                                               \

            unsigned int *countp = counter_##COUNTER##_get();           \

            unsigned int count = *countp;                               \

            *countp = ;                                                \

            return count;                                               \

        }                                                               \

        static inline void COUNTER##_add(unsigned int n)                \

        {                                                               \

            *counter_##COUNTER##_get() += n;                            \

        }                                                               \

        extern struct coverage_counter counter_##COUNTER;               \

        struct coverage_counter counter_##COUNTER                       \

            = { #COUNTER, COUNTER##_count, , , {}, {} };            \

        OVS_CONSTRUCTOR(COUNTER##_init) {                               \

            coverage_counter_register(&counter_##COUNTER);              \

        }