12345678910111213/* SPDX-License-Identifier: GPL-2.0 */#ifndef __VDSO_TIME_H#define __VDSO_TIME_H #include <uapi/linux/types.h> struct timens_offset { s64 sec; u64 nsec;}; #endif /* __VDSO_TIME_H */