trace_clock_s390_tod
{ trace_clock_s390_tod, "s390-tod", .in_ns = 0 },
u64 notrace trace_clock_s390_tod(void);