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 */