1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef __VDSO_TIME_H
3#define __VDSO_TIME_H
4
5#include <uapi/linux/types.h>
6
7struct timens_offset {
8	s64	sec;
9	u64	nsec;
10};
11
12#endif /* __VDSO_TIME_H */
13