Subject: Re: Problem with clock_gettime()
To: None <wolfgang+gnus20031124T054217@dailyplanet.dontspam.wsrcc.com>
From: Martin Husemann <martin@duskware.de>
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)

Martin