xnu-1228.0.2.tar.gz

[apple/xnu.git] / security / mac_base.c

/*
 * Copyright (c) 2007 Apple Inc. All rights reserved.
 *
 * @APPLE_OSREFERENCE_LICENSE_HEADER_START@
 * 
 * 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.
 * 
 * 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,
 * 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_OSREFERENCE_LICENSE_HEADER_END@
 */
/*-
 * Copyright (c) 1999, 2000, 2001, 2002 Robert N. M. Watson
 * Copyright (c) 2001 Ilmar S. Habibulin
 * Copyright (c) 2001, 2002, 2003, 2004 Networks Associates Technology, Inc.
 * Copyright (c) 2005-2006 SPARTA, Inc.
 *
 * This software was developed by Robert Watson and Ilmar Habibulin for the
 * TrustedBSD Project.
 *
 * This software was developed for the FreeBSD Project in part by Network
 * Associates Laboratories, the Security Research Division of Network
 * Associates, Inc. under DARPA/SPAWAR contract N66001-01-C-8035 ("CBOSS"),
 * as part of the DARPA CHATS research program.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the distribution.
 *
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
 * SUCH DAMAGE.
 *
 */

/*-
 * Framework for extensible kernel access control.  This file contains
 * Kernel and userland interface to the framework, policy registration
 * and composition.  Per-object interfaces, controls, and labeling may be
 * found in src/sys/mac/.  Sample policies may be found in src/sys/mac*.
 */

#include <stdarg.h>
#include <string.h>
#include <security/mac_internal.h>
#include <security/mac_mach_internal.h>
#include <sys/param.h>
#include <sys/vnode.h>
#include <sys/vnode_internal.h>
#include <sys/vfs_context.h>
#include <sys/namei.h>
#include <bsd/bsm/audit.h>
#include <bsd/bsm/audit_kernel.h>
#include <sys/file.h>
#include <sys/file_internal.h>
#include <sys/filedesc.h>
#include <sys/proc.h>
#include <sys/proc_internal.h>
#include <sys/kauth.h>
#include <sys/sysproto.h>

#include <mach/vm_types.h>
#include <mach/vm_prot.h>

#include <kern/zalloc.h>
#include <kern/sched_prim.h>
#include <osfmk/kern/task.h>
#include <osfmk/kern/kalloc.h>
#include <libsa/libsa/kext.h>

#if CONFIG_MACF
#include <security/mac.h>
#include <security/mac_policy.h>
#include <security/mac_framework.h>
#include <security/mac_internal.h>
#include <security/mac_mach_internal.h>
#endif

/* 
 * define MB_DEBUG to display run-time debugging information
 * #define MB_DEBUG 1
 */

#ifdef MB_DEBUG
#define DPRINTF(x)      printf x
#else
#define MB_DEBUG
#define DPRINTF(x)
#endif

#if CONFIG_MACF
SYSCTL_NODE(, OID_AUTO, security, CTLFLAG_RW|CTLFLAG_LOCKED, 0, 
    "Security Controls");
SYSCTL_NODE(_security, OID_AUTO, mac, CTLFLAG_RW|CTLFLAG_LOCKED, 0,
    "TrustedBSD MAC policy controls");



/*
 * Declare that the kernel provides MAC support, version 1.  This permits
 * modules to refuse to be loaded if the necessary support isn't present,
 * even if it's pre-boot.
 */
#if 0
MODULE_VERSION(kernel_mac_support, 1);
#endif

#if MAC_MAX_SLOTS > 32
#error "MAC_MAX_SLOTS too large"
#endif

static unsigned int mac_max_slots = MAC_MAX_SLOTS;
static unsigned int mac_slot_offsets_free = (1 << MAC_MAX_SLOTS) - 1;
SYSCTL_UINT(_security_mac, OID_AUTO, max_slots, CTLFLAG_RD,
    &mac_max_slots, 0, "");

/*
 * Has the kernel started generating labeled objects yet?  All read/write
 * access to this variable is serialized during the boot process.  Following
 * the end of serialization, we don't update this flag; no locking.
 */
int     mac_late = 0;

/*
 * Flag to indicate whether or not we should allocate label storage for
 * new mbufs.  Since most dynamic policies we currently work with don't
 * rely on mbuf labeling, try to avoid paying the cost of mtag allocation
 * unless specifically notified of interest.  One result of this is
 * that if a dynamically loaded policy requests mbuf labels, it must
 * be able to deal with a NULL label being returned on any mbufs that
 * were already in flight when the policy was loaded.  Since the policy
 * already has to deal with uninitialized labels, this probably won't
 * be a problem.  Note: currently no locking.  Will this be a problem?
 */
#if !defined(CONFIG_MACF_ALWAYS_LABEL_MBUF) && 0
static int      mac_labelmbufs = 0;
#endif

unsigned int    mac_mmap_revocation = 0;
SYSCTL_UINT(_security_mac, OID_AUTO, mmap_revocation, CTLFLAG_RW,
    &mac_mmap_revocation, 0, "Revoke mmap access to files on subject "
    "relabel");

unsigned int    mac_mmap_revocation_via_cow = 0;
SYSCTL_UINT(_security_mac, OID_AUTO, mmap_revocation_via_cow, CTLFLAG_RW,
    &mac_mmap_revocation_via_cow, 0, "Revoke mmap access to files via "
    "copy-on-write semantics, or by removing all write access");

unsigned int mac_device_enforce = 1;
SYSCTL_UINT(_security_mac, OID_AUTO, device_enforce, CTLFLAG_RW,
           &mac_device_enforce, 0, "Enforce MAC policy on device operations");

unsigned int mac_file_enforce = 0;
SYSCTL_UINT(_security_mac, OID_AUTO, file_enforce, CTLFLAG_RW,
        &mac_file_enforce, 0, "Enforce MAC policy on file operations");

unsigned int mac_iokit_enforce = 0;
SYSCTL_UINT(_security_mac, OID_AUTO, iokit_enforce, CTLFLAG_RW,
        &mac_file_enforce, 0, "Enforce MAC policy on IOKit operations");

unsigned int    mac_pipe_enforce = 1;
SYSCTL_UINT(_security_mac, OID_AUTO, pipe_enforce, CTLFLAG_RW,
    &mac_pipe_enforce, 0, "Enforce MAC policy on pipe operations");

unsigned int    mac_posixsem_enforce = 1;
SYSCTL_UINT(_security_mac, OID_AUTO, posixsem_enforce, CTLFLAG_RW,
    &mac_posixsem_enforce, 0, "Enforce MAC policy on POSIX semaphores");

unsigned int mac_posixshm_enforce = 1;
SYSCTL_UINT(_security_mac, OID_AUTO, posixshm_enforce, CTLFLAG_RW,
    &mac_posixshm_enforce, 0, "Enforce MAC policy on Posix Shared Memory");

unsigned int    mac_proc_enforce = 1;
SYSCTL_UINT(_security_mac, OID_AUTO, proc_enforce, CTLFLAG_RW,
           &mac_proc_enforce, 0, "Enforce MAC policy on process operations");

unsigned int mac_socket_enforce = 1;
SYSCTL_UINT(_security_mac, OID_AUTO, socket_enforce, CTLFLAG_RW,
        &mac_socket_enforce, 0, "Enforce MAC policy on socket operations");

unsigned int    mac_system_enforce = 1;
SYSCTL_UINT(_security_mac, OID_AUTO, system_enforce, CTLFLAG_RW,
    &mac_system_enforce, 0, "Enforce MAC policy on system-wide interfaces");

unsigned int    mac_sysvmsg_enforce = 1;
SYSCTL_UINT(_security_mac, OID_AUTO, sysvmsg_enforce, CTLFLAG_RW,
    &mac_sysvmsg_enforce, 0, "Enforce MAC policy on System V IPC message queues");

unsigned int    mac_sysvsem_enforce = 1;
SYSCTL_UINT(_security_mac, OID_AUTO, sysvsem_enforce, CTLFLAG_RW,
    &mac_sysvsem_enforce, 0, "Enforce MAC policy on System V IPC semaphores");

unsigned int    mac_sysvshm_enforce = 1;
SYSCTL_INT(_security_mac, OID_AUTO, sysvshm_enforce, CTLFLAG_RW,
    &mac_sysvshm_enforce, 0, "Enforce MAC policy on System V Shared Memory");

unsigned int    mac_vm_enforce = 1;
SYSCTL_INT(_security_mac, OID_AUTO, vm_enforce, CTLFLAG_RW,
           &mac_vm_enforce, 0, "Enforce MAC policy on VM operations");

unsigned int    mac_vnode_enforce = 1;
SYSCTL_UINT(_security_mac, OID_AUTO, vnode_enforce, CTLFLAG_RW,
           &mac_vnode_enforce, 0, "Enforce MAC policy on vnode operations");


#if CONFIG_MACF_MACH
unsigned int    mac_port_enforce = 0;
SYSCTL_UINT(_security_mac, OID_AUTO, port_enforce, CTLFLAG_RW,
    &mac_port_enforce, 0, "Enforce MAC policy on Mach port operations");

