blob: 43ba27ee1eb9a57844d5b904c014b460b0c4e791 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#include <arch/x86/include/cpufunc.h>
#include <sys/lockdebug.h>
#include <sys/lockcount.h>
#ifdef LOCKCOUNT
u_int64_t lockcounter;
void lockcount_locked(void){
lockcounter += 1;
if(lockcounter%10000==0){
printf("Locks acquired: %llu\n", lockcounter);
}
}
#endif /* LOCKCOUNT */
|