xnu-1699.22.73.tar.gz

[apple/xnu.git] / bsd / kern / sysv_sem.c

diff --git a/bsd/kern/sysv_sem.c b/bsd/kern/sysv_sem.c
index 21333d1f0f21dde87a24cd6b86ba1263b345c7c1..ed43ec893ab289f8bb21494ee1abec7bfbd5525b 100644 (file)
--- a/bsd/kern/sysv_sem.c
+++ b/bsd/kern/sysv_sem.c
@@ -1,23 +1,29 @@
 /*
 /*

- * Copyright (c) 2000-2004 Apple Computer, Inc. All rights reserved.
+ * Copyright (c) 2000-2007 Apple Inc. All rights reserved.

  *
  *

- * @APPLE_LICENSE_HEADER_START@
+ * @APPLE_OSREFERENCE_LICENSE_HEADER_START@

  * 
  * 

- * The contents of this file constitute Original Code as defined in and
- * are subject to the Apple Public Source License Version 1.1 (the
- * "License").  You may not use this file except in compliance with the
- * License.  Please obtain a copy of the License at
- * http://www.apple.com/publicsource and read it before using this file.
+ * This file contains Original Code and/or Modifications of Original Code
+ * as defined in and that are subject to the Apple Public Source License
+ * Version 2.0 (the 'License'). You may not use this file except in
+ * compliance with the License. The rights granted to you under the License
+ * may not be used to create, or enable the creation or redistribution of,
+ * unlawful or unlicensed copies of an Apple operating system, or to
+ * circumvent, violate, or enable the circumvention or violation of, any
+ * terms of an Apple operating system software license agreement.

  * 
  * 

- * This Original Code and all software distributed under the License are
- * distributed on an "AS IS" basis, WITHOUT WARRANTY OF ANY KIND, EITHER
+ * Please obtain a copy of the License at
+ * http://www.opensource.apple.com/apsl/ and read it before using this file.
+ * 
+ * The Original Code and all software distributed under the License are
+ * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER

  * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
  * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
  * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
  * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,

- * FITNESS FOR A PARTICULAR PURPOSE OR NON-INFRINGEMENT.  Please see the
- * License for the specific language governing rights and limitations
- * under the License.
+ * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
+ * Please see the License for the specific language governing rights and
+ * limitations under the License.

  * 
  * 

- * @APPLE_LICENSE_HEADER_END@
+ * @APPLE_OSREFERENCE_LICENSE_HEADER_END@

  */
 /*
  * Implementation of SVID semaphores
  */
 /*
  * Implementation of SVID semaphores


@@ -29,6 +35,13 @@
 /*
  * John Bellardo modified the implementation for Darwin. 12/2000
  */
 /*
  * John Bellardo modified the implementation for Darwin. 12/2000
  */

+/*
+ * NOTICE: This file was modified by McAfee Research in 2004 to introduce
+ * support for mandatory and extensible security protections.  This notice
+ * is included in support of clause 2.2 (b) of the Apple Public License,
+ * Version 2.0.
+ * Copyright (c) 2005-2006 SPARTA, Inc.
+ */

 
 #include <sys/param.h>
 #include <sys/systm.h>
 
 #include <sys/param.h>
 #include <sys/systm.h>


@@ -45,13 +58,26 @@
 #include <sys/ipcs.h>
 #include <sys/sysent.h>
 #include <sys/sysproto.h>
 #include <sys/ipcs.h>
 #include <sys/sysent.h>
 #include <sys/sysproto.h>

+#if CONFIG_MACF
+#include <security/mac_framework.h>
+#endif

 
 

-#include <bsm/audit_kernel.h>
+#include <security/audit/audit.h>
+
+#if SYSV_SEM

 
 
 /* Uncomment this line to see the debugging output */
 /* #define SEM_DEBUG */
 
 
 
 /* Uncomment this line to see the debugging output */
 /* #define SEM_DEBUG */
 

+/* Uncomment this line to see MAC debugging output. */
+/* #define     MAC_DEBUG */
+#if CONFIG_MACF_DEBUG
+#define        MPRINTF(a)      printf(a)
+#else
+#define        MPRINTF(a)
+#endif
+

 #define M_SYSVSEM      M_TEMP
 
 
 #define M_SYSVSEM      M_TEMP
 
 


@@ -89,8 +115,8 @@ struct seminfo seminfo = {
 };
 
 
 };
 
 

-static struct sem_undo *semu_alloc(struct proc *p);
-static int semundo_adjust(struct proc *p, struct sem_undo **supptr, 
+static int semu_alloc(struct proc *p);
+static int semundo_adjust(struct proc *p, int *supidx, 

                int semid, int semnum, int adjval);
 static void semundo_clear(int semid, int semnum);
 
                int semid, int semnum, int adjval);
 static void semundo_clear(int semid, int semnum);
 


@@ -101,9 +127,9 @@ static sy_call_t *semcalls[] = {
 };
 
 static int             semtot = 0;             /* # of used semaphores */
 };
 
 static int             semtot = 0;             /* # of used semaphores */

-struct user_semid_ds   *sema = NULL;           /* semaphore id pool */
+struct semid_kernel    *sema = NULL;           /* semaphore id pool */

 struct sem             *sem_pool =  NULL;      /* semaphore pool */
 struct sem             *sem_pool =  NULL;      /* semaphore pool */

-static struct sem_undo *semu_list = NULL;      /* active undo structures */
+static int             semu_list_idx = -1;     /* active undo structures */

 struct sem_undo                *semu = NULL;           /* semaphore undo pool */
 
 
 struct sem_undo                *semu = NULL;           /* semaphore undo pool */
 
 


@@ -122,12 +148,10 @@ sysv_sem_lock_init( void )
 {
 
     sysv_sem_subsys_lck_grp_attr = lck_grp_attr_alloc_init();
 {
 
     sysv_sem_subsys_lck_grp_attr = lck_grp_attr_alloc_init();

-    lck_grp_attr_setstat(sysv_sem_subsys_lck_grp_attr);

 
 

-    sysv_sem_subsys_lck_grp = lck_grp_alloc_init("sysv_shm_subsys_lock", sysv_sem_subsys_lck_grp_attr);
+    sysv_sem_subsys_lck_grp = lck_grp_alloc_init("sysv_sem_subsys_lock", sysv_sem_subsys_lck_grp_attr);

 
     sysv_sem_subsys_lck_attr = lck_attr_alloc_init();
 
     sysv_sem_subsys_lck_attr = lck_attr_alloc_init();

-    lck_attr_setdebug(sysv_sem_subsys_lck_attr); 

     lck_mtx_init(&sysv_sem_subsys_mutex, sysv_sem_subsys_lck_grp, sysv_sem_subsys_lck_attr);
 }
 
     lck_mtx_init(&sysv_sem_subsys_mutex, sysv_sem_subsys_lck_grp, sysv_sem_subsys_lck_attr);
 }
 


@@ -149,10 +173,20 @@ sysv_semtime(void)
  * NOTE: Source and target may *NOT* overlap! (target is smaller)
  */
 static void
  * NOTE: Source and target may *NOT* overlap! (target is smaller)
  */
 static void

