1/* SPDX-License-Identifier: GPL-2.0+ WITH Linux-syscall-note */
2#ifndef _ASM_POWERPC_SEMBUF_H
3#define _ASM_POWERPC_SEMBUF_H
4
5#include <asm/ipcbuf.h>
6
7/*
8 * This program is free software; you can redistribute it and/or
9 * modify it under the terms of the GNU General Public License
10 * as published by the Free Software Foundation; either version
11 * 2 of the License, or (at your option) any later version.
12 */
13
14/*
15 * The semid64_ds structure for PPC architecture.
16 * Note extra padding because this structure is passed back and forth
17 * between kernel and user space.
18 *
19 * Pad space is left for:
20 * - 2 miscellaneous 32/64-bit values
21 */
22
23struct semid64_ds {
24	struct ipc64_perm sem_perm;	/* permissions .. see ipc.h */
25#ifndef __powerpc64__
26	unsigned long	sem_otime_high;
27	unsigned long	sem_otime;	/* last semop time */
28	unsigned long	sem_ctime_high;
29	unsigned long	sem_ctime;	/* last change time */
30#else
31	long		sem_otime;	/* last semop time */
32	long		sem_ctime;	/* last change time */
33#endif
34	unsigned long	sem_nsems;	/* no. of semaphores in array */
35	unsigned long	__unused3;
36	unsigned long	__unused4;
37};
38
39#endif	/* _ASM_POWERPC_SEMBUF_H */
40