1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef __S390_ASM_VDSO_DATA_H
3 #define __S390_ASM_VDSO_DATA_H
5 #include <linux/types.h>
6 #include <vdso/datapage.h>
8 struct arch_vdso_data
{
9 __u64 tod_steering_delta
;
10 __u64 tod_steering_end
;
13 #endif /* __S390_ASM_VDSO_DATA_H */