LOCKSTAT_COUNTER
#define LOCKSTAT_COUNTER(name) uint64_t name = 0
#define LOCKSTAT_COUNTER(void) /* nothing */