Subject: Re: Problem with clock_gettime()
To: None <>
From: Martin Husemann <>
List: tech-kern
Date: 11/24/2003 19:52:01
Ever simpler (and MI) on archs that have __HAVE_CPU_COUNTER defined (on
-current, at least):

use cpu_hascounter() to test if the current CPU supports it and then use
cpu_counter() to query it, and divide by cpu_frequency(curcpu()) if you
need seconds (all defined in sys/cpu_counter.h)