// 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();
}