#ifndef _LINUX_TIME32_H
#define _LINUX_TIME32_H
#include <linux/time64.h>
#include <linux/timex.h>
#include <vdso/time32.h>
struct old_itimerspec32 { … };
struct old_utimbuf32 { … };
struct old_timex32 { … };
extern int get_old_timespec32(struct timespec64 *, const void __user *);
extern int put_old_timespec32(const struct timespec64 *, void __user *);
extern int get_old_itimerspec32(struct itimerspec64 *its,
const struct old_itimerspec32 __user *uits);
extern int put_old_itimerspec32(const struct itimerspec64 *its,
struct old_itimerspec32 __user *uits);
struct __kernel_timex;
int get_old_timex32(struct __kernel_timex *, const struct old_timex32 __user *);
int put_old_timex32(struct old_timex32 __user *, const struct __kernel_timex *);
extern struct __kernel_old_timeval ns_to_kernel_old_timeval(s64 nsec);
#endif