unsigned int    mac_task_enforce = 0;
SYSCTL_UINT(_security_mac, OID_AUTO, task_enforce, CTLFLAG_RW,
    &mac_task_enforce, 0, "Enforce MAC policy on Mach task operations");
#endif

#if CONFIG_MACF_NET
unsigned int mac_label_mbufs    = 1;
SYSCTL_UINT(_security_mac, OID_AUTO, label_mbufs, CTLFLAG_RW,
        &mac_label_mbufs, 0, "Label all MBUFs");
#endif

/*
 * mac_audit_data_zone is the zone used for data pushed into the audit
 * record by policies. Using a zone simplifies memory management of this
 * data, and allows tracking of the amount of data in flight.
 */
extern zone_t mac_audit_data_zone;

/*
 * mac_policy_list holds the list of policy modules.  Modules with a
 * handle lower than staticmax are considered "static" and cannot be
 * unloaded.  Such policies can be invoked without holding the busy count.
 *
 * Modules with a handle at or above the staticmax high water mark
 * are considered to be "dynamic" policies.  A busy count is maintained
 * for the list, stored in mac_policy_busy.  The busy count is protected
 * by mac_policy_mtx; the list may be modified only while the busy
 * count is 0, requiring that the lock be held to prevent new references
 * to the list from being acquired.  For almost all operations,
 * incrementing the busy count is sufficient to guarantee consistency,
 * as the list cannot be modified while the busy count is elevated.
 * For a few special operations involving a change to the list of
 * active policies, the mtx itself must be held.
 */
static lck_mtx_t *mac_policy_mtx;

/*
 * Policy list array allocation chunk size. Trying to set this so that we
 * allocate a page at a time.
 */
#define MAC_POLICY_LIST_CHUNKSIZE 512

static int mac_policy_busy;

mac_policy_list_t mac_policy_list;

/*
 * mac_label_element_list holds the master list of label namespaces for
 * all the policies. When a policy is loaded, each of it's label namespace
 * elements is added to the master list if not already present. When a
 * policy is unloaded, the namespace elements are removed if no other 
 * policy is interested in that namespace element.
 */
struct mac_label_element_list_t mac_label_element_list;
struct mac_label_element_list_t mac_static_label_element_list;

/*
 * Journal of label operations that occur before policies are loaded.
 */
struct mac_label_journal_list_t mac_label_journal_list;

int
mac_label_journal_add (struct label *l, int type)
{
        struct mac_label_journal *mlj;

        if (mac_label_journal_find(l))
                return (0);

        MALLOC(mlj, struct mac_label_journal *,
                sizeof(struct mac_label_journal), M_MACTEMP, M_WAITOK);
        mlj->l = l;
        mlj->type = type;
        TAILQ_INSERT_TAIL(&mac_label_journal_list, mlj, link);

        return (0);
}

int
mac_label_journal_remove (struct label *l)
{
        struct mac_label_journal *mlj;

        mlj = mac_label_journal_find(l);
        if (mlj == NULL)
                return (-1);

        TAILQ_REMOVE(&mac_label_journal_list, mlj, link);
        FREE(mlj, M_MACTEMP);
        return (0);
}

struct mac_label_journal *
mac_label_journal_find (struct label *l)
{
        struct mac_label_journal *mlj;

        TAILQ_FOREACH(mlj, &mac_label_journal_list, link) {
                if (l == mlj->l)
                        return (mlj);
        }

        return (NULL);
}

int
mac_label_journal (struct label *l, int op, ...)
{
        struct mac_label_journal *mlj;
        va_list ap;

        mlj = mac_label_journal_find(l);
        if (mlj == NULL) {
                printf("%s(): Label not in list!\n", __func__);
                return (-1);
        }

        if (op == MLJ_PORT_OP_UPDATE) {
                va_start(ap, op);
                mlj->kotype = va_arg(ap, int);
                va_end(ap);
        }

        mlj->ops |= op;
        return (0);
}

/*
 * The assumption during replay is that the system is totally
 * serialized and no additional tasks/ports will be created.
 */
void
mac_label_journal_replay (void)
{
        struct mac_label_journal *mlj;

        TAILQ_FOREACH(mlj, &mac_label_journal_list, link) {
                switch (mlj->type) {
                case MLJ_TYPE_PORT:
                        if (mlj->ops & MLJ_PORT_OP_INIT)
                                MAC_PERFORM(port_label_init, mlj->l);
                        if (mlj->ops & MLJ_PORT_OP_CREATE_K)
                                MAC_PERFORM(port_label_associate_kernel, mlj->l, 0);
                        if (mlj->ops & MLJ_PORT_OP_UPDATE)
                                MAC_PERFORM(port_label_update_kobject, mlj->l,
                                                mlj->kotype);
                        break;
                case MLJ_TYPE_TASK:
                        if (mlj->ops & MLJ_TASK_OP_INIT)
                                MAC_PERFORM(task_label_init, mlj->l);
#if 0
                        /* Not enough context to replay. */
                        if (mlj->ops & MLJ_TASK_OP_CREATE_K)
                                ;
#endif
                        break;
                default:
                        break;
                }
        }

        /* Free list */
        while (!TAILQ_EMPTY(&mac_label_journal_list)) {
                mlj = TAILQ_FIRST(&mac_label_journal_list);
                TAILQ_REMOVE(&mac_label_journal_list, mlj, link);
                FREE(mlj, M_MACTEMP);
        }
        return;
}

static __inline void
mac_policy_grab_exclusive(void)
{
        lck_mtx_lock(mac_policy_mtx);
        while (mac_policy_busy != 0) {
                lck_mtx_sleep(mac_policy_mtx, LCK_SLEEP_UNLOCK,
                              (event_t)&mac_policy_busy, THREAD_UNINT);
                lck_mtx_lock(mac_policy_mtx);
        }
}

static __inline void
mac_policy_assert_exclusive(void)
{
        lck_mtx_assert(mac_policy_mtx, LCK_MTX_ASSERT_OWNED);
        KASSERT(mac_policy_busy == 0,
            ("mac_policy_assert_exclusive(): not exclusive"));
}

static __inline void
mac_policy_release_exclusive(void)
{

        KASSERT(mac_policy_busy == 0,
            ("mac_policy_release_exclusive(): not exclusive"));
        lck_mtx_unlock(mac_policy_mtx);
        thread_wakeup((event_t) &mac_policy_busy);
}

void
mac_policy_list_busy(void)
{
        lck_mtx_lock(mac_policy_mtx);
        mac_policy_busy++;
        lck_mtx_unlock(mac_policy_mtx);
}

int
mac_policy_list_conditional_busy(void)
{
        int ret;

        if (mac_policy_list.numloaded <= mac_policy_list.staticmax)
                return(0);

        lck_mtx_lock(mac_policy_mtx);
        if (mac_policy_list.numloaded > mac_policy_list.staticmax) {
                mac_policy_busy++;
                ret = 1;
        } else
                ret = 0;
        lck_mtx_unlock(mac_policy_mtx);
        return (ret);
}

void
mac_policy_list_unbusy(void)
{
        lck_mtx_lock(mac_policy_mtx);
        mac_policy_busy--;
        KASSERT(mac_policy_busy >= 0, ("MAC_POLICY_LIST_LOCK"));
        if (mac_policy_busy == 0)
                thread_wakeup(&mac_policy_busy);
        lck_mtx_unlock(mac_policy_mtx);
}

/*
 * Early pre-malloc MAC initialization, including appropriate SMP locks.
 */
void
mac_policy_init(void)
{
        lck_grp_attr_t *mac_lck_grp_attr;
        lck_attr_t *mac_lck_attr;
        lck_grp_t *mac_lck_grp;

        mac_policy_list.numloaded = 0;
        mac_policy_list.max = MAC_POLICY_LIST_CHUNKSIZE;
        mac_policy_list.maxindex = 0;
        mac_policy_list.staticmax = 0;
        mac_policy_list.freehint = 0;
        mac_policy_list.chunks = 1;

        mac_policy_list.entries = kalloc(sizeof(struct mac_policy_list_element) * MAC_POLICY_LIST_CHUNKSIZE);
        bzero(mac_policy_list.entries, sizeof(struct mac_policy_list_element) * MAC_POLICY_LIST_CHUNKSIZE); 

        LIST_INIT(&mac_label_element_list);
        LIST_INIT(&mac_static_label_element_list);
        TAILQ_INIT(&mac_label_journal_list);

        mac_lck_grp_attr = lck_grp_attr_alloc_init();
        lck_grp_attr_setstat(mac_lck_grp_attr);
        mac_lck_grp = lck_grp_alloc_init("MAC lock", mac_lck_grp_attr);
        mac_lck_attr = lck_attr_alloc_init();
        lck_attr_setdefault(mac_lck_attr);
        mac_policy_mtx = lck_mtx_alloc_init(mac_lck_grp, mac_lck_attr);
        lck_attr_free(mac_lck_attr);
        lck_grp_attr_free(mac_lck_grp_attr);
        lck_grp_free(mac_lck_grp);
        
        mac_labelzone_init();
}

