blob: ecda3313100834896c7b9fe1c0d9dff6130239bc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#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;
}
#endif /* LOCKCOUNT */
|