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