1/* SPDX-License-Identifier: GPL-2.0 WITH Linux-syscall-note */
2#ifndef _ASM_X86_SEMBUF_H
3#define _ASM_X86_SEMBUF_H
4
5/*
6 * The semid64_ds structure for x86 architecture.
7 * Note extra padding because this structure is passed back and forth
8 * between kernel and user space.
9 *
10 * Pad space is left for:
11 * - 64-bit time_t to solve y2038 problem
12 * - 2 miscellaneous 32-bit values
13 */
14struct semid64_ds {
15	struct ipc64_perm sem_perm;	/* permissions .. see ipc.h */
16	__kernel_time_t	sem_otime;	/* last semop time */
17	__kernel_ulong_t __unused1;
18	__kernel_time_t	sem_ctime;	/* last change time */
19	__kernel_ulong_t __unused2;
20	__kernel_ulong_t sem_nsems;	/* no. of semaphores in array */
21	__kernel_ulong_t __unused3;
22	__kernel_ulong_t __unused4;
23};
24
25#endif /* _ASM_X86_SEMBUF_H */
26