/* SPDX-License-Identifier: GPL-2.0 */ #ifndef __VDSO_TIME32_H #define __VDSO_TIME32_H typedef s32 old_time32_t; struct old_timespec32 { old_time32_t tv_sec; s32 tv_nsec; }; struct old_timeval32 { old_time32_t tv_sec; s32 tv_usec; }; #endif /* __VDSO_TIME32_H */