/*
 * Init after early Mach startup, but before BSD
 */
void
mac_policy_initmach(void)
{

        /*
         * For the purposes of modules that want to know if they were
         * loaded "early", set the mac_late flag once we've processed
         * modules either linked into the kernel, or loaded before the
         * kernel startup.
         */

        load_security_extensions();
        mac_late = 1;
#if CONFIG_MACF_MACH
        mac_label_journal_replay();
#endif
}

/*
 * BSD startup.
 */
void
mac_policy_initbsd(void)
{
        struct mac_policy_conf *mpc;
        u_int i;

        mac_audit_data_zone = zinit(MAC_AUDIT_DATA_LIMIT,
                                    AQ_HIWATER * MAC_AUDIT_DATA_LIMIT,
                                    8192, "mac_audit_data_zone");

        printf("MAC Framework successfully initialized\n");

        /* Call bsd init functions of already loaded policies */

        /*
         * Using the exclusive lock means no other framework entry
         * points can proceed while initializations are running.
         * This may not be necessary.
         */
        mac_policy_grab_exclusive();

        for (i = 0; i <= mac_policy_list.maxindex; i++) {
                mpc = mac_get_mpc(i);
                if ((mpc != NULL) && (mpc->mpc_ops->mpo_policy_initbsd != NULL))
                        (*(mpc->mpc_ops->mpo_policy_initbsd))(mpc);
        }

        mac_policy_release_exclusive();
}

/*
 * After a policy has been loaded, add the label namespaces managed by the
 * policy to either the static or non-static label namespace list.  
 * A namespace is added to the the list only if it is not already on one of 
 * the lists.
 */
void
mac_policy_addto_labellist(mac_policy_handle_t handle, int static_entry)
{
        struct mac_label_listener **new_mlls;
        struct mac_label_element *mle, **new_mles;
        struct mac_label_element_list_t *list;
        struct mac_policy_conf *mpc;
        const char *name, *name2;
        u_int idx, mle_free, mll_free;

        mpc = mac_get_mpc(handle);

        if (mpc->mpc_labelnames == NULL)
                return;

        if (mpc->mpc_labelname_count == 0)
                return;

        if (static_entry)
                list = &mac_static_label_element_list;
        else
                list = &mac_label_element_list;

        /*
         * Before we grab the policy list lock, allocate enough memory
         * to contain the potential new elements so we don't have to 
         * give up the lock, or allocate with the lock held.
         */
        MALLOC(new_mles, struct mac_label_element **,
            sizeof(struct mac_label_element *) *
            mpc->mpc_labelname_count, M_MACTEMP, M_WAITOK | M_ZERO);
        for (idx = 0; idx < mpc->mpc_labelname_count; idx++)
                MALLOC(new_mles[idx], struct mac_label_element *, 
                    sizeof(struct mac_label_element),
                    M_MACTEMP, M_WAITOK);
        mle_free = 0;
        MALLOC(new_mlls, struct mac_label_listener **,
            sizeof(struct mac_label_listener *) *
            mpc->mpc_labelname_count, M_MACTEMP, M_WAITOK);
        for (idx = 0; idx < mpc->mpc_labelname_count; idx++)
                MALLOC(new_mlls[idx], struct mac_label_listener *,
                    sizeof(struct mac_label_listener), M_MACTEMP, M_WAITOK);
        mll_free = 0;

        if (mac_late)
                mac_policy_grab_exclusive();
        for (idx = 0; idx < mpc->mpc_labelname_count; idx++) {

                if (*(name = mpc->mpc_labelnames[idx]) == '?')
                        name++;
                /*
                 * Check both label element lists and add to the 
                 * appropriate list only if not already on a list.
                 */
                LIST_FOREACH(mle, &mac_static_label_element_list, mle_list) {
                        if (*(name2 = mle->mle_name) == '?')
                                name2++;
                        if (strcmp(name, name2) == 0)
                                break;
                }
                if (mle == NULL) {
                        LIST_FOREACH(mle, &mac_label_element_list, mle_list) {
                                if (*(name2 = mle->mle_name) == '?')
                                        name2++;
                                if (strcmp(name, name2) == 0)
                                        break;
                        }
                }
                if (mle == NULL) {
                        mle = new_mles[mle_free];
                        strlcpy(mle->mle_name, mpc->mpc_labelnames[idx],
                                        MAC_MAX_LABEL_ELEMENT_NAME);
                        LIST_INIT(&mle->mle_listeners);
                        LIST_INSERT_HEAD(list, mle, mle_list);
                        mle_free++;
                }
                /* Add policy handler as a listener. */
                new_mlls[mll_free]->mll_handle = handle;
                LIST_INSERT_HEAD(&mle->mle_listeners, new_mlls[mll_free],
                    mll_list);
                mll_free++;
        }
        if (mac_late)
                mac_policy_release_exclusive();

        /* Free up any unused label elements and listeners */
        for (idx = mle_free; idx < mpc->mpc_labelname_count; idx++)
                FREE(new_mles[idx], M_MACTEMP);
        FREE(new_mles, M_MACTEMP);
        for (idx = mll_free; idx < mpc->mpc_labelname_count; idx++)
                FREE(new_mlls[idx], M_MACTEMP);
        FREE(new_mlls, M_MACTEMP);
}

/*
 * After a policy has been unloaded, remove the label namespaces that the
 * the policy manages from the non-static list of namespaces.
 * The removal only takes place when no other policy is interested in the
 * namespace.
 *
 * Must be called with the policy exclusive lock held.
 */
void
mac_policy_removefrom_labellist(mac_policy_handle_t handle)
{
        struct mac_label_listener *mll;
        struct mac_label_element *mle;
        struct mac_policy_conf *mpc;

        mpc = mac_get_mpc(handle);

        if (mpc->mpc_labelnames == NULL)
                return;

        if (mpc->mpc_labelname_count == 0)
                return;

        /*
         * Unregister policy as being interested in any label
         * namespaces.  If no other policy is listening, remove
         * that label element from the list.  Note that we only
         * have to worry about the non-static list.
         */
        LIST_FOREACH(mle, &mac_label_element_list, mle_list) {
                LIST_FOREACH(mll, &mle->mle_listeners, mll_list) {
                        if (mll->mll_handle == handle) {
                                LIST_REMOVE(mll, mll_list);
                                FREE(mll, M_MACTEMP);
                                if (LIST_EMPTY(&mle->mle_listeners)) {
                                        LIST_REMOVE(mle, mle_list);
                                        FREE(mle, M_MACTEMP);
                                }
                                return;
                        }
                }
        }
}

/*
 * After the policy list has changed, walk the list to update any global
 * flags.
 */
static void
mac_policy_updateflags(void)
{
#if !defined(CONFIG_MACF_ALWAYS_LABEL_MBUF) && 0 /* port to new list style */

        struct mac_policy_conf *tmpc;
        int labelmbufs;

        mac_policy_assert_exclusive();

        labelmbufs = 0;

        /* XXX - convert to new list structure */
        LIST_FOREACH(tmpc, &mac_static_policy_list, mpc_list) {
                if (tmpc->mpc_loadtime_flags & MPC_LOADTIME_FLAG_LABELMBUFS)
                        labelmbufs++;
        }
        LIST_FOREACH(tmpc, &mac_policy_list, mpc_list) {
                if (tmpc->mpc_loadtime_flags & MPC_LOADTIME_FLAG_LABELMBUFS)
                        labelmbufs++;
        }
        mac_labelmbufs = (labelmbufs != 0);
#endif
}

static __inline void
mac_policy_fixup_mmd_list(struct mac_module_data *new)
{
        struct mac_module_data *old;
        struct mac_module_data_element *ele, *aele;
        struct mac_module_data_list *arr, *dict;
        unsigned int i, j, k;

        old = new->base_addr;
        DPRINTF(("fixup_mmd: old %p new %p\n", old, new));
        for (i = 0; i < new->count; i++) {
                ele = &(new->data[i]);
                DPRINTF(("fixup_mmd: ele %p\n", ele));
                DPRINTF(("   key %p value %p\n", ele->key, ele->value));
                mmd_fixup_ele(old, new, ele); /* Fix up key/value ptrs.       */
                DPRINTF(("   key %p value %p\n", ele->key, ele->value));
                if (ele->value_type == MAC_DATA_TYPE_ARRAY) {
                        arr = (struct mac_module_data_list *)ele->value;
                        DPRINTF(("fixup_mmd: array @%p\n", arr));
                        for (j = 0; j < arr->count; j++) {
                                aele = &(arr->list[j]);
                                DPRINTF(("fixup_mmd: aele %p\n", aele));
                                DPRINTF(("   key %p value %p\n", aele->key, aele->value));
                                mmd_fixup_ele(old, new, aele);
                                DPRINTF(("   key %p value %p\n", aele->key, aele->value));
                                if (arr->type == MAC_DATA_TYPE_DICT) {
                                        dict = (struct mac_module_data_list *)aele->value;
                                        DPRINTF(("fixup_mmd: dict @%p\n", dict));
                                        for (k = 0; k < dict->count; k++)
                                                mmd_fixup_ele(old, new,
                                                    &(dict->list[k]));
                                }
                        }
                }
        }
        new->base_addr = new;
}

