#include #include #include #ifdef LOCKCOUNT u_int64_t lockcounter; void lockcount_locked(void){ lockcounter += 1; if(lockcounter%10000==0){ printf("Locks acquired: %llu\n", lockcounter); } } #endif /* LOCKCOUNT */