1 // SPDX-License-Identifier: GPL-2.0 2 #include <linux/trace_clock.h> 3 #include <linux/timex.h> 4 /* 5 * trace_clock_s390_tod(): trace clock based on the s390 TOD clock 6 * 7 * Unlike the other clocks, this is not in nanoseconds. 8 */ 9 u64 notrace trace_clock_s390_tod(void) 10 { 11 return get_tod_clock(); 12 } 13