time_data.h

 1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef __S390_ASM_VDSO_TIME_DATA_H
 3#define __S390_ASM_VDSO_TIME_DATA_H
 4
 5#include <linux/types.h>
 6
 7struct arch_vdso_time_data {
 8	__s64 tod_delta;
 9};
10
11#endif /* __S390_ASM_VDSO_TIME_DATA_H */