From: Ben Hutchings <bhutchings@solarflare.com>Date: Tue, 5 Mar 2013 16:43:01 +0000> In general it appears to require a run-time check. You might need to> augment <asm/timex.h>.On the other hand, unlike get_cycles, sched_clock() is always available.