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