int
mac_policy_register(struct mac_policy_conf *mpc, mac_policy_handle_t *handlep,
    void *xd)
{
        struct mac_policy_list_element *tmac_policy_list_element;
        int error, slot, static_entry = 0;
        u_int i;

        /*
         * Some preliminary checks to make sure the policy's conf structure
         * contains the required fields.
         */
        if (mpc->mpc_name == NULL)
                panic("policy's name is not set\n");

        if (mpc->mpc_fullname == NULL)
                panic("policy's full name is not set\n");

        if (mpc->mpc_labelname_count > MAC_MAX_MANAGED_NAMESPACES)
                panic("policy's managed label namespaces exceeds maximum\n");

        if (mpc->mpc_ops == NULL)
                panic("policy's OPs field is NULL\n");

        error = 0;

        if (mac_late) {
                if (mpc->mpc_loadtime_flags & MPC_LOADTIME_FLAG_NOTLATE) {
                        printf("Module %s does not support late loading.\n",
                            mpc->mpc_name);
                        return (EPERM);
                }
                mac_policy_grab_exclusive();
        }

        if (mac_policy_list.numloaded >= mac_policy_list.max) {
                /* allocate new policy list array, zero new chunk */
                tmac_policy_list_element =
                    kalloc((sizeof(struct mac_policy_list_element) *
                    MAC_POLICY_LIST_CHUNKSIZE) * (mac_policy_list.chunks + 1));
                bzero(&tmac_policy_list_element[mac_policy_list.max],
                    sizeof(struct mac_policy_list_element) *
                    MAC_POLICY_LIST_CHUNKSIZE);
                
                /* copy old entries into new list */
                memcpy(tmac_policy_list_element, mac_policy_list.entries, 
                   sizeof(struct mac_policy_list_element) *
                   MAC_POLICY_LIST_CHUNKSIZE * mac_policy_list.chunks);
        
                /* free old array */
                kfree(mac_policy_list.entries,
                    sizeof(struct mac_policy_list_element) *
                    MAC_POLICY_LIST_CHUNKSIZE * mac_policy_list.chunks);
                
                mac_policy_list.entries = tmac_policy_list_element;

                /* Update maximums, etc */
                mac_policy_list.max += MAC_POLICY_LIST_CHUNKSIZE;
                mac_policy_list.chunks++;
        }

        /* Check for policy with same name already loaded */
        for (i = 0; i <= mac_policy_list.maxindex; i++) {
                if (mac_policy_list.entries[i].mpc == NULL) 
                        continue;       

                if (strcmp(mac_policy_list.entries[i].mpc->mpc_name,
                    mpc->mpc_name) == 0) {
                        error = EEXIST;
                        goto out;
                }
        }

        if (mpc->mpc_field_off != NULL) {
                slot = ffs(mac_slot_offsets_free);
                if (slot == 0) {
                        error = ENOMEM;
                        goto out;
                }
                slot--;
                mac_slot_offsets_free &= ~(1 << slot);
                *mpc->mpc_field_off = slot;
        }
        mpc->mpc_runtime_flags |= MPC_RUNTIME_FLAG_REGISTERED;

        if (xd) {
                struct mac_module_data *mmd = xd; /* module data from plist */

                /* Make a copy of the data. */
                mpc->mpc_data = (void *)kalloc(mmd->size);
                if (mpc->mpc_data != NULL) {
                        memcpy(mpc->mpc_data, mmd, mmd->size);

                        /* Fix up pointers after copy. */
                        mac_policy_fixup_mmd_list(mpc->mpc_data);
                }
        }

        /* Find the first free handle in the list (using our hint). */
        for (i = mac_policy_list.freehint; i < mac_policy_list.max; i++) {
                if (mac_policy_list.entries[i].mpc == NULL) {
                        *handlep = i;
                        mac_policy_list.freehint = ++i;
                        break;
                }
        }

        /*
         * If we are loading a MAC module before the framework has
         * finished initializing or the module is not unloadable and
         * we can place its handle adjacent to the last static entry,
         * bump the static policy high water mark.
         * Static policies can get by with weaker locking requirements.
         */
        if (!mac_late ||
            ((mpc->mpc_loadtime_flags & MPC_LOADTIME_FLAG_UNLOADOK) == 0 &&
            *handlep == mac_policy_list.staticmax)) {
                static_entry = 1;
                mac_policy_list.staticmax++;
        }

        mac_policy_list.entries[*handlep].mpc = mpc;

        /* Update counters, etc */
        if (*handlep > mac_policy_list.maxindex) 
                mac_policy_list.maxindex = *handlep;
        mac_policy_list.numloaded++;
        
        /* Per-policy initialization. */
        printf ("calling mpo_policy_init for %s\n", mpc->mpc_name);
        if (mpc->mpc_ops->mpo_policy_init != NULL)
                (*(mpc->mpc_ops->mpo_policy_init))(mpc);

        if (mac_late && mpc->mpc_ops->mpo_policy_initbsd != NULL) {
                printf ("calling mpo_policy_initbsd for %s\n", mpc->mpc_name);
                (*(mpc->mpc_ops->mpo_policy_initbsd))(mpc);
        }

        mac_policy_updateflags();

        if (mac_late)
                mac_policy_release_exclusive();

        mac_policy_addto_labellist(*handlep, static_entry);

        printf("Security policy loaded: %s (%s)\n", mpc->mpc_fullname,
            mpc->mpc_name);

        return (0);

out:
        if (mac_late)
                mac_policy_release_exclusive();

        return (error);
}

int
mac_policy_unregister(mac_policy_handle_t handle)
{
        struct mac_policy_conf *mpc;

        /*
         * If we fail the load, we may get a request to unload.  Check
         * to see if we did the run-time registration, and if not,
         * silently succeed.
         */
        mac_policy_grab_exclusive();
        mpc = mac_get_mpc(handle);
        if ((mpc->mpc_runtime_flags & MPC_RUNTIME_FLAG_REGISTERED) == 0) {
                mac_policy_release_exclusive();
                return (0);
        }

#if 0
        /*
         * Don't allow unloading modules with private data.
         */
        if (mpc->mpc_field_off != NULL) {
                MAC_POLICY_LIST_UNLOCK();
                return (EBUSY);
        }
#endif
        /*
         * Only allow the unload to proceed if the module is unloadable
         * by its own definition.
         */
        if ((mpc->mpc_loadtime_flags & MPC_LOADTIME_FLAG_UNLOADOK) == 0) {
                mac_policy_release_exclusive();
                return (EBUSY);
        }

        mac_policy_removefrom_labellist(handle);

        mac_get_mpc(handle) = NULL;
        if (handle < mac_policy_list.freehint &&
            handle >= mac_policy_list.staticmax)
                mac_policy_list.freehint = handle;

        if (handle == mac_policy_list.maxindex)
                mac_policy_list.maxindex--;

        mac_policy_list.numloaded--; 
        if (mpc->mpc_field_off != NULL) {
                mac_slot_offsets_free |= (1 << *mpc->mpc_field_off);
        }

        if (mpc->mpc_ops->mpo_policy_destroy != NULL)
                (*(mpc->mpc_ops->mpo_policy_destroy))(mpc);

        mpc->mpc_runtime_flags &= ~MPC_RUNTIME_FLAG_REGISTERED;
        mac_policy_updateflags();

        mac_policy_release_exclusive();

        if (mpc->mpc_data) {
                struct mac_module_data *mmd = mpc->mpc_data;
                kfree(mmd, mmd->size);
                mpc->mpc_data = NULL;
        }

        printf("Security policy unload: %s (%s)\n", mpc->mpc_fullname,
            mpc->mpc_name);

        return (0);
}

/*
 * Define an error value precedence, and given two arguments, selects the
 * value with the higher precedence.
 */
int
mac_error_select(int error1, int error2)
{

        /* Certain decision-making errors take top priority. */
        if (error1 == EDEADLK || error2 == EDEADLK)
                return (EDEADLK);

        /* Invalid arguments should be reported where possible. */
        if (error1 == EINVAL || error2 == EINVAL)
                return (EINVAL);

        /* Precedence goes to "visibility", with both process and file. */
        if (error1 == ESRCH || error2 == ESRCH)
                return (ESRCH);

        if (error1 == ENOENT || error2 == ENOENT)
                return (ENOENT);

        /* Precedence goes to DAC/MAC protections. */
        if (error1 == EACCES || error2 == EACCES)
                return (EACCES);

        /* Precedence goes to privilege. */
        if (error1 == EPERM || error2 == EPERM)
                return (EPERM);

        /* Precedence goes to error over success; otherwise, arbitrary. */
        if (error1 != 0)
                return (error1);
        return (error2);
}

void
mac_label_init(struct label *label)
{

        bzero(label, sizeof(*label));
        label->l_flags = MAC_FLAG_INITIALIZED;
}

