1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef __VDSO_TIME32_H
3#define __VDSO_TIME32_H
4
5typedef s32 old_time32_t;
6
7struct old_timespec32 {
8 old_time32_t tv_sec;
9 s32 tv_nsec;
10};
11
12struct old_timeval32 {
13 old_time32_t tv_sec;
14 s32 tv_usec;
15};
16
17#endif /* __VDSO_TIME32_H */
18