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