5045 use atomic_{inc,dec}_* instead of atomic_add_*
@@ -4427,12 +4427,12 @@ #if defined(DEBUG) static uint32_t nprnode; static uint32_t nprcommon; -#define INCREMENT(x) atomic_add_32(&x, 1); -#define DECREMENT(x) atomic_add_32(&x, -1); +#define INCREMENT(x) atomic_inc_32(&x); +#define DECREMENT(x) atomic_dec_32(&x); #else #define INCREMENT(x) #define DECREMENT(x)