trace_clock_counter
extern u64 notrace trace_clock_counter(void);
{ trace_clock_counter, "counter", 0 },