| // SPDX-License-Identifier: GPL-2.0 | |
| #include <linux/trace_clock.h> | |
| #include <linux/timex.h> | |
| /* | |
| * trace_clock_s390_tod(): trace clock based on the s390 TOD clock | |
| * | |
| * Unlike the other clocks, this is not in nanoseconds. | |
| */ | |
| u64 notrace trace_clock_s390_tod(void) | |
| { | |
| return get_tod_clock(); | |
| } |