void
mac_label_destroy(struct label *label)
{

        KASSERT(label->l_flags & MAC_FLAG_INITIALIZED,
            ("destroying uninitialized label"));

        bzero(label, sizeof(*label));
        /* implicit: label->l_flags &= ~MAC_FLAG_INITIALIZED; */
}

int
mac_port_check_service (struct label *subj, struct label *obj,
    const char *s, const char *p)
{
        int error;

        MAC_CHECK(port_check_service, subj, obj, s, p);
        return (error);
}

int
mac_port_label_compute(struct label *subj, struct label *obj,
    const char *s, struct label *out)
{
        int error;

        MAC_CHECK(port_label_compute, subj, obj, s, out);
        return error;
}

int
mac_check_structmac_consistent(struct user_mac *mac)
{

        if (mac->m_buflen > MAC_MAX_LABEL_BUF_LEN || mac->m_buflen == 0)
                return (EINVAL);

        return (0);
}

/*
 * Get the external forms of labels from all policies, for a single
 * label namespace or "*" for all namespaces.  Returns ENOENT if no policy
 * is registered for the namespace, unless the namespace begins with a '?'.
 */
static int
mac_label_externalize(size_t mpo_externalize_off, struct label *label,
    const char *element, struct sbuf *sb)
{
        struct mac_policy_conf *mpc;
        struct mac_label_listener *mll;
        struct mac_label_element *mle;
        struct mac_label_element_list_t *element_list;
        const char *name;
        int (*mpo_externalize)(struct label *, char *, struct sbuf *);
        int all_labels = 0, ignorenotfound = 0, error = 0, busy = FALSE;
        unsigned int count = 0;

        if (element[0] == '?') {
                element++;
                ignorenotfound = 1;
        } else if (element[0] == '*' && element[1] == '\0')
                all_labels = 1;

        element_list = &mac_static_label_element_list;
element_loop:
        LIST_FOREACH(mle, element_list, mle_list) {
                name = mle->mle_name;
                if (all_labels) {
                        if (*name == '?')
                            continue;
                } else {
                        if (*name == '?')
                                name++;
                        if (strcmp(name, element) != 0)
                                continue;
                }
                LIST_FOREACH(mll, &mle->mle_listeners, mll_list) {
                        mpc = mac_policy_list.entries[mll->mll_handle].mpc;
                        if (mpc == NULL)
                                continue;
                        mpo_externalize = *(typeof(mpo_externalize) *)
                            ((char *)mpc->mpc_ops + mpo_externalize_off);
                        if (mpo_externalize == NULL)
                                continue;
                        error = sbuf_printf(sb, "%s/", name);
                        if (error)
                                goto done;
                        error = mpo_externalize(label, mle->mle_name, sb);
                        if (error) {
                                if (error != ENOENT)
                                        goto done;
                                /*
                                 * If a policy doesn't have a label to
                                 * externalize it returns ENOENT.  This
                                 * may occur for policies that support
                                 * multiple label elements for some
                                 * (but not all) object types.
                                 */
                                sbuf_setpos(sb, sbuf_len(sb) -
                                    (strlen(name) + 1));
                                error = 0;
                                continue;
                        }
                        error = sbuf_putc(sb, ',');
                        if (error)
                                goto done;
                        count++;
                }
        }
        /* If there are dynamic policies present, check their elements too. */
        if (!busy && mac_policy_list_conditional_busy() == 1) {
                element_list = &mac_label_element_list;
                busy = TRUE;
                goto element_loop;
        }
done:
        if (busy)
                mac_policy_list_unbusy();
        if (!error && count == 0) {
                if (!all_labels && !ignorenotfound)
                        error = ENOENT; /* XXX: ENOLABEL? */
        }
        return (error);
}

/*
 * Get the external forms of labels from all policies, for all label
 * namespaces contained in a list.
 */
int
mac_externalize(size_t mpo_externalize_off, struct label *label,
    const char *elementlist, char *outbuf, size_t outbuflen)
{
        char *element;
        struct sbuf sb;
        int error = 0, len;

        sbuf_new(&sb, outbuf, outbuflen, SBUF_FIXEDLEN);
        while ((element = strsep(&elementlist, ",")) != NULL) {
                error = mac_label_externalize(mpo_externalize_off, label,
                    element, &sb);
                if (error)
                        break;
        }
        if ((len = sbuf_len(&sb)) > 0)
                sbuf_setpos(&sb, len - 1);      /* trim trailing comma */
        sbuf_finish(&sb);
        return (error);
}

/*
 * Have all policies set the internal form of a label, for a single
 * label namespace.
 */
static int
mac_label_internalize(size_t mpo_internalize_off, struct label *label,
    char *element_name, char *element_data)
{
        struct mac_policy_conf *mpc;
        struct mac_label_listener *mll;
        struct mac_label_element *mle;
        struct mac_label_element_list_t *element_list;
        int (*mpo_internalize)(struct label *, char *, char *);
        int error = 0, busy = FALSE;
        unsigned int count = 0;
        const char *name;

        element_list = &mac_static_label_element_list;
element_loop:
        LIST_FOREACH(mle, element_list, mle_list) {
                if (*(name = mle->mle_name) == '?')
                        name++;
                if (strcmp(element_name, name) != 0)
                        continue;
                LIST_FOREACH(mll, &mle->mle_listeners, mll_list) {
                        mpc = mac_policy_list.entries[mll->mll_handle].mpc;
                        if (mpc == NULL)
                                continue;
                        mpo_internalize = *(typeof(mpo_internalize) *)
                            ((char *)mpc->mpc_ops + mpo_internalize_off);
                        if (mpo_internalize == NULL)
                                continue;
                        error = mpo_internalize(label, element_name,
                            element_data);
                        if (error)
                                goto done;
                        count++;
                }
        }
        /* If there are dynamic policies present, check their elements too. */
        if (!busy && mac_policy_list_conditional_busy() == 1) {
                element_list = &mac_label_element_list;
                busy = TRUE;
                goto element_loop;
        }
done:
        if (busy)
                mac_policy_list_unbusy();
        if (!error && count == 0)
                error = ENOPOLICY;
        return (error);
}

int
mac_internalize(size_t mpo_internalize_off, struct label *label,
    char *textlabels)
{
        char *element_name, *element_data;
        int error = 0;

        while (!error && (element_name = strsep(&textlabels, ",")) != NULL) {
                element_data = strchr(element_name, '/');
                if (element_data == NULL) {
                        error = EINVAL;
                        break;
                }
                *element_data++ = '\0';
                error = mac_label_internalize(mpo_internalize_off, label,
                    element_name, element_data);
        }
        return (error);
}

/* system calls */

int
__mac_get_pid(struct proc *p, struct __mac_get_pid_args *uap, register_t *ret __unused)
{
        char *elements, *buffer;
        struct user_mac mac;
        struct proc *tproc;
        struct ucred *tcred;
        int error;
        size_t ulen;

        AUDIT_ARG(pid, uap->pid);
        if (IS_64BIT_PROCESS(p)) {
                error = copyin(uap->mac_p, &mac, sizeof(mac));
        } else {
                struct mac mac32;
                error = copyin(uap->mac_p, &mac32, sizeof(mac32));
                mac.m_buflen = mac32.m_buflen;
                mac.m_string = CAST_USER_ADDR_T(mac32.m_string);
        }
        if (error)
                return (error);

        error = mac_check_structmac_consistent(&mac);
        if (error)
                return (error);

        tproc = proc_find(uap->pid);
        if (tproc == NULL)
                return (ESRCH);
        tcred = kauth_cred_proc_ref(tproc);
        proc_rele(tproc);

        MALLOC(elements, char *, mac.m_buflen, M_MACTEMP, M_WAITOK);
        error = copyinstr(mac.m_string, elements, mac.m_buflen, &ulen);
        if (error) {
                FREE(elements, M_MACTEMP);
                kauth_cred_unref(&tcred);
                return (error);
        }
        AUDIT_ARG(mac_string, elements);

        MALLOC(buffer, char *, mac.m_buflen, M_MACTEMP, M_WAITOK | M_ZERO);
        error = mac_cred_label_externalize(tcred->cr_label, elements,
            buffer, mac.m_buflen, M_WAITOK);
        if (error == 0)
                error = copyout(buffer, mac.m_string, strlen(buffer)+1);

        FREE(buffer, M_MACTEMP);
        FREE(elements, M_MACTEMP);
        kauth_cred_unref(&tcred);
        return (error);
}