-semid_ds_64to32(struct user_semid_ds *in, struct semid_ds *out)
+semid_ds_kernelto32(struct user_semid_ds *in, struct user32_semid_ds *out)
+{
+       out->sem_perm = in->sem_perm;
+       out->sem_base = CAST_DOWN_EXPLICIT(__int32_t,in->sem_base);
+       out->sem_nsems = in->sem_nsems;
+       out->sem_otime = in->sem_otime;         /* XXX loses precision */
+       out->sem_ctime = in->sem_ctime;         /* XXX loses precision */
+}
+
+static void
+semid_ds_kernelto64(struct user_semid_ds *in, struct user64_semid_ds *out)

 {
        out->sem_perm = in->sem_perm;
 {
        out->sem_perm = in->sem_perm;

-       out->sem_base = (__int32_t)in->sem_base;
+       out->sem_base = CAST_DOWN_EXPLICIT(__int32_t,in->sem_base);

        out->sem_nsems = in->sem_nsems;
        out->sem_otime = in->sem_otime;         /* XXX loses precision */
        out->sem_ctime = in->sem_ctime;         /* XXX loses precision */
        out->sem_nsems = in->sem_nsems;
        out->sem_otime = in->sem_otime;         /* XXX loses precision */
        out->sem_ctime = in->sem_ctime;         /* XXX loses precision */


@@ -169,25 +203,50 @@ semid_ds_64to32(struct user_semid_ds *in, struct semid_ds *out)
  * XXX is the same.
  */
 static void
  * XXX is the same.
  */
 static void

-semid_ds_32to64(struct semid_ds *in, struct user_semid_ds *out)
+semid_ds_32tokernel(struct user32_semid_ds *in, struct user_semid_ds *out)

 {
        out->sem_ctime = in->sem_ctime;
        out->sem_otime = in->sem_otime;
        out->sem_nsems = in->sem_nsems;
 {
        out->sem_ctime = in->sem_ctime;
        out->sem_otime = in->sem_otime;
        out->sem_nsems = in->sem_nsems;

-       out->sem_base = (void *)in->sem_base;
+       out->sem_base = (void *)(uintptr_t)in->sem_base;
+       out->sem_perm = in->sem_perm;
+}
+
+static void
+semid_ds_64tokernel(struct user64_semid_ds *in, struct user_semid_ds *out)
+{
+       out->sem_ctime = in->sem_ctime;
+       out->sem_otime = in->sem_otime;
+       out->sem_nsems = in->sem_nsems;
+       out->sem_base = (void *)(uintptr_t)in->sem_base;

        out->sem_perm = in->sem_perm;
 }
 
 
 /*
        out->sem_perm = in->sem_perm;
 }
 
 
 /*

- * Entry point for all SEM calls
+ * semsys
+ *
+ * Entry point for all SEM calls: semctl, semget, semop
+ *
+ * Parameters: p       Process requesting the call
+ *             uap     User argument descriptor (see below)
+ *             retval  Return value of the selected sem call
+ *
+ * Indirect parameters:        uap->which      sem call to invoke (index in array of sem calls)
+ *                     uap->a2         User argument descriptor
+ *                 
+ * Returns:    0       Success
+ *             !0      Not success
+ *
+ * Implicit returns: retval    Return value of the selected sem call
+ *
+ * DEPRECATED:  This interface should not be used to call the other SEM
+ *             functions (semctl, semget, semop). The correct usage is
+ *             to call the other SEM functions directly.

  *
  *

- * In Darwin this is no longer the entry point.  It will be removed after
- *  the code has been tested better.

  */
  */

-/* XXX actually varargs. */

 int
 int

-semsys(struct proc *p, struct semsys_args *uap, register_t *retval)
+semsys(struct proc *p, struct semsys_args *uap, int32_t *retval)

 {
 
        /* The individual calls handling the locking now */
 {
 
        /* The individual calls handling the locking now */


@@ -267,7 +326,7 @@ grow_semu_array(int newSize)
 static int
 grow_sema_array(int newSize)
 {
 static int
 grow_sema_array(int newSize)
 {

-       register struct user_semid_ds *newSema;
+       register struct semid_kernel *newSema;

        register int i;
 
        if (newSize <= seminfo.semmni)
        register int i;
 
        if (newSize <= seminfo.semmni)


@@ -286,8 +345,8 @@ grow_sema_array(int newSize)
 #ifdef SEM_DEBUG
        printf("growing sema[] from %d to %d\n", seminfo.semmni, newSize);
 #endif
 #ifdef SEM_DEBUG
        printf("growing sema[] from %d to %d\n", seminfo.semmni, newSize);
 #endif

-       MALLOC(newSema, struct user_semid_ds *,
-              sizeof (struct user_semid_ds) * newSize,
+       MALLOC(newSema, struct semid_kernel *,
+              sizeof (struct semid_kernel) * newSize,

               M_SYSVSEM, M_WAITOK | M_ZERO);
        if (NULL == newSema)
        {
               M_SYSVSEM, M_WAITOK | M_ZERO);
        if (NULL == newSema)
        {


@@ -307,11 +366,19 @@ grow_sema_array(int newSize)
                 * this with the existing code, so we wake up the
                 * process and let it do a lot of work to determine the
                 * semaphore set is really not available yet, and then
                 * this with the existing code, so we wake up the
                 * process and let it do a lot of work to determine the
                 * semaphore set is really not available yet, and then

-                * sleep on the correct, reallocated user_semid_ds pointer.
+                * sleep on the correct, reallocated semid_kernel pointer.

                 */
                 */

-               if (sema[i].sem_perm.mode & SEM_ALLOC)
+               if (sema[i].u.sem_perm.mode & SEM_ALLOC)

                        wakeup((caddr_t)&sema[i]);
        }
                        wakeup((caddr_t)&sema[i]);
        }

+
+#if CONFIG_MACF
+       for (i = seminfo.semmni; i < newSize; i++)
+       {
+               mac_sysvsem_label_init(&newSema[i]);
+       }
+#endif
+       

        /*
         * The new elements (from newSema[i] to newSema[newSize-1]) have their
         * "sem_base" and "sem_perm.mode" set to 0 (i.e. NULL) by the M_ZERO
        /*
         * The new elements (from newSema[i] to newSema[newSize-1]) have their
         * "sem_base" and "sem_perm.mode" set to 0 (i.e. NULL) by the M_ZERO


@@ -376,8 +443,8 @@ grow_sem_pool(int new_pool_size)
 
        /* Update our id structures to point to the new semaphores */
        for(i = 0; i < seminfo.semmni; i++) {
 
        /* Update our id structures to point to the new semaphores */
        for(i = 0; i < seminfo.semmni; i++) {

-               if (sema[i].sem_perm.mode & SEM_ALLOC)  /* ID in use */
-                       sema[i].sem_base += (new_sem_pool - sem_pool);
+               if (sema[i].u.sem_perm.mode & SEM_ALLOC)  /* ID in use */
+                       sema[i].u.sem_base += (new_sem_pool - sem_pool);

        }
 
        sem_free = sem_pool;
        }
 
        sem_free = sem_pool;


@@ -401,12 +468,12 @@ grow_sem_pool(int new_pool_size)
  * Assumes we already hold the subsystem lock.
  */
 
  * Assumes we already hold the subsystem lock.
  */
 

-static struct sem_undo *
+static int

 semu_alloc(struct proc *p)
 {
        register int i;
        register struct sem_undo *suptr;
 semu_alloc(struct proc *p)
 {
        register int i;
        register struct sem_undo *suptr;

-       register struct sem_undo **supptr;
+       int *supidx;

        int attempt;
 
        /*
        int attempt;
 
        /*


@@ -424,12 +491,12 @@ semu_alloc(struct proc *p)
                for (i = 0; i < seminfo.semmnu; i++) {
                        suptr = SEMU(i);
                        if (suptr->un_proc == NULL) {
                for (i = 0; i < seminfo.semmnu; i++) {
                        suptr = SEMU(i);
                        if (suptr->un_proc == NULL) {

-                               suptr->un_next = semu_list;
-                               semu_list = suptr;
+                               suptr->un_next_idx = semu_list_idx;
+                               semu_list_idx = i;

                                suptr->un_cnt = 0;
                                suptr->un_ent = NULL;
                                suptr->un_proc = p;
                                suptr->un_cnt = 0;
                                suptr->un_ent = NULL;
                                suptr->un_proc = p;

-                               return(suptr);
+                               return i;

                        }
                }
 
                        }
                }
 


@@ -442,14 +509,15 @@ semu_alloc(struct proc *p)
                        /* All the structures are in use - try to free some */
                        int did_something = 0;
 
                        /* All the structures are in use - try to free some */
                        int did_something = 0;
 

-                       supptr = &semu_list;
-                       while ((suptr = *supptr) != NULL) {
+                       supidx = &semu_list_idx;
+                       while (*supidx != -1) {
+                               suptr = SEMU(*supidx);

                                if (suptr->un_cnt == 0)  {
                                        suptr->un_proc = NULL;
                                if (suptr->un_cnt == 0)  {
                                        suptr->un_proc = NULL;

-                                       *supptr = suptr->un_next;
+                                       *supidx = suptr->un_next_idx;

                                        did_something = 1;
                                } else
                                        did_something = 1;
                                } else

-                                       supptr = &(suptr->un_next);
+                                       supidx = &(suptr->un_next_idx);

                        }
 
                        /* If we didn't free anything. Try expanding
                        }
 
                        /* If we didn't free anything. Try expanding


@@ -459,7 +527,7 @@ semu_alloc(struct proc *p)
                         */
                        if (!did_something)
                                if (!grow_semu_array(seminfo.semmnu + 1))
                         */
                        if (!did_something)
                                if (!grow_semu_array(seminfo.semmnu + 1))

-                                       return(NULL);
+                                       return -1;

                } else {
                        /*
                         * The second pass failed even though we freed
                } else {
                        /*
                         * The second pass failed even though we freed


@@ -469,7 +537,7 @@ semu_alloc(struct proc *p)
                        panic("semu_alloc - second attempt failed");
                }
        }
                        panic("semu_alloc - second attempt failed");
                }
        }

-       return (NULL);
+       return -1;

 }
 
 /*
 }
 
 /*


@@ -478,10 +546,11 @@ semu_alloc(struct proc *p)
  * Assumes we already hold the subsystem lock.
  */
 static int
  * Assumes we already hold the subsystem lock.
  */
 static int

-semundo_adjust(struct proc *p, struct sem_undo **supptr, int semid,
+semundo_adjust(struct proc *p, int *supidx, int semid,

        int semnum, int adjval)
 {
        register struct sem_undo *suptr;
        int semnum, int adjval)
 {
        register struct sem_undo *suptr;

+       int suidx;

        register struct undo *sueptr, **suepptr, *new_sueptr;
        int i;
 
        register struct undo *sueptr, **suepptr, *new_sueptr;
        int i;
 


@@ -489,22 +558,23 @@ semundo_adjust(struct proc *p, struct sem_undo **supptr, int semid,
         * Look for and remember the sem_undo if the caller doesn't provide it
         */
 
         * Look for and remember the sem_undo if the caller doesn't provide it
         */
 

-       suptr = *supptr;
-       if (suptr == NULL) {
-               for (suptr = semu_list; suptr != NULL;
-                   suptr = suptr->un_next) {
+       suidx = *supidx;
+       if (suidx == -1) {
+               for (suidx = semu_list_idx; suidx != -1;
+                   suidx = suptr->un_next_idx) {
+                       suptr = SEMU(suidx);

                        if (suptr->un_proc == p) {
                        if (suptr->un_proc == p) {

-                               *supptr = suptr;
+                               *supidx = suidx;

                                break;
                        }
                }
                                break;
                        }
                }

-               if (suptr == NULL) {
+               if (suidx == -1) {

                        if (adjval == 0)
                                return(0);
                        if (adjval == 0)
                                return(0);

-                       suptr = semu_alloc(p);
-                       if (suptr == NULL)
+                       suidx = semu_alloc(p);
+                       if (suidx == -1)

                                return(ENOSPC);
                                return(ENOSPC);

-                       *supptr = suptr;
+                       *supidx = suidx;

                }
        }
 
                }
        }
 


@@ -512,6 +582,7 @@ semundo_adjust(struct proc *p, struct sem_undo **supptr, int semid,
         * Look for the requested entry and adjust it (delete if adjval becomes
         * 0).
         */
         * Look for the requested entry and adjust it (delete if adjval becomes
         * 0).
         */

+       suptr = SEMU(suidx);

        new_sueptr = NULL;
        for (i = 0, suepptr = &suptr->un_ent, sueptr = suptr->un_ent;
             i < suptr->un_cnt;
        new_sueptr = NULL;
        for (i = 0, suepptr = &suptr->un_ent, sueptr = suptr->un_ent;
             i < suptr->un_cnt;


@@ -566,12 +637,14 @@ static void
 semundo_clear(int semid, int semnum)
 {
        struct sem_undo *suptr;
 semundo_clear(int semid, int semnum)
 {
        struct sem_undo *suptr;

+       int suidx;

 
 

-       for (suptr = semu_list; suptr != NULL; suptr = suptr->un_next) {
+       for (suidx = semu_list_idx; suidx != -1; suidx = suptr->un_next_idx) {

                struct undo *sueptr;
                struct undo **suepptr;
                int i = 0;
 
                struct undo *sueptr;
                struct undo **suepptr;
                int i = 0;
 

+               suptr = SEMU(suidx);

                sueptr = suptr->un_ent;
                suepptr = &suptr->un_ent;
                while (i < suptr->un_cnt) {
                sueptr = suptr->un_ent;
                suepptr = &suptr->un_ent;
                while (i < suptr->un_cnt) {


@@ -601,7 +674,7 @@ semundo_clear(int semid, int semnum)
  * because the alignment is the same in user and kernel space.
  */
 int
  * because the alignment is the same in user and kernel space.
  */
 int

-semctl(struct proc *p, struct semctl_args *uap, register_t *retval)
+semctl(struct proc *p, struct semctl_args *uap, int32_t *retval)

 {
        int semid = uap->semid;
        int semnum = uap->semnum;
 {
        int semid = uap->semid;
        int semnum = uap->semnum;


@@ -610,8 +683,7 @@ semctl(struct proc *p, struct semctl_args *uap, register_t *retval)
        kauth_cred_t cred = kauth_cred_get();
        int i, rval, eval;
        struct user_semid_ds sbuf;
        kauth_cred_t cred = kauth_cred_get();
        int i, rval, eval;
        struct user_semid_ds sbuf;

-       struct user_semid_ds *semaptr;
-       struct user_semid_ds uds;
+       struct semid_kernel *semakptr;

        
 
        AUDIT_ARG(svipc_cmd, cmd);
        
 
        AUDIT_ARG(svipc_cmd, cmd);


@@ -633,109 +705,121 @@ semctl(struct proc *p, struct semctl_args *uap, register_t *retval)
                goto semctlout;
        }
 
                goto semctlout;
        }
 

-       semaptr = &sema[semid];
-       if ((semaptr->sem_perm.mode & SEM_ALLOC) == 0 ||
-           semaptr->sem_perm.seq != IPCID_TO_SEQ(uap->semid)) {
+       semakptr = &sema[semid];
+       if ((semakptr->u.sem_perm.mode & SEM_ALLOC) == 0 ||
+           semakptr->u.sem_perm._seq != IPCID_TO_SEQ(uap->semid)) {

                eval = EINVAL;
                goto semctlout;
        }
                eval = EINVAL;
                goto semctlout;
        }

+#if CONFIG_MACF
+       eval = mac_sysvsem_check_semctl(cred, semakptr, cmd);
+       if (eval)
+               goto semctlout;
+#endif

 
        eval = 0;
        rval = 0;
 
        switch (cmd) {
        case IPC_RMID:
 
        eval = 0;
        rval = 0;
 
        switch (cmd) {
        case IPC_RMID:

-               if ((eval = ipcperm(cred, &semaptr->sem_perm, IPC_M))) 
+               if ((eval = ipcperm(cred, &semakptr->u.sem_perm, IPC_M))) 

                        goto semctlout;
 
                        goto semctlout;
 

-               semaptr->sem_perm.cuid = kauth_cred_getuid(cred);
-               semaptr->sem_perm.uid = kauth_cred_getuid(cred);
-               semtot -= semaptr->sem_nsems;
-               for (i = semaptr->sem_base - sem_pool; i < semtot; i++)
-                       sem_pool[i] = sem_pool[i + semaptr->sem_nsems];
+               semakptr->u.sem_perm.cuid = kauth_cred_getuid(cred);
+               semakptr->u.sem_perm.uid = kauth_cred_getuid(cred);
+               semtot -= semakptr->u.sem_nsems;
+               for (i = semakptr->u.sem_base - sem_pool; i < semtot; i++)
+                       sem_pool[i] = sem_pool[i + semakptr->u.sem_nsems];

                for (i = 0; i < seminfo.semmni; i++) {
                for (i = 0; i < seminfo.semmni; i++) {

-                       if ((sema[i].sem_perm.mode & SEM_ALLOC) &&
-                           sema[i].sem_base > semaptr->sem_base)
-                               sema[i].sem_base -= semaptr->sem_nsems;
+                       if ((sema[i].u.sem_perm.mode & SEM_ALLOC) &&
+                           sema[i].u.sem_base > semakptr->u.sem_base)
+                               sema[i].u.sem_base -= semakptr->u.sem_nsems;

                }
                }

-               semaptr->sem_perm.mode = 0;
+               semakptr->u.sem_perm.mode = 0;
+#if CONFIG_MACF
+               mac_sysvsem_label_recycle(semakptr);
+#endif

                semundo_clear(semid, -1);
                semundo_clear(semid, -1);

-               wakeup((caddr_t)semaptr);
+               wakeup((caddr_t)semakptr);

                break;
 
        case IPC_SET:
                break;
 
        case IPC_SET:

-               if ((eval = ipcperm(cred, &semaptr->sem_perm, IPC_M)))
+               if ((eval = ipcperm(cred, &semakptr->u.sem_perm, IPC_M)))

                                goto semctlout;
 
                if (IS_64BIT_PROCESS(p)) {
                                goto semctlout;
 
                if (IS_64BIT_PROCESS(p)) {

-                       eval = copyin(user_arg.buf, &sbuf, sizeof(struct user_semid_ds));
+                       struct user64_semid_ds ds64;
+                       eval = copyin(user_arg.buf, &ds64, sizeof(ds64));
+                       semid_ds_64tokernel(&ds64, &sbuf);

                } else {
                } else {

-                       eval = copyin(user_arg.buf, &sbuf, sizeof(struct semid_ds));
-                       /* convert in place; ugly, but safe */
-                       semid_ds_32to64((struct semid_ds *)&sbuf, &sbuf);
+                       struct user32_semid_ds ds32;
+                       eval = copyin(user_arg.buf, &ds32, sizeof(ds32));
+                       semid_ds_32tokernel(&ds32, &sbuf);

                }
                
                if (eval != 0) {
                        goto semctlout;
                }
 
                }
                
                if (eval != 0) {
                        goto semctlout;
                }
 

-               semaptr->sem_perm.uid = sbuf.sem_perm.uid;
-               semaptr->sem_perm.gid = sbuf.sem_perm.gid;
-               semaptr->sem_perm.mode = (semaptr->sem_perm.mode & ~0777) |
-                   (sbuf.sem_perm.mode & 0777);
-               semaptr->sem_ctime = sysv_semtime();
+               semakptr->u.sem_perm.uid = sbuf.sem_perm.uid;
+               semakptr->u.sem_perm.gid = sbuf.sem_perm.gid;
+               semakptr->u.sem_perm.mode = (semakptr->u.sem_perm.mode &
+                   ~0777) | (sbuf.sem_perm.mode & 0777);
+               semakptr->u.sem_ctime = sysv_semtime();

                break;
 
        case IPC_STAT:
                break;
 
        case IPC_STAT:

-               if ((eval = ipcperm(cred, &semaptr->sem_perm, IPC_R)))
+               if ((eval = ipcperm(cred, &semakptr->u.sem_perm, IPC_R)))

                                goto semctlout;
                                goto semctlout;

-               bcopy(semaptr, &uds, sizeof(struct user_semid_ds));
+

                if (IS_64BIT_PROCESS(p)) {
                if (IS_64BIT_PROCESS(p)) {

-                       eval = copyout(&uds, user_arg.buf, sizeof(struct user_semid_ds));
+                       struct user64_semid_ds semid_ds64;
+                       semid_ds_kernelto64(&semakptr->u, &semid_ds64);
+                       eval = copyout(&semid_ds64, user_arg.buf, sizeof(semid_ds64));

                } else {
                } else {

-                       struct semid_ds semid_ds32;
-                       semid_ds_64to32(&uds, &semid_ds32);
-                       eval = copyout(&semid_ds32, user_arg.buf, sizeof(struct semid_ds));
+                       struct user32_semid_ds semid_ds32;
+                       semid_ds_kernelto32(&semakptr->u, &semid_ds32);
+                       eval = copyout(&semid_ds32, user_arg.buf, sizeof(semid_ds32));

                }
                break;
 
        case GETNCNT:
                }
                break;
 
        case GETNCNT:

-               if ((eval = ipcperm(cred, &semaptr->sem_perm, IPC_R)))
+               if ((eval = ipcperm(cred, &semakptr->u.sem_perm, IPC_R)))

                                goto semctlout;
                                goto semctlout;

-               if (semnum < 0 || semnum >= semaptr->sem_nsems) {
+               if (semnum < 0 || semnum >= semakptr->u.sem_nsems) {

                        eval = EINVAL;
                        goto semctlout;
                }
                        eval = EINVAL;
                        goto semctlout;
                }

-               rval = semaptr->sem_base[semnum].semncnt;
+               rval = semakptr->u.sem_base[semnum].semncnt;

                break;
 
        case GETPID:
                break;
 
        case GETPID:

-               if ((eval = ipcperm(cred, &semaptr->sem_perm, IPC_R)))
+               if ((eval = ipcperm(cred, &semakptr->u.sem_perm, IPC_R)))

                                goto semctlout;
                                goto semctlout;

-               if (semnum < 0 || semnum >= semaptr->sem_nsems) {
+               if (semnum < 0 || semnum >= semakptr->u.sem_nsems) {

                        eval = EINVAL;
                        goto semctlout;
                }
                        eval = EINVAL;
                        goto semctlout;
                }

-               rval = semaptr->sem_base[semnum].sempid;
+               rval = semakptr->u.sem_base[semnum].sempid;

                break;
 
        case GETVAL:
                break;
 
        case GETVAL:

-               if ((eval = ipcperm(cred, &semaptr->sem_perm, IPC_R)))
+               if ((eval = ipcperm(cred, &semakptr->u.sem_perm, IPC_R)))

                                goto semctlout;
                                goto semctlout;

-               if (semnum < 0 || semnum >= semaptr->sem_nsems) {
+               if (semnum < 0 || semnum >= semakptr->u.sem_nsems) {

                        eval = EINVAL;
                        goto semctlout;
                }
                        eval = EINVAL;
                        goto semctlout;
                }

-               rval = semaptr->sem_base[semnum].semval;
+               rval = semakptr->u.sem_base[semnum].semval;

                break;
 
        case GETALL:
                break;
 
        case GETALL:

-               if ((eval = ipcperm(cred, &semaptr->sem_perm, IPC_R)))
+               if ((eval = ipcperm(cred, &semakptr->u.sem_perm, IPC_R)))

                                goto semctlout;
 /* XXXXXXXXXXXXXXXX TBD XXXXXXXXXXXXXXXX */
                                goto semctlout;
 /* XXXXXXXXXXXXXXXX TBD XXXXXXXXXXXXXXXX */

-               for (i = 0; i < semaptr->sem_nsems; i++) {
+               for (i = 0; i < semakptr->u.sem_nsems; i++) {

                        /* XXX could be done in one go... */
                        /* XXX could be done in one go... */

-                       eval = copyout((caddr_t)&semaptr->sem_base[i].semval,
+                       eval = copyout((caddr_t)&semakptr->u.sem_base[i].semval,

                            user_arg.array + (i * sizeof(unsigned short)),
                            sizeof(unsigned short));
                        if (eval != 0)
                            user_arg.array + (i * sizeof(unsigned short)),
                            sizeof(unsigned short));
                        if (eval != 0)


@@ -744,24 +828,24 @@ semctl(struct proc *p, struct semctl_args *uap, register_t *retval)
                break;
 
        case GETZCNT:
                break;
 
        case GETZCNT:

-               if ((eval = ipcperm(cred, &semaptr->sem_perm, IPC_R)))
+               if ((eval = ipcperm(cred, &semakptr->u.sem_perm, IPC_R)))

                                goto semctlout;
                                goto semctlout;

-               if (semnum < 0 || semnum >= semaptr->sem_nsems) {
+               if (semnum < 0 || semnum >= semakptr->u.sem_nsems) {

                        eval = EINVAL;
                        goto semctlout;
                }
                        eval = EINVAL;
                        goto semctlout;
                }

-               rval = semaptr->sem_base[semnum].semzcnt;
+               rval = semakptr->u.sem_base[semnum].semzcnt;

                break;
 
        case SETVAL:
                break;
 
        case SETVAL:

-               if ((eval = ipcperm(cred, &semaptr->sem_perm, IPC_W)))
+               if ((eval = ipcperm(cred, &semakptr->u.sem_perm, IPC_W)))

                 {
 #ifdef SEM_DEBUG
                        printf("Invalid credentials for write\n");
 #endif
                                goto semctlout;
                }
                 {
 #ifdef SEM_DEBUG
                        printf("Invalid credentials for write\n");
 #endif
                                goto semctlout;
                }

-               if (semnum < 0 || semnum >= semaptr->sem_nsems)
+               if (semnum < 0 || semnum >= semakptr->u.sem_nsems)

                {
 #ifdef SEM_DEBUG
                        printf("Invalid number out of range for set\n");
                {
 #ifdef SEM_DEBUG
                        printf("Invalid number out of range for set\n");


@@ -774,25 +858,29 @@ semctl(struct proc *p, struct semctl_args *uap, register_t *retval)
                 * to avoid introducing endieness and a pad field into the
                 * header file.  Ugly, but it works.
                 */
                 * to avoid introducing endieness and a pad field into the
                 * header file.  Ugly, but it works.
                 */

-               semaptr->sem_base[semnum].semval = CAST_DOWN(int,user_arg.buf);
+               semakptr->u.sem_base[semnum].semval = CAST_DOWN_EXPLICIT(int,user_arg.buf);
+               semakptr->u.sem_base[semnum].sempid = p->p_pid;
+               /* XXX scottl Should there be a MAC call here? */

                semundo_clear(semid, semnum);
                semundo_clear(semid, semnum);

-               wakeup((caddr_t)semaptr);
+               wakeup((caddr_t)semakptr);

                break;
 
        case SETALL:
                break;
 
        case SETALL:

-               if ((eval = ipcperm(cred, &semaptr->sem_perm, IPC_W)))
+               if ((eval = ipcperm(cred, &semakptr->u.sem_perm, IPC_W)))

                                goto semctlout;
 /*** XXXXXXXXXXXX TBD ********/
                                goto semctlout;
 /*** XXXXXXXXXXXX TBD ********/

-               for (i = 0; i < semaptr->sem_nsems; i++) {
+               for (i = 0; i < semakptr->u.sem_nsems; i++) {

                        /* XXX could be done in one go... */
                        eval = copyin(user_arg.array + (i * sizeof(unsigned short)),
                        /* XXX could be done in one go... */
                        eval = copyin(user_arg.array + (i * sizeof(unsigned short)),

-                           (caddr_t)&semaptr->sem_base[i].semval,
+                           (caddr_t)&semakptr->u.sem_base[i].semval,

                            sizeof(unsigned short));
                        if (eval != 0)
                                break;
                            sizeof(unsigned short));
                        if (eval != 0)
                                break;

+                       semakptr->u.sem_base[i].sempid = p->p_pid;

                }
                }

+               /* XXX scottl Should there be a MAC call here? */

                semundo_clear(semid, -1);
                semundo_clear(semid, -1);

-               wakeup((caddr_t)semaptr);
+               wakeup((caddr_t)semakptr);

                break;
 
        default:
                break;
 
        default:


@@ -808,7 +896,7 @@ semctlout:
 }
 
 int
 }
 
 int

-semget(__unused struct proc *p, struct semget_args *uap, register_t *retval)
+semget(__unused struct proc *p, struct semget_args *uap, int32_t *retval)

 {
        int semid, eval;
        int key = uap->key;
 {
        int semid, eval;
        int key = uap->key;


@@ -829,18 +917,18 @@ semget(__unused struct proc *p, struct semget_args *uap, register_t *retval)
     
        if (key != IPC_PRIVATE) {
                for (semid = 0; semid < seminfo.semmni; semid++) {
     
        if (key != IPC_PRIVATE) {
                for (semid = 0; semid < seminfo.semmni; semid++) {

-                       if ((sema[semid].sem_perm.mode & SEM_ALLOC) &&
-                           sema[semid].sem_perm.key == key)
+                       if ((sema[semid].u.sem_perm.mode & SEM_ALLOC) &&
+                           sema[semid].u.sem_perm._key == key)

                                break;
                }
                if (semid < seminfo.semmni) {
 #ifdef SEM_DEBUG
                        printf("found public key\n");
 #endif
                                break;
                }
                if (semid < seminfo.semmni) {
 #ifdef SEM_DEBUG
                        printf("found public key\n");
 #endif

-                       if ((eval = ipcperm(cred, &sema[semid].sem_perm,
+                       if ((eval = ipcperm(cred, &sema[semid].u.sem_perm,

                            semflg & 0700)))
                                goto semgetout;
                            semflg & 0700)))
                                goto semgetout;

-                       if (nsems < 0 || sema[semid].sem_nsems < nsems) {
+                       if (nsems < 0 || sema[semid].u.sem_nsems < nsems) {

 #ifdef SEM_DEBUG
                                printf("too small\n");
 #endif
 #ifdef SEM_DEBUG
                                printf("too small\n");
 #endif


@@ -854,6 +942,11 @@ semget(__unused struct proc *p, struct semget_args *uap, register_t *retval)
                                eval = EEXIST;
                                goto semgetout;
                        }
                                eval = EEXIST;
                                goto semgetout;
                        }

+#if CONFIG_MACF
+                       eval = mac_sysvsem_check_semget(cred, &sema[semid]);
+                       if (eval) 
+                               goto semgetout;
+#endif

                        goto found;
                }
        }
                        goto found;
                }
        }


@@ -884,7 +977,7 @@ semget(__unused struct proc *p, struct semget_args *uap, register_t *retval)
                        }
                }
                for (semid = 0; semid < seminfo.semmni; semid++) {
                        }
                }
                for (semid = 0; semid < seminfo.semmni; semid++) {

-                       if ((sema[semid].sem_perm.mode & SEM_ALLOC) == 0)
+                       if ((sema[semid].u.sem_perm.mode & SEM_ALLOC) == 0)

                                break;
                }
                if (semid == seminfo.semmni) {
                                break;
                }
                if (semid == seminfo.semmni) {


@@ -903,23 +996,26 @@ semget(__unused struct proc *p, struct semget_args *uap, register_t *retval)
 #ifdef SEM_DEBUG
                printf("semid %d is available\n", semid);
 #endif
 #ifdef SEM_DEBUG
                printf("semid %d is available\n", semid);
 #endif

-               sema[semid].sem_perm.key = key;
-               sema[semid].sem_perm.cuid = kauth_cred_getuid(cred);
-               sema[semid].sem_perm.uid = kauth_cred_getuid(cred);
-               sema[semid].sem_perm.cgid = cred->cr_gid;
-               sema[semid].sem_perm.gid = cred->cr_gid;
-               sema[semid].sem_perm.mode = (semflg & 0777) | SEM_ALLOC;
-               sema[semid].sem_perm.seq =
-                   (sema[semid].sem_perm.seq + 1) & 0x7fff;
-               sema[semid].sem_nsems = nsems;
-               sema[semid].sem_otime = 0;
-               sema[semid].sem_ctime = sysv_semtime();
-               sema[semid].sem_base = &sem_pool[semtot];
+               sema[semid].u.sem_perm._key = key;
+               sema[semid].u.sem_perm.cuid = kauth_cred_getuid(cred);
+               sema[semid].u.sem_perm.uid = kauth_cred_getuid(cred);
+               sema[semid].u.sem_perm.cgid = kauth_cred_getgid(cred);
+               sema[semid].u.sem_perm.gid = kauth_cred_getgid(cred);
+               sema[semid].u.sem_perm.mode = (semflg & 0777) | SEM_ALLOC;
+               sema[semid].u.sem_perm._seq =
+                   (sema[semid].u.sem_perm._seq + 1) & 0x7fff;
+               sema[semid].u.sem_nsems = nsems;
+               sema[semid].u.sem_otime = 0;
+               sema[semid].u.sem_ctime = sysv_semtime();
+               sema[semid].u.sem_base = &sem_pool[semtot];

                semtot += nsems;
                semtot += nsems;

-               bzero(sema[semid].sem_base,
-                   sizeof(sema[semid].sem_base[0])*nsems);
+               bzero(sema[semid].u.sem_base,
+                   sizeof(sema[semid].u.sem_base[0])*nsems);
+#if CONFIG_MACF
+               mac_sysvsem_label_associate(cred, &sema[semid]);
+#endif

 #ifdef SEM_DEBUG
 #ifdef SEM_DEBUG

-               printf("sembase = 0x%x, next = 0x%x\n", sema[semid].sem_base,
+               printf("sembase = 0x%x, next = 0x%x\n", sema[semid].u.sem_base,

                    &sem_pool[semtot]);
 #endif
        } else {
                    &sem_pool[semtot]);
 #endif
        } else {


@@ -931,7 +1027,7 @@ semget(__unused struct proc *p, struct semget_args *uap, register_t *retval)
        }
 
 found:
        }
 
 found:

-       *retval = IXSEQ_TO_IPCID(semid, sema[semid].sem_perm);
+       *retval = IXSEQ_TO_IPCID(semid, sema[semid].u.sem_perm);

        AUDIT_ARG(svipc_id, *retval);
 #ifdef SEM_DEBUG
        printf("semget is done, returning %d\n", *retval);
        AUDIT_ARG(svipc_id, *retval);
 #ifdef SEM_DEBUG
        printf("semget is done, returning %d\n", *retval);


@@ -944,15 +1040,15 @@ semgetout:
 }
 
 int
 }
 
 int

-semop(struct proc *p, struct semop_args *uap, register_t *retval)
+semop(struct proc *p, struct semop_args *uap, int32_t *retval)

 {
        int semid = uap->semid;
        int nsops = uap->nsops;
        struct sembuf sops[MAX_SOPS];
 {
        int semid = uap->semid;
        int nsops = uap->nsops;
        struct sembuf sops[MAX_SOPS];

-       register struct user_semid_ds *semaptr;
+       register struct semid_kernel *semakptr;

        register struct sembuf *sopptr = NULL;  /* protected by 'semptr' */
        register struct sem *semptr = NULL;     /* protected by 'if' */
        register struct sembuf *sopptr = NULL;  /* protected by 'semptr' */
        register struct sem *semptr = NULL;     /* protected by 'if' */

-       struct sem_undo *suptr = NULL;
+       int supidx = -1;

        int i, j, eval;
        int do_wakeup, do_undos;
 
        int i, j, eval;
        int do_wakeup, do_undos;
 


@@ -971,17 +1067,17 @@ semop(struct proc *p, struct semop_args *uap, register_t *retval)
                goto semopout;
        }
 
                goto semopout;
        }
 

-       semaptr = &sema[semid];
-       if ((semaptr->sem_perm.mode & SEM_ALLOC) == 0) {
+       semakptr = &sema[semid];
+       if ((semakptr->u.sem_perm.mode & SEM_ALLOC) == 0) {

                eval = EINVAL;
                goto semopout;
        }
                eval = EINVAL;
                goto semopout;
        }

-       if (semaptr->sem_perm.seq != IPCID_TO_SEQ(uap->semid)) {
+       if (semakptr->u.sem_perm._seq != IPCID_TO_SEQ(uap->semid)) {

                eval = EINVAL;
                goto semopout;
        }
 
                eval = EINVAL;
                goto semopout;
        }
 

-       if ((eval = ipcperm(kauth_cred_get(), &semaptr->sem_perm, IPC_W))) {
+       if ((eval = ipcperm(kauth_cred_get(), &semakptr->u.sem_perm, IPC_W))) {

 #ifdef SEM_DEBUG
                printf("eval = %d from ipaccess\n", eval);
 #endif
 #ifdef SEM_DEBUG
                printf("eval = %d from ipaccess\n", eval);
 #endif


@@ -1005,6 +1101,24 @@ semop(struct proc *p, struct semop_args *uap, register_t *retval)
                goto semopout;
        }
 
                goto semopout;
        }
 

+#if CONFIG_MACF
+       /*
+        * Initial pass thru sops to see what permissions are needed.
+        */
+       j = 0;          /* permission needed */
+       for (i = 0; i < nsops; i++)
+               j |= (sops[i].sem_op == 0) ? SEM_R : SEM_A;
+
+       /*
+        * The MAC hook checks whether the thread has read (and possibly
+        * write) permissions to the semaphore array based on the
+        * sopptr->sem_op value.
+        */
+       eval = mac_sysvsem_check_semop(kauth_cred_get(), semakptr, j);
+       if (eval)
+               goto semopout;
+#endif
+

        /*
         * Loop trying to satisfy the vector of requests.
         * If we reach a point where we must wait, any requests already
        /*
         * Loop trying to satisfy the vector of requests.
         * If we reach a point where we must wait, any requests already


@@ -1022,16 +1136,16 @@ semop(struct proc *p, struct semop_args *uap, register_t *retval)
                for (i = 0; i < nsops; i++) {
                        sopptr = &sops[i];
 
                for (i = 0; i < nsops; i++) {
                        sopptr = &sops[i];
 

-                       if (sopptr->sem_num >= semaptr->sem_nsems) {
+                       if (sopptr->sem_num >= semakptr->u.sem_nsems) {

                                eval = EFBIG;
                                goto semopout;
                        }
 
                                eval = EFBIG;
                                goto semopout;
                        }
 

-                       semptr = &semaptr->sem_base[sopptr->sem_num];
+                       semptr = &semakptr->u.sem_base[sopptr->sem_num];

 
 #ifdef SEM_DEBUG
 
 #ifdef SEM_DEBUG

-                       printf("semop:  semaptr=%x, sem_base=%x, semptr=%x, sem[%d]=%d : op=%d, flag=%s\n",
-                           semaptr, semaptr->sem_base, semptr,
+                       printf("semop:  semakptr=%x, sem_base=%x, semptr=%x, sem[%d]=%d : op=%d, flag=%s\n",
+                           semakptr, semakptr->u.sem_base, semptr,

                            sopptr->sem_num, semptr->semval, sopptr->sem_op,
                            (sopptr->sem_flg & IPC_NOWAIT) ? "nowait" : "wait");
 #endif
                            sopptr->sem_num, semptr->semval, sopptr->sem_op,
                            (sopptr->sem_flg & IPC_NOWAIT) ? "nowait" : "wait");
 #endif


@@ -1079,7 +1193,7 @@ semop(struct proc *p, struct semop_args *uap, register_t *retval)
                printf("semop:  rollback 0 through %d\n", i-1);
 #endif
                for (j = 0; j < i; j++)
                printf("semop:  rollback 0 through %d\n", i-1);
 #endif
                for (j = 0; j < i; j++)

-                       semaptr->sem_base[sops[j].sem_num].semval -=
+                       semakptr->u.sem_base[sops[j].sem_num].semval -=

                            sops[j].sem_op;
 
                /*
                            sops[j].sem_op;
 
                /*


@@ -1104,7 +1218,7 @@ semop(struct proc *p, struct semop_args *uap, register_t *retval)
                 * waiting for. We will get the lock back after we
                 * wake up.
                 */
                 * waiting for. We will get the lock back after we
                 * wake up.
                 */

-               eval = msleep((caddr_t)semaptr, &sysv_sem_subsys_mutex , (PZERO - 4) | PCATCH,
+               eval = msleep((caddr_t)semakptr, &sysv_sem_subsys_mutex , (PZERO - 4) | PCATCH,

                    "semwait", 0);
                 
 #ifdef SEM_DEBUG
                    "semwait", 0);
                 
 #ifdef SEM_DEBUG


@@ -1121,15 +1235,20 @@ semop(struct proc *p, struct semop_args *uap, register_t *retval)
                 * structures and re-validate them.
                 */
 
                 * structures and re-validate them.
                 */
 

-               suptr = NULL;   /* sem_undo may have been reallocated */
-               semaptr = &sema[semid];    /* sema may have been reallocated */
+               semptr = NULL;

 
                /*
                 * Make sure that the semaphore still exists
 
                /*
                 * Make sure that the semaphore still exists

+                *
+                * XXX POSIX: Third test this 'if' and 'EINTR' precedence may
+                * fail testing; if so, we will need to revert this code.

                 */
                 */

-               if ((semaptr->sem_perm.mode & SEM_ALLOC) == 0 ||
-                   semaptr->sem_perm.seq != IPCID_TO_SEQ(uap->semid) ||
-                   sopptr->sem_num >= semaptr->sem_nsems) {
+               semakptr = &sema[semid];   /* sema may have been reallocated */
+               if ((semakptr->u.sem_perm.mode & SEM_ALLOC) == 0 ||
+                   semakptr->u.sem_perm._seq != IPCID_TO_SEQ(uap->semid) ||
+                   sopptr->sem_num >= semakptr->u.sem_nsems) {
+                       /* The man page says to return EIDRM. */
+                       /* Unfortunately, BSD doesn't define that code! */

                        if (eval == EINTR) {
                                /*
                                 * EINTR takes precedence over the fact that
                        if (eval == EINTR) {
                                /*
                                 * EINTR takes precedence over the fact that


@@ -1137,14 +1256,10 @@ semop(struct proc *p, struct semop_args *uap, register_t *retval)
                                 * sleeping...
                                 */
                        } else {
                                 * sleeping...
                                 */
                        } else {

-                               /*
-                                * The man page says to return EIDRM.
-                                * Unfortunately, BSD doesn't define that code!
-                                */

 #ifdef EIDRM
                                eval = EIDRM;
 #else
 #ifdef EIDRM
                                eval = EIDRM;
 #else

-                               eval = EINVAL;
+                               eval = EINVAL;          /* Ancient past */

 #endif
                        }
                        goto semopout;
 #endif
                        }
                        goto semopout;


@@ -1156,7 +1271,7 @@ semop(struct proc *p, struct semop_args *uap, register_t *retval)
                 * because the sem[] may have been reallocated while
                 * we were sleeping, updating our sem_base pointer.
                 */
                 * because the sem[] may have been reallocated while
                 * we were sleeping, updating our sem_base pointer.
                 */

-               semptr = &semaptr->sem_base[sopptr->sem_num];
+               semptr = &semakptr->u.sem_base[sopptr->sem_num];

                if (sopptr->sem_op == 0)
                        semptr->semzcnt--;
                else
                if (sopptr->sem_op == 0)
                        semptr->semzcnt--;
                else


@@ -1184,7 +1299,7 @@ done:
                        adjval = sops[i].sem_op;
                        if (adjval == 0)
                                continue;
                        adjval = sops[i].sem_op;
                        if (adjval == 0)
                                continue;

-                       eval = semundo_adjust(p, &suptr, semid,
+                       eval = semundo_adjust(p, &supidx, semid,

                            sops[i].sem_num, -adjval);
                        if (eval == 0)
                                continue;
                            sops[i].sem_num, -adjval);
                        if (eval == 0)
                                continue;


@@ -1204,13 +1319,13 @@ done:
                                adjval = sops[j].sem_op;
                                if (adjval == 0)
                                        continue;
                                adjval = sops[j].sem_op;
                                if (adjval == 0)
                                        continue;

-                               if (semundo_adjust(p, &suptr, semid,
+                               if (semundo_adjust(p, &supidx, semid,

                                    sops[j].sem_num, adjval) != 0)
                                        panic("semop - can't undo undos");
                        }
 
                        for (j = 0; j < nsops; j++)
                                    sops[j].sem_num, adjval) != 0)
                                        panic("semop - can't undo undos");
                        }
 
                        for (j = 0; j < nsops; j++)

-                               semaptr->sem_base[sops[j].sem_num].semval -=
+                               semakptr->u.sem_base[sops[j].sem_num].semval -=

                                    sops[j].sem_op;
 
 #ifdef SEM_DEBUG
                                    sops[j].sem_op;
 
 #ifdef SEM_DEBUG


@@ -1223,21 +1338,22 @@ done:
        /* We're definitely done - set the sempid's */
        for (i = 0; i < nsops; i++) {
                sopptr = &sops[i];
        /* We're definitely done - set the sempid's */
        for (i = 0; i < nsops; i++) {
                sopptr = &sops[i];

-               semptr = &semaptr->sem_base[sopptr->sem_num];
+               semptr = &semakptr->u.sem_base[sopptr->sem_num];

                semptr->sempid = p->p_pid;
        }
                semptr->sempid = p->p_pid;
        }

+       semakptr->u.sem_otime = sysv_semtime();

 
        if (do_wakeup) {
 #ifdef SEM_DEBUG
                printf("semop:  doing wakeup\n");
 #ifdef SEM_WAKEUP
 
        if (do_wakeup) {
 #ifdef SEM_DEBUG
                printf("semop:  doing wakeup\n");
 #ifdef SEM_WAKEUP

-               sem_wakeup((caddr_t)semaptr);
+               sem_wakeup((caddr_t)semakptr);

 #else
 #else

-               wakeup((caddr_t)semaptr);
+               wakeup((caddr_t)semakptr);

 #endif
                printf("semop:  back from wakeup\n");
 #else
 #endif
                printf("semop:  back from wakeup\n");
 #else

-               wakeup((caddr_t)semaptr);
+               wakeup((caddr_t)semakptr);

 #endif
        }
 #ifdef SEM_DEBUG
 #endif
        }
 #ifdef SEM_DEBUG


@@ -1257,8 +1373,9 @@ semopout:
 void
 semexit(struct proc *p)
 {
 void
 semexit(struct proc *p)
 {

-       register struct sem_undo *suptr;
-       register struct sem_undo **supptr;
+       register struct sem_undo *suptr = NULL;
+       int suidx;
+       int *supidx;

        int did_something;
 
        /* If we have not allocated our semaphores yet there can't be
        int did_something;
 
        /* If we have not allocated our semaphores yet there can't be


@@ -1279,13 +1396,14 @@ semexit(struct proc *p)
         * associated with this process.
         */
 
         * associated with this process.
         */
 

-       for (supptr = &semu_list; (suptr = *supptr) != NULL;
-           supptr = &suptr->un_next) {
+       for (supidx = &semu_list_idx; (suidx = *supidx) != -1;
+           supidx = &suptr->un_next_idx) {
+               suptr = SEMU(suidx);

                if (suptr->un_proc == p)
                        break;
        }
 
                if (suptr->un_proc == p)
                        break;
        }
 

-       if (suptr == NULL)
+       if (suidx == -1)

                goto unlock;
 
 #ifdef SEM_DEBUG
                goto unlock;
 
 #ifdef SEM_DEBUG


@@ -1302,17 +1420,17 @@ semexit(struct proc *p)
                        int semid;
                        int semnum;
                        int adjval;
                        int semid;
                        int semnum;
                        int adjval;

-                       struct user_semid_ds *semaptr;
+                       struct semid_kernel *semakptr;

 
                        sueptr = suptr->un_ent;
                        semid = sueptr->une_id;
                        semnum = sueptr->une_num;
                        adjval = sueptr->une_adjval;
 
 
                        sueptr = suptr->un_ent;
                        semid = sueptr->une_id;
                        semnum = sueptr->une_num;
                        adjval = sueptr->une_adjval;
 

-                       semaptr = &sema[semid];
-                       if ((semaptr->sem_perm.mode & SEM_ALLOC) == 0)
+                       semakptr = &sema[semid];
+                       if ((semakptr->u.sem_perm.mode & SEM_ALLOC) == 0)

                                panic("semexit - semid not allocated");
                                panic("semexit - semid not allocated");

-                       if (semnum >= semaptr->sem_nsems)
+                       if (semnum >= semakptr->u.sem_nsems)

                                panic("semexit - semnum out of range");
 
 #ifdef SEM_DEBUG
                                panic("semexit - semnum out of range");
 
 #ifdef SEM_DEBUG


@@ -1321,19 +1439,19 @@ semexit(struct proc *p)
                               semid,
                               semnum,
                               adjval,
                               semid,
                               semnum,
                               adjval,

-                              semaptr->sem_base[semnum].semval);
+                              semakptr->u.sem_base[semnum].semval);

 #endif
 
                        if (adjval < 0) {
 #endif
 
                        if (adjval < 0) {

-                               if (semaptr->sem_base[semnum].semval < -adjval)
-                                       semaptr->sem_base[semnum].semval = 0;
+                               if (semakptr->u.sem_base[semnum].semval < -adjval)
+                                       semakptr->u.sem_base[semnum].semval = 0;

                                else
                                else

-                                       semaptr->sem_base[semnum].semval +=
+                                       semakptr->u.sem_base[semnum].semval +=

                                            adjval;
                        } else
                                            adjval;
                        } else

-                               semaptr->sem_base[semnum].semval += adjval;
+                               semakptr->u.sem_base[semnum].semval += adjval;

 
 

-               /* Maybe we should build a list of semaptr's to wake
+               /* Maybe we should build a list of semakptr's to wake

                 * up, finish all access to data structures, release the
                 * subsystem lock, and wake all the processes.  Something
                 * to think about.  It wouldn't buy us anything unless
                 * up, finish all access to data structures, release the
                 * subsystem lock, and wake all the processes.  Something
                 * to think about.  It wouldn't buy us anything unless


@@ -1342,9 +1460,9 @@ semexit(struct proc *p)
                 * in the BSD code at once.
                 */
 #ifdef SEM_WAKEUP
                 * in the BSD code at once.
                 */
 #ifdef SEM_WAKEUP

-                       sem_wakeup((caddr_t)semaptr);
+                       sem_wakeup((caddr_t)semakptr);

 #else
 #else

-                       wakeup((caddr_t)semaptr);
+                       wakeup((caddr_t)semakptr);

 #endif
 #ifdef SEM_DEBUG
                        printf("semexit:  back from wakeup\n");
 #endif
 #ifdef SEM_DEBUG
                        printf("semexit:  back from wakeup\n");


@@ -1363,7 +1481,7 @@ semexit(struct proc *p)
        printf("removing vector\n");
 #endif
        suptr->un_proc = NULL;
        printf("removing vector\n");
 #endif
        suptr->un_proc = NULL;

-       *supptr = suptr->un_next;
+       *supidx = suptr->un_next_idx;

 
 unlock:
        /*
 
 unlock:
        /*


@@ -1407,7 +1525,7 @@ sysctl_seminfo(__unused struct sysctl_oid *oidp, void *arg1,
        if ((sem_pool == NULL) && 
                (sema == NULL) && 
                (semu == NULL) && 
        if ((sem_pool == NULL) && 
                (sema == NULL) && 
                (semu == NULL) && 

-               (semu_list == NULL)) {
+               (semu_list_idx == -1)) {

                        if ((error = SYSCTL_IN(req, arg1, sizeof(int)))) {
                                goto out;
                        }
                        if ((error = SYSCTL_IN(req, arg1, sizeof(int)))) {
                                goto out;
                        }


@@ -1421,19 +1539,19 @@ out:
 
 /* SYSCTL_NODE(_kern, KERN_SYSV, sysv, CTLFLAG_RW, 0, "SYSV"); */
 extern struct sysctl_oid_list sysctl__kern_sysv_children;
 
 /* SYSCTL_NODE(_kern, KERN_SYSV, sysv, CTLFLAG_RW, 0, "SYSV"); */
 extern struct sysctl_oid_list sysctl__kern_sysv_children;

-SYSCTL_PROC(_kern_sysv, KSYSV_SEMMNI, semmni, CTLTYPE_INT | CTLFLAG_RW,
+SYSCTL_PROC(_kern_sysv, OID_AUTO, semmni, CTLTYPE_INT | CTLFLAG_RW | CTLFLAG_LOCKED,

     &limitseminfo.semmni, 0, &sysctl_seminfo ,"I","semmni");
 
     &limitseminfo.semmni, 0, &sysctl_seminfo ,"I","semmni");
 

-SYSCTL_PROC(_kern_sysv, KSYSV_SEMMNS, semmns, CTLTYPE_INT | CTLFLAG_RW,
+SYSCTL_PROC(_kern_sysv, OID_AUTO, semmns, CTLTYPE_INT | CTLFLAG_RW | CTLFLAG_LOCKED,

     &limitseminfo.semmns, 0, &sysctl_seminfo ,"I","semmns");
 
     &limitseminfo.semmns, 0, &sysctl_seminfo ,"I","semmns");
 

-SYSCTL_PROC(_kern_sysv, KSYSV_SEMMNU, semmnu, CTLTYPE_INT | CTLFLAG_RW,
+SYSCTL_PROC(_kern_sysv, OID_AUTO, semmnu, CTLTYPE_INT | CTLFLAG_RW | CTLFLAG_LOCKED,

     &limitseminfo.semmnu, 0, &sysctl_seminfo ,"I","semmnu");
 
     &limitseminfo.semmnu, 0, &sysctl_seminfo ,"I","semmnu");
 

-SYSCTL_PROC(_kern_sysv, KSYSV_SEMMSL, semmsl, CTLTYPE_INT | CTLFLAG_RW,
+SYSCTL_PROC(_kern_sysv, OID_AUTO, semmsl, CTLTYPE_INT | CTLFLAG_RW | CTLFLAG_LOCKED,

     &limitseminfo.semmsl, 0, &sysctl_seminfo ,"I","semmsl");
     
     &limitseminfo.semmsl, 0, &sysctl_seminfo ,"I","semmsl");
     

-SYSCTL_PROC(_kern_sysv, KSYSV_SEMUNE, semume, CTLTYPE_INT | CTLFLAG_RW,
+SYSCTL_PROC(_kern_sysv, OID_AUTO, semume, CTLTYPE_INT | CTLFLAG_RW | CTLFLAG_LOCKED,

     &limitseminfo.semume, 0, &sysctl_seminfo ,"I","semume");
 
 
     &limitseminfo.semume, 0, &sysctl_seminfo ,"I","semume");
 
 


@@ -1444,24 +1562,31 @@ IPCS_sem_sysctl(__unused struct sysctl_oid *oidp, __unused void *arg1,
        int error;
        int cursor;
        union {
        int error;
        int cursor;
        union {

-               struct IPCS_command u32;
+               struct user32_IPCS_command u32;

                struct user_IPCS_command u64;
        } ipcs;
                struct user_IPCS_command u64;
        } ipcs;

-       struct semid_ds semid_ds32;     /* post conversion, 32 bit version */
+       struct user32_semid_ds semid_ds32;      /* post conversion, 32 bit version */
+       struct user64_semid_ds semid_ds64;      /* post conversion, 64 bit version */

        void *semid_dsp;
        void *semid_dsp;

-       size_t ipcs_sz = sizeof(struct user_IPCS_command);
-       size_t semid_ds_sz = sizeof(struct user_semid_ds);
+       size_t ipcs_sz;
+       size_t semid_ds_sz;

        struct proc *p = current_proc();
 
        struct proc *p = current_proc();
 

+       if (IS_64BIT_PROCESS(p)) {
+               ipcs_sz = sizeof(struct user_IPCS_command);
+               semid_ds_sz = sizeof(struct user64_semid_ds);
+       } else {
+               ipcs_sz = sizeof(struct user32_IPCS_command);
+               semid_ds_sz = sizeof(struct user32_semid_ds);
+       }
+

        /* Copy in the command structure */
        if ((error = SYSCTL_IN(req, &ipcs, ipcs_sz)) != 0) {
                return(error);
        }
 
        /* Copy in the command structure */
        if ((error = SYSCTL_IN(req, &ipcs, ipcs_sz)) != 0) {
                return(error);
        }
 

-       if (!IS_64BIT_PROCESS(p)) {
-               ipcs_sz = sizeof(struct IPCS_command);
-               semid_ds_sz = sizeof(struct semid_ds);
-       }
+       if (!IS_64BIT_PROCESS(p)) /* convert in place */
+               ipcs.u64.ipcs_data = CAST_USER_ADDR_T(ipcs.u32.ipcs_data);

 
        /* Let us version this interface... */
        if (ipcs.u64.ipcs_magic != IPCS_MAGIC) {
 
        /* Let us version this interface... */
        if (ipcs.u64.ipcs_magic != IPCS_MAGIC) {


@@ -1493,7 +1618,7 @@ IPCS_sem_sysctl(__unused struct sysctl_oid *oidp, __unused void *arg1,
                        break;
                }
                for( ; cursor < seminfo.semmni; cursor++) {
                        break;
                }
                for( ; cursor < seminfo.semmni; cursor++) {

-                       if (sema[cursor].sem_perm.mode & SEM_ALLOC)
+                       if (sema[cursor].u.sem_perm.mode & SEM_ALLOC)

                                break;
                        continue;
                }
                                break;
                        continue;
                }


@@ -1502,20 +1627,28 @@ IPCS_sem_sysctl(__unused struct sysctl_oid *oidp, __unused void *arg1,
                        break;
                }
 
                        break;
                }
 

-               semid_dsp = &sema[cursor];      /* default: 64 bit */
+               semid_dsp = &sema[cursor].u;    /* default: 64 bit */

 
                /*
                 * If necessary, convert the 64 bit kernel segment
                 * descriptor to a 32 bit user one.
                 */
                if (!IS_64BIT_PROCESS(p)) {
 
                /*
                 * If necessary, convert the 64 bit kernel segment
                 * descriptor to a 32 bit user one.
                 */
                if (!IS_64BIT_PROCESS(p)) {

-                       semid_ds_64to32(semid_dsp, &semid_ds32);
+                       semid_ds_kernelto32(semid_dsp, &semid_ds32);

                        semid_dsp = &semid_ds32;
                        semid_dsp = &semid_ds32;

+               } else {
+                       semid_ds_kernelto64(semid_dsp, &semid_ds64);
+                       semid_dsp = &semid_ds64;

                }
                }

+

                error = copyout(semid_dsp, ipcs.u64.ipcs_data, ipcs.u64.ipcs_datalen);
                if (!error) {
                        /* update cursor */
                        ipcs.u64.ipcs_cursor = cursor + 1;
                error = copyout(semid_dsp, ipcs.u64.ipcs_data, ipcs.u64.ipcs_datalen);
                if (!error) {
                        /* update cursor */
                        ipcs.u64.ipcs_cursor = cursor + 1;

+
+                       if (!IS_64BIT_PROCESS(p))       /* convert in place */
+                               ipcs.u32.ipcs_data = CAST_DOWN_EXPLICIT(user32_addr_t,ipcs.u64.ipcs_data);
+

                        error = SYSCTL_OUT(req, &ipcs, ipcs_sz);
                }
                break;
                        error = SYSCTL_OUT(req, &ipcs, ipcs_sz);
                }
                break;


@@ -1529,7 +1662,9 @@ IPCS_sem_sysctl(__unused struct sysctl_oid *oidp, __unused void *arg1,
 }
 
 SYSCTL_DECL(_kern_sysv_ipcs);
 }
 
 SYSCTL_DECL(_kern_sysv_ipcs);

-SYSCTL_PROC(_kern_sysv_ipcs, OID_AUTO, sem, CTLFLAG_RW|CTLFLAG_ANYBODY,
+SYSCTL_PROC(_kern_sysv_ipcs, OID_AUTO, sem, CTLFLAG_RW | CTLFLAG_ANYBODY | CTLFLAG_LOCKED,

        0, 0, IPCS_sem_sysctl,
        "S,IPCS_sem_command",
        "ipcs sem command interface");
        0, 0, IPCS_sem_sysctl,
        "S,IPCS_sem_command",
        "ipcs sem command interface");

+
+#endif /* SYSV_SEM */