__HAVE_CPU_COUNTER
#ifndef __HAVE_CPU_COUNTER
#if defined(_KERNEL) && defined(__HAVE_CPU_COUNTER) && NLOCKSTAT > 0
#if defined(_KERNEL) && defined(__HAVE_CPU_COUNTER)
#ifdef __HAVE_CPU_COUNTER
#ifdef __HAVE_CPU_COUNTER
#ifdef __HAVE_CPU_COUNTER
#if defined(SYSCALL_TIMES) && defined(__HAVE_CPU_COUNTER)