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
8struct arch_vdso_data {
9	__s64 tod_steering_delta;
10	__u64 tod_steering_end;
11};
12
13#endif /* __S390_ASM_VDSO_DATA_H */
14