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