int
__mac_get_proc(proc_t p, struct __mac_get_proc_args *uap, register_t *ret __unused)
{
        char *elements, *buffer;
        struct user_mac mac;
        kauth_cred_t cr;
        int error;
        size_t ulen;

        if (IS_64BIT_PROCESS(p)) {
                error = copyin(uap->mac_p, &mac, sizeof(mac));
        } else {
                struct mac mac32;
                error = copyin(uap->mac_p, &mac32, sizeof(mac32));
                mac.m_buflen = mac32.m_buflen;
                mac.m_string = CAST_USER_ADDR_T(mac32.m_string);
        }
        if (error)
                return (error);

        error = mac_check_structmac_consistent(&mac);
        if (error)
                return (error);

        MALLOC(elements, char *, mac.m_buflen, M_MACTEMP, M_WAITOK);
        error = copyinstr(mac.m_string, elements, mac.m_buflen, &ulen);
        if (error) {
                FREE(elements, M_MACTEMP);
                return (error);
        }
        AUDIT_ARG(mac_string, elements);

        cr = kauth_cred_proc_ref(p);

        MALLOC(buffer, char *, mac.m_buflen, M_MACTEMP, M_WAITOK | M_ZERO);
        error = mac_cred_label_externalize(cr->cr_label,
            elements, buffer, mac.m_buflen, M_WAITOK);
        if (error == 0)
                error = copyout(buffer, mac.m_string, strlen(buffer)+1);

        FREE(buffer, M_MACTEMP);
        FREE(elements, M_MACTEMP);
        kauth_cred_unref(&cr);
        return (error);
}

/*
 * MPSAFE
 */

int
__mac_set_proc(proc_t p, struct __mac_set_proc_args *uap, register_t *ret __unused)
{
        kauth_cred_t newcred, oldcred;
        struct label *intlabel;
        struct user_mac mac;
        char *buffer;
        int error;
        size_t ulen;

        if (IS_64BIT_PROCESS(p)) {
                error = copyin(uap->mac_p, &mac, sizeof(mac));
        } else {
                struct mac mac32;
                error = copyin(uap->mac_p, &mac32, sizeof(mac32));
                mac.m_buflen = mac32.m_buflen;
                mac.m_string = CAST_USER_ADDR_T(mac32.m_string);
        }
        if (error)
                return (error);

        error = mac_check_structmac_consistent(&mac);
        if (error)
                return (error);

        MALLOC(buffer, char *, mac.m_buflen, M_MACTEMP, M_WAITOK);
        error = copyinstr(mac.m_string, buffer, mac.m_buflen, &ulen);
        if (error) {
                FREE(buffer, M_MACTEMP);
                return (error);
        }
        AUDIT_ARG(mac_string, buffer);

        intlabel = mac_cred_label_alloc();
        error = mac_cred_label_internalize(intlabel, buffer);
        FREE(buffer, M_MACTEMP);
        if (error)
                goto out;

        error = mac_cred_check_label_update(kauth_cred_get(), intlabel);
        if (error) {
                goto out;
        }

        error = kauth_proc_label_update(p, intlabel);
        if (error)
                goto out;

        newcred = kauth_cred_proc_ref(p);
        mac_task_label_update_cred(newcred, p->task);

#if 0
        if (mac_vm_enforce) {
                mutex_lock(Giant);                      /* XXX FUNNEL? */
                mac_cred_mmapped_drop_perms(p, newcred);
                mutex_unlock(Giant);                    /* XXX FUNNEL? */
        }
#endif

        kauth_cred_unref(&newcred);
out:
        mac_cred_label_free(intlabel);
        return (error);
}

#if CONFIG_LCTX
int
__mac_get_lcid(proc_t p, struct __mac_get_lcid_args *uap, register_t *ret __unused)
{
        char *elements, *buffer;
        struct user_mac mac;
        struct lctx *l;
        int error;
        size_t ulen;

        AUDIT_ARG(value, uap->lcid);
        if (IS_64BIT_PROCESS(p)) {
                error = copyin(uap->mac_p, &mac, sizeof(mac));
        } else {
                struct mac mac32;
                error = copyin(uap->mac_p, &mac32, sizeof(mac32));
                mac.m_buflen = mac32.m_buflen;
                mac.m_string = CAST_USER_ADDR_T(mac32.m_string);
        }

        if (error)
                return (error);

        error = mac_check_structmac_consistent(&mac);
        if (error)
                return (error);

        l = lcfind(uap->lcid);
        if (l == NULL)
                return (ESRCH);

        MALLOC(elements, char *, mac.m_buflen, M_MACTEMP, M_WAITOK);
        error = copyinstr(mac.m_string, elements, mac.m_buflen, &ulen);
        if (error) {
                LCTX_UNLOCK(l);
                FREE(elements, M_MACTEMP);
                return (error);
        }
        AUDIT_ARG(mac_string, elements);
        MALLOC(buffer, char *, mac.m_buflen, M_MACTEMP, M_WAITOK);
        error = mac_lctx_label_externalize(l->lc_label, elements,
                                           buffer, mac.m_buflen);
        if (error == 0)
                error = copyout(buffer, mac.m_string, strlen(buffer)+1);

        LCTX_UNLOCK(l);
        FREE(buffer, M_MACTEMP);
        FREE(elements, M_MACTEMP);
        return (error);
}

int
__mac_get_lctx(proc_t p, struct __mac_get_lctx_args *uap, register_t *ret __unused)
{
        char *elements, *buffer;
        struct user_mac mac;
        int error;
        size_t ulen;

        if (IS_64BIT_PROCESS(p)) {
                error = copyin(uap->mac_p, &mac, sizeof(mac));
        } else {
                struct mac mac32;
                error = copyin(uap->mac_p, &mac32, sizeof(mac32));
                mac.m_buflen = mac32.m_buflen;
                mac.m_string = CAST_USER_ADDR_T(mac32.m_string);
        }

        if (error)
                return (error);

        error = mac_check_structmac_consistent(&mac);
        if (error)
                return (error);

        MALLOC(elements, char *, mac.m_buflen, M_MACTEMP, M_WAITOK);
        error = copyinstr(mac.m_string, elements, mac.m_buflen, &ulen);
        if (error) {
                FREE(elements, M_MACTEMP);
                return (error);
        }
        AUDIT_ARG(mac_string, elements);
        MALLOC(buffer, char *, mac.m_buflen, M_MACTEMP, M_WAITOK);

        proc_lock(p);
        if (p->p_lctx == NULL) {
                proc_unlock(p);
                error = ENOENT;
                goto out;
        }

        error = mac_lctx_label_externalize(p->p_lctx->lc_label,
                                           elements, buffer, mac.m_buflen);
        proc_unlock(p);
        if (error == 0)
                error = copyout(buffer, mac.m_string, strlen(buffer)+1);

out:
        FREE(buffer, M_MACTEMP);
        FREE(elements, M_MACTEMP);
        return (error);
}

int
__mac_set_lctx(proc_t p, struct __mac_set_lctx_args *uap, register_t *ret __unused)
{
        struct user_mac mac;
        struct label *intlabel;
        char *buffer;
        int error;
        size_t ulen;

        if (IS_64BIT_PROCESS(p)) {
                error = copyin(uap->mac_p, &mac, sizeof(mac));
        } else {
                struct mac mac32;
                error = copyin(uap->mac_p, &mac32, sizeof(mac32));
                mac.m_buflen = mac32.m_buflen;
                mac.m_string = CAST_USER_ADDR_T(mac32.m_string);
        }
        if (error)
                return (error);

        error = mac_check_structmac_consistent(&mac);
        if (error)
                return (error);

        MALLOC(buffer, char *, mac.m_buflen, M_MACTEMP, M_WAITOK);
        error = copyinstr(mac.m_string, buffer, mac.m_buflen, &ulen);
        if (error) {
                FREE(buffer, M_MACTEMP);
                return (error);
        }
        AUDIT_ARG(mac_string, buffer);

        intlabel = mac_lctx_label_alloc();
        error = mac_lctx_label_internalize(intlabel, buffer);
        FREE(buffer, M_MACTEMP);
        if (error)
                goto out;

        proc_lock(p);
        if (p->p_lctx == NULL) {
                proc_unlock(p);
                error = ENOENT;
                goto out;
        }

        error = mac_lctx_check_label_update(p->p_lctx, intlabel);
        if (error) {
                proc_unlock(p);
                goto out;
        }
        mac_lctx_label_update(p->p_lctx, intlabel);
        proc_unlock(p);
out:
        mac_lctx_label_free(intlabel);
        return (error);
}

#else   /* LCTX */

int
__mac_get_lcid(proc_t p __unused, struct __mac_get_lcid_args *uap __unused, register_t *ret __unused)
{

        return (ENOSYS);
}

int
__mac_get_lctx(proc_t p __unused, struct __mac_get_lctx_args *uap __unused, register_t *ret __unused)
{

        return (ENOSYS);
}

int
__mac_set_lctx(proc_t p __unused, struct __mac_set_lctx_args *uap __unused, register_t *ret __unused)
{

        return (ENOSYS);
}
#endif  /* !LCTX */

