#ifndef __KREE_INC_COUNTER #define __KREE_INC_COUNTER /* enable counter implementation */ #define ENABLE_INC_ONLY_COUNTER int update_counter_thread(void *data); #endif