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