int
__mac_get_fd(proc_t p, struct __mac_get_fd_args *uap, register_t *ret __unused)
{
        struct fileproc *fp;
        struct vnode *vp;
        struct user_mac mac;
        char *elements, *buffer;
        int error;
        size_t ulen;
        kauth_cred_t my_cred;
#if CONFIG_MACF_SOCKET
        struct socket *so;
#endif  /* MAC_SOCKET */
        struct label *intlabel;

        AUDIT_ARG(fd, uap->fd);

        if (IS_64BIT_PROCESS(p)) {
                error = copyin(uap->mac_p, &mac, sizeof(mac));
        } else {
                struct mac mac32;
                error = copyin(uap->mac_p, &mac32, sizeof(mac32));
                mac.m_buflen = mac32.m_buflen;
                mac.m_string = CAST_USER_ADDR_T(mac32.m_string);
        }

        if (error) 
                return (error);

        error = mac_check_structmac_consistent(&mac);
        if (error)
                return (error);
                        
        MALLOC(elements, char *, mac.m_buflen, M_MACTEMP, M_WAITOK);
        error = copyinstr(mac.m_string, elements, mac.m_buflen, &ulen);
        if (error) {
                FREE(elements, M_MACTEMP);
                return (error);
        }
        AUDIT_ARG(mac_string, elements);

        MALLOC(buffer, char *, mac.m_buflen, M_MACTEMP, M_WAITOK);
        error = fp_lookup(p, uap->fd, &fp, 0);
        if (error) {
                FREE(buffer, M_MACTEMP);
                FREE(elements, M_MACTEMP);
                return (error);
        }
        
        my_cred = kauth_cred_proc_ref(p);
        error = mac_file_check_get(my_cred, fp->f_fglob, elements, mac.m_buflen);
        kauth_cred_unref(&my_cred);
        if (error) {
                fp_drop(p, uap->fd, fp, 0);
                FREE(buffer, M_MACTEMP);
                FREE(elements, M_MACTEMP);
                return (error);
        }
        
        switch (fp->f_fglob->fg_type) {
                case DTYPE_VNODE:

                        intlabel = mac_vnode_label_alloc();
                        vp = (struct vnode *)fp->f_fglob->fg_data;

                        error = vnode_getwithref(vp);
                        if (error == 0) {
                                mac_vnode_label_copy(vp->v_label, intlabel);
                                error = mac_vnode_label_externalize(intlabel,
                                                elements, buffer,
                                                mac.m_buflen, M_WAITOK);
                                vnode_put(vp);
                        }
                        mac_vnode_label_free(intlabel);
                        break;
                case DTYPE_SOCKET:
#if CONFIG_MACF_SOCKET
                        so = (struct socket *) fp->f_fglob->fg_data;
                        intlabel = mac_socket_label_alloc(MAC_WAITOK);
                        sock_lock(so, 1);
                        mac_socket_label_copy(so->so_label, intlabel);
                        sock_unlock(so, 1);
                        error = mac_socket_label_externalize(intlabel, elements, buffer, mac.m_buflen);
                        mac_socket_label_free(intlabel);
                        break;
#endif
                case DTYPE_PSXSHM:
                case DTYPE_PSXSEM:
                case DTYPE_PIPE:
                case DTYPE_KQUEUE:
                case DTYPE_FSEVENTS:
                default:
                        error = ENOSYS;   // only sockets/vnodes so far
                        break;
        }
        fp_drop(p, uap->fd, fp, 0);
        
        if (error == 0)
                error = copyout(buffer, mac.m_string, strlen(buffer)+1);
                
        FREE(buffer, M_MACTEMP);
        FREE(elements, M_MACTEMP);
        return (error);
}

/*
 * MPSAFE
 */
static int
mac_get_filelink(proc_t p, user_addr_t mac_p, user_addr_t path_p, int follow)
{
        struct vnode *vp;
        vfs_context_t ctx;
        char *elements, *buffer;
        struct nameidata nd;
        struct label *intlabel;
        struct user_mac mac;
        int error;
        size_t ulen;

        if (IS_64BIT_PROCESS(p)) {
                error = copyin(mac_p, &mac, sizeof(mac));
        } else {
                struct mac mac32;
                error = copyin(mac_p, &mac32, sizeof(mac32));
                mac.m_buflen = mac32.m_buflen;
                mac.m_string = CAST_USER_ADDR_T(mac32.m_string);
        }

        if (error)
                return (error);

        error = mac_check_structmac_consistent(&mac);
        if (error)
                return (error);

        MALLOC(elements, char *, mac.m_buflen, M_MACTEMP, M_WAITOK);
        error = copyinstr(mac.m_string, elements, mac.m_buflen, &ulen);
        if (error) {
                FREE(elements, M_MACTEMP);
                return (error);
        }
        AUDIT_ARG(mac_string, elements);

        ctx = vfs_context_current();

        NDINIT(&nd, LOOKUP,
                LOCKLEAF | (follow ? FOLLOW : NOFOLLOW) | AUDITVNPATH1,
                UIO_USERSPACE, path_p, ctx);
        error = namei(&nd);
        if (error) {
                FREE(elements, M_MACTEMP);
                return (error);
        }
        vp = nd.ni_vp;

        nameidone(&nd);

        intlabel = mac_vnode_label_alloc();
        mac_vnode_label_copy(vp->v_label, intlabel);

        MALLOC(buffer, char *, mac.m_buflen, M_MACTEMP, M_WAITOK | M_ZERO);
        error = mac_vnode_label_externalize(intlabel, elements, buffer,
                                            mac.m_buflen, M_WAITOK);
        FREE(elements, M_MACTEMP);

        if (error == 0)
                error = copyout(buffer, mac.m_string, strlen(buffer) + 1);
        FREE(buffer, M_MACTEMP);

        vnode_put(vp);
        mac_vnode_label_free(intlabel);

        return (error);
}

int
__mac_get_file(proc_t p, struct __mac_get_file_args *uap,
               register_t *ret __unused)
{

        return (mac_get_filelink(p, uap->mac_p, uap->path_p, 1));
}

int
__mac_get_link(proc_t p, struct __mac_get_link_args *uap,
               register_t *ret __unused)
{

        return (mac_get_filelink(p, uap->mac_p, uap->path_p, 0));
}

int
__mac_set_fd(proc_t p, struct __mac_set_fd_args *uap, register_t *ret __unused)
{

        struct fileproc *fp;
        struct user_mac mac;
        struct vfs_context *ctx = vfs_context_current();
        int error;
        size_t ulen;
        char *buffer;
        struct label *intlabel;
#if CONFIG_MACF_SOCKET
        struct socket *so;
#endif
        struct vnode *vp;

        AUDIT_ARG(fd, uap->fd);

        if (IS_64BIT_PROCESS(p)) {
                error = copyin(uap->mac_p, &mac, sizeof(mac));
        } else {
                struct mac mac32;
                error = copyin(uap->mac_p, &mac32, sizeof(mac32));
                mac.m_buflen = mac32.m_buflen;
                mac.m_string = CAST_USER_ADDR_T(mac32.m_string);
        }
        if (error) 
                return (error);
                
        error = mac_check_structmac_consistent(&mac);
        if (error)
                return (error);
        
        MALLOC(buffer, char *, mac.m_buflen, M_MACTEMP, M_WAITOK);
        error = copyinstr(mac.m_string, buffer, mac.m_buflen, &ulen);
        if (error) {
                FREE(buffer, M_MACTEMP);
                return (error);
        }
        AUDIT_ARG(mac_string, buffer);
        
        error = fp_lookup(p, uap->fd, &fp, 0);
        if (error) {
                FREE(buffer, M_MACTEMP);
                return (error);
        }
        

        error = mac_file_check_set(vfs_context_ucred(ctx), fp->f_fglob, buffer, mac.m_buflen);
        if (error) {
                fp_drop(p, uap->fd, fp, 0);
                FREE(buffer, M_MACTEMP);
                return (error);
        }
        
        switch (fp->f_fglob->fg_type) {

                case DTYPE_VNODE:
                        intlabel = mac_vnode_label_alloc();

                        error = mac_vnode_label_internalize(intlabel, buffer);
                        if (error) {
                                mac_vnode_label_free(intlabel);
                                break;
                        }


                        vp = (struct vnode *)fp->f_fglob->fg_data;

                        error = vnode_getwithref(vp);
                        if (error == 0) {
                                error = vn_setlabel(vp, intlabel, ctx);
                                vnode_put(vp);
                        }
                        mac_vnode_label_free(intlabel);
                        break;

                case DTYPE_SOCKET:
#if CONFIG_MACF_SOCKET
                        intlabel = mac_socket_label_alloc(MAC_WAITOK);
                        error = mac_socket_label_internalize(intlabel, buffer);
                        if (error == 0) {
                                so = (struct socket *) fp->f_fglob->fg_data;
                                SOCK_LOCK(so);
                                error = mac_socket_label_update(vfs_context_ucred(ctx), so, intlabel);
                                SOCK_UNLOCK(so);
                        }
                        mac_socket_label_free(intlabel);
                        break;
#endif
                case DTYPE_PSXSHM:
                case DTYPE_PSXSEM:
                case DTYPE_PIPE:
                case DTYPE_KQUEUE:
                case DTYPE_FSEVENTS:
                default:
                        error = ENOSYS;  // only sockets/vnodes so far
                        break;
        }

        fp_drop(p, uap->fd, fp, 0);
        FREE(buffer, M_MACTEMP);
        return (error);
}

/*
 * MPSAFE
 */
static int
mac_set_filelink(proc_t p, user_addr_t mac_p, user_addr_t path_p,
                 int follow)
{
        register struct vnode *vp;
        struct vfs_context *ctx = vfs_context_current();
        struct label *intlabel;
        struct nameidata nd;
        struct user_mac mac;
        char *buffer;
        int error;
        size_t ulen;

        if (IS_64BIT_PROCESS(p)) {
                error = copyin(mac_p, &mac, sizeof(mac));
        } else {
                struct mac mac32;
                error = copyin(mac_p, &mac32, sizeof(mac32));
                mac.m_buflen = mac32.m_buflen;
                mac.m_string = CAST_USER_ADDR_T(mac32.m_string);
        }
        if (error)
                return (error);

        error = mac_check_structmac_consistent(&mac);
        if (error) {
                printf("mac_set_file: failed structure consistency check\n");
                return (error);
        }

        MALLOC(buffer, char *, mac.m_buflen, M_MACTEMP, M_WAITOK);
        error = copyinstr(mac.m_string, buffer, mac.m_buflen, &ulen);
        if (error) {
                FREE(buffer, M_MACTEMP);
                return (error);
        }
        AUDIT_ARG(mac_string, buffer);

        intlabel = mac_vnode_label_alloc();
        error = mac_vnode_label_internalize(intlabel, buffer);
        FREE(buffer, M_MACTEMP);
        if (error) {
                mac_vnode_label_free(intlabel);
                return (error);
        }

        NDINIT(&nd, LOOKUP,
                LOCKLEAF | (follow ? FOLLOW : NOFOLLOW) | AUDITVNPATH1,
                UIO_USERSPACE, path_p, ctx);
        error = namei(&nd);
        if (error) {
                mac_vnode_label_free(intlabel);
                return (error);
        }
        vp = nd.ni_vp;

        nameidone(&nd);

        error = vn_setlabel(vp, intlabel, ctx);
        vnode_put(vp);
        mac_vnode_label_free(intlabel);

        return (error);
}

int
__mac_set_file(proc_t p, struct __mac_set_file_args *uap,
               register_t *ret __unused)
{

        return (mac_set_filelink(p, uap->mac_p, uap->path_p, 1));
}

int
__mac_set_link(proc_t p, struct __mac_set_link_args *uap,
               register_t *ret __unused)
{

        return (mac_set_filelink(p, uap->mac_p, uap->path_p, 0));
}

/*
 * MPSAFE
 */

int
__mac_syscall(proc_t p, struct __mac_syscall_args *uap, register_t *retv __unused)
{
        struct mac_policy_conf *mpc;
        char target[MAC_MAX_POLICY_NAME];
        int error;
        u_int i;
        size_t ulen;

        error = copyinstr(uap->policy, target, sizeof(target), &ulen);
        if (error)
                return (error);
        AUDIT_ARG(value, uap->call);
        AUDIT_ARG(mac_string, target);

        error = ENOPOLICY;

        for (i = 0; i < mac_policy_list.staticmax; i++) {
                mpc = mac_policy_list.entries[i].mpc;
                if (mpc == NULL)
                        continue;

                if (strcmp(mpc->mpc_name, target) == 0 &&
                    mpc->mpc_ops->mpo_policy_syscall != NULL) {
                        error = mpc->mpc_ops->mpo_policy_syscall(p,
                            uap->call, uap->arg);
                        goto done;
                }
        }
        if (mac_policy_list_conditional_busy() != 0) {
                for (; i <= mac_policy_list.maxindex; i++) {
                        mpc = mac_policy_list.entries[i].mpc;
                        if (mpc == NULL)
                                continue;

                        if (strcmp(mpc->mpc_name, target) == 0 &&
                            mpc->mpc_ops->mpo_policy_syscall != NULL) {
                                error = mpc->mpc_ops->mpo_policy_syscall(p,
                                    uap->call, uap->arg);
                                break;
                        }
                }
                mac_policy_list_unbusy();
        }

done:
        return (error);
}

int
mac_mount_label_get(struct mount *mp, user_addr_t mac_p)
{
        char *elements, *buffer;
        struct label *label;
        struct user_mac mac;
        int error;
        size_t ulen;

        if (IS_64BIT_PROCESS(current_proc())) {
                error = copyin(mac_p, &mac, sizeof(mac));
        } else {
                struct mac mac32;
                error = copyin(mac_p, &mac32, sizeof(mac32));
                mac.m_buflen = mac32.m_buflen;
                mac.m_string = CAST_USER_ADDR_T(mac32.m_string);
        }
        if (error)
                return (error);

        error = mac_check_structmac_consistent(&mac);
        if (error)
                return (error);

        MALLOC(elements, char *, mac.m_buflen, M_MACTEMP, M_WAITOK);
        error = copyinstr(mac.m_string, elements, mac.m_buflen, &ulen);
        if (error) {
                FREE(elements, M_MACTEMP);
                return (error);
        }
        AUDIT_ARG(mac_string, elements);

        label = mp->mnt_mntlabel;
        MALLOC(buffer, char *, mac.m_buflen, M_MACTEMP, M_WAITOK | M_ZERO);
        error = mac_mount_label_externalize(label, elements, buffer,
            mac.m_buflen);
        FREE(elements, M_MACTEMP);

        if (error == 0)
                error = copyout(buffer, mac.m_string, strlen(buffer) + 1);
        FREE(buffer, M_MACTEMP);

        return (error);
}

int
__mac_get_mount(proc_t p __unused, struct __mac_get_mount_args *uap,
    register_t *ret __unused)
{
        struct nameidata nd;
        struct vfs_context *ctx = vfs_context_current();
        struct mount *mp;
        int error;

        NDINIT(&nd, LOOKUP, FOLLOW | AUDITVNPATH1,
                UIO_USERSPACE, uap->path, ctx);
        error = namei(&nd);
        if (error) {
                return (error);
        }
        mp = nd.ni_vp->v_mount;
        nameidone(&nd);

        return mac_mount_label_get(mp, uap->mac_p);
}

#else /* MAC */

int
mac_policy_register(struct mac_policy_conf *mpc __unused, 
        mac_policy_handle_t *handlep __unused, void *xd __unused)
{

        return (0);
}

int
mac_policy_unregister(mac_policy_handle_t handle __unused)
{

        return (0);
}

int
mac_audit_text(char *text __unused, mac_policy_handle_t handle __unused)
{

        return (0);
}

int
mac_mount_label_get(struct mount *mp __unused, user_addr_t mac_p __unused)
{
        return (ENOSYS);
}

int
mac_vnop_setxattr(struct vnode *vp __unused, const char *name __unused, char *buf __unused, size_t len __unused)
{

        return (ENOENT);
}

int
mac_vnop_getxattr(struct vnode *vp __unused, const char *name __unused, 
        char *buf __unused, size_t len __unused, size_t *attrlen __unused)
{

        return (ENOENT);
}

int
mac_vnop_removexattr(struct vnode *vp __unused, const char *name __unused)
{

        return (ENOENT);
}

int
__mac_get_pid(proc_t p __unused, struct __mac_get_pid_args *uap __unused, register_t *ret __unused)
{

        return (ENOSYS);
}

int
__mac_get_proc(proc_t p __unused, struct __mac_get_proc_args *uap __unused, register_t *ret __unused)
{

        return (ENOSYS);
}

int
__mac_set_proc(proc_t p __unused, struct __mac_set_proc_args *uap __unused, register_t *ret __unused)
{

        return (ENOSYS);
}

int
__mac_get_file(proc_t p __unused, struct __mac_get_file_args *uap __unused, register_t *ret __unused)
{

        return (ENOSYS);
}

int
__mac_get_link(proc_t p __unused, struct __mac_get_link_args *uap __unused, register_t *ret __unused)
{

        return (ENOSYS);
}

int
__mac_set_file(proc_t p __unused, struct __mac_set_file_args *uap __unused, register_t *ret __unused)
{

        return (ENOSYS);
}

int
__mac_set_link(proc_t p __unused, struct __mac_set_link_args *uap __unused, register_t *ret __unused)
{

        return (ENOSYS);
}

int
__mac_get_fd(proc_t p __unused, struct __mac_get_fd_args *uap __unused, register_t *ret __unused)
{

        return (ENOSYS);
}

int
__mac_set_fd(proc_t p __unused, struct __mac_set_fd_args *uap __unused, register_t *ret __unused)
{

        return (ENOSYS);
}

int
__mac_syscall(proc_t p __unused, struct __mac_syscall_args *uap __unused, register_t *ret __unused)
{

        return (ENOSYS);
}

int
__mac_get_lcid(proc_t p __unused, struct __mac_get_lcid_args *uap __unused, register_t *ret __unused)
{

        return (ENOSYS);
}

int
__mac_get_lctx(proc_t p __unused, struct __mac_get_lctx_args *uap __unused, register_t *ret __unused)
{

        return (ENOSYS);
}

int
__mac_set_lctx(proc_t p __unused, struct __mac_set_lctx_args *uap __unused, register_t *ret __unused)
{

        return (ENOSYS);
}

int
__mac_get_mount(proc_t p __unused,
    struct __mac_get_mount_args *uap __unused, register_t *ret __unused)
{

        return (ENOSYS);
}
#endif /* !MAC */