xref: /freebsd/sys/security/mac/mac_system.c (revision 96adb909)
17bc82500SRobert Watson /*-
27bc82500SRobert Watson  * Copyright (c) 1999, 2000, 2001, 2002 Robert N. M. Watson
37bc82500SRobert Watson  * Copyright (c) 2001 Ilmar S. Habibulin
47bc82500SRobert Watson  * Copyright (c) 2001, 2002 Networks Associates Technology, Inc.
57bc82500SRobert Watson  * All rights reserved.
67bc82500SRobert Watson  *
77bc82500SRobert Watson  * This software was developed by Robert Watson and Ilmar Habibulin for the
87bc82500SRobert Watson  * TrustedBSD Project.
97bc82500SRobert Watson  *
107bc82500SRobert Watson  * This software was developed for the FreeBSD Project in part by NAI Labs,
117bc82500SRobert Watson  * the Security Research Division of Network Associates, Inc. under
127bc82500SRobert Watson  * DARPA/SPAWAR contract N66001-01-C-8035 ("CBOSS"), as part of the DARPA
137bc82500SRobert Watson  * CHATS research program.
147bc82500SRobert Watson  *
157bc82500SRobert Watson  * Redistribution and use in source and binary forms, with or without
167bc82500SRobert Watson  * modification, are permitted provided that the following conditions
177bc82500SRobert Watson  * are met:
187bc82500SRobert Watson  * 1. Redistributions of source code must retain the above copyright
197bc82500SRobert Watson  *    notice, this list of conditions and the following disclaimer.
207bc82500SRobert Watson  * 2. Redistributions in binary form must reproduce the above copyright
217bc82500SRobert Watson  *    notice, this list of conditions and the following disclaimer in the
227bc82500SRobert Watson  *    documentation and/or other materials provided with the distribution.
237bc82500SRobert Watson  * 3. The names of the authors may not be used to endorse or promote
247bc82500SRobert Watson  *    products derived from this software without specific prior written
257bc82500SRobert Watson  *    permission.
267bc82500SRobert Watson  *
277bc82500SRobert Watson  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
287bc82500SRobert Watson  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
297bc82500SRobert Watson  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
307bc82500SRobert Watson  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
317bc82500SRobert Watson  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
327bc82500SRobert Watson  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
337bc82500SRobert Watson  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
347bc82500SRobert Watson  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
357bc82500SRobert Watson  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
367bc82500SRobert Watson  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
377bc82500SRobert Watson  * SUCH DAMAGE.
387bc82500SRobert Watson  *
397bc82500SRobert Watson  * $FreeBSD$
407bc82500SRobert Watson  */
417bc82500SRobert Watson /*
427bc82500SRobert Watson  * Developed by the TrustedBSD Project.
437bc82500SRobert Watson  *
447bc82500SRobert Watson  * Framework for extensible kernel access control.  Kernel and userland
457bc82500SRobert Watson  * interface to the framework, policy registration and composition.
467bc82500SRobert Watson  */
477bc82500SRobert Watson 
487bc82500SRobert Watson #include "opt_mac.h"
49328048bcSPoul-Henning Kamp #include "opt_devfs.h"
50f9d0d524SRobert Watson 
517bc82500SRobert Watson #include <sys/param.h>
5295fab37eSRobert Watson #include <sys/extattr.h>
5395fab37eSRobert Watson #include <sys/kernel.h>
5495fab37eSRobert Watson #include <sys/lock.h>
55b656366bSBruce Evans #include <sys/malloc.h>
5695fab37eSRobert Watson #include <sys/mutex.h>
5795fab37eSRobert Watson #include <sys/mac.h>
587ba28492SRobert Watson #include <sys/module.h>
5995fab37eSRobert Watson #include <sys/proc.h>
6095fab37eSRobert Watson #include <sys/systm.h>
617bc82500SRobert Watson #include <sys/sysproto.h>
627bc82500SRobert Watson #include <sys/sysent.h>
6395fab37eSRobert Watson #include <sys/vnode.h>
6495fab37eSRobert Watson #include <sys/mount.h>
6595fab37eSRobert Watson #include <sys/file.h>
6695fab37eSRobert Watson #include <sys/namei.h>
6795fab37eSRobert Watson #include <sys/socket.h>
6895fab37eSRobert Watson #include <sys/pipe.h>
6995fab37eSRobert Watson #include <sys/socketvar.h>
7095fab37eSRobert Watson #include <sys/sysctl.h>
7195fab37eSRobert Watson 
7295fab37eSRobert Watson #include <vm/vm.h>
7395fab37eSRobert Watson #include <vm/pmap.h>
7495fab37eSRobert Watson #include <vm/vm_map.h>
7595fab37eSRobert Watson #include <vm/vm_object.h>
7695fab37eSRobert Watson 
7795fab37eSRobert Watson #include <sys/mac_policy.h>
7895fab37eSRobert Watson 
7995fab37eSRobert Watson #include <fs/devfs/devfs.h>
8095fab37eSRobert Watson 
8195fab37eSRobert Watson #include <net/bpfdesc.h>
8295fab37eSRobert Watson #include <net/if.h>
8395fab37eSRobert Watson #include <net/if_var.h>
8495fab37eSRobert Watson 
8595fab37eSRobert Watson #include <netinet/in.h>
8695fab37eSRobert Watson #include <netinet/ip_var.h>
8795fab37eSRobert Watson 
8895fab37eSRobert Watson #ifdef MAC
8995fab37eSRobert Watson 
907ba28492SRobert Watson /*
917ba28492SRobert Watson  * Declare that the kernel provides MAC support, version 1.  This permits
927ba28492SRobert Watson  * modules to refuse to be loaded if the necessary support isn't present,
937ba28492SRobert Watson  * even if it's pre-boot.
947ba28492SRobert Watson  */
957ba28492SRobert Watson MODULE_VERSION(kernel_mac_support, 1);
967ba28492SRobert Watson 
9795fab37eSRobert Watson SYSCTL_DECL(_security);
9895fab37eSRobert Watson 
9995fab37eSRobert Watson SYSCTL_NODE(_security, OID_AUTO, mac, CTLFLAG_RW, 0,
10095fab37eSRobert Watson     "TrustedBSD MAC policy controls");
10195fab37eSRobert Watson #ifndef MAC_MAX_POLICIES
10295fab37eSRobert Watson #define	MAC_MAX_POLICIES	8
10395fab37eSRobert Watson #endif
10495fab37eSRobert Watson #if MAC_MAX_POLICIES > 32
10595fab37eSRobert Watson #error "MAC_MAX_POLICIES too large"
10695fab37eSRobert Watson #endif
10795fab37eSRobert Watson static unsigned int mac_max_policies = MAC_MAX_POLICIES;
10895fab37eSRobert Watson static unsigned int mac_policy_offsets_free = (1 << MAC_MAX_POLICIES) - 1;
10995fab37eSRobert Watson SYSCTL_UINT(_security_mac, OID_AUTO, max_policies, CTLFLAG_RD,
11095fab37eSRobert Watson     &mac_max_policies, 0, "");
11195fab37eSRobert Watson 
11295fab37eSRobert Watson static int	mac_late = 0;
11395fab37eSRobert Watson 
11495fab37eSRobert Watson static int	mac_enforce_fs = 1;
11595fab37eSRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, enforce_fs, CTLFLAG_RW,
11695fab37eSRobert Watson     &mac_enforce_fs, 0, "Enforce MAC policy on file system objects");
11795fab37eSRobert Watson TUNABLE_INT("security.mac.enforce_fs", &mac_enforce_fs);
11895fab37eSRobert Watson 
11995fab37eSRobert Watson static int	mac_enforce_network = 1;
12095fab37eSRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, enforce_network, CTLFLAG_RW,
12195fab37eSRobert Watson     &mac_enforce_network, 0, "Enforce MAC policy on network packets");
12295fab37eSRobert Watson TUNABLE_INT("security.mac.enforce_network", &mac_enforce_network);
12395fab37eSRobert Watson 
124b88c98f6SRobert Watson static int	mac_enforce_pipe = 1;
125b88c98f6SRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, enforce_pipe, CTLFLAG_RW,
126b88c98f6SRobert Watson     &mac_enforce_pipe, 0, "Enforce MAC policy on pipe operations");
127c031391bSRobert Watson TUNABLE_INT("security.mac.enforce_pipe", &mac_enforce_pipe);
128b88c98f6SRobert Watson 
12995fab37eSRobert Watson static int	mac_enforce_process = 1;
13095fab37eSRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, enforce_process, CTLFLAG_RW,
13195fab37eSRobert Watson     &mac_enforce_process, 0, "Enforce MAC policy on inter-process operations");
13295fab37eSRobert Watson TUNABLE_INT("security.mac.enforce_process", &mac_enforce_process);
13395fab37eSRobert Watson 
13495fab37eSRobert Watson static int	mac_enforce_socket = 1;
13595fab37eSRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, enforce_socket, CTLFLAG_RW,
13695fab37eSRobert Watson     &mac_enforce_socket, 0, "Enforce MAC policy on socket operations");
13795fab37eSRobert Watson TUNABLE_INT("security.mac.enforce_socket", &mac_enforce_socket);
13895fab37eSRobert Watson 
139ca7850c3SRobert Watson static int     mac_enforce_vm = 1;
140ca7850c3SRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, enforce_vm, CTLFLAG_RW,
141ca7850c3SRobert Watson     &mac_enforce_vm, 0, "Enforce MAC policy on vm operations");
142c031391bSRobert Watson TUNABLE_INT("security.mac.enforce_vm", &mac_enforce_vm);
143ca7850c3SRobert Watson 
14495fab37eSRobert Watson static int	mac_label_size = sizeof(struct mac);
14595fab37eSRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, label_size, CTLFLAG_RD,
14695fab37eSRobert Watson     &mac_label_size, 0, "Pre-compiled MAC label size");
14795fab37eSRobert Watson 
14895fab37eSRobert Watson static int	mac_cache_fslabel_in_vnode = 1;
14995fab37eSRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, cache_fslabel_in_vnode, CTLFLAG_RW,
15095fab37eSRobert Watson     &mac_cache_fslabel_in_vnode, 0, "Cache mount fslabel in vnode");
15195fab37eSRobert Watson TUNABLE_INT("security.mac.cache_fslabel_in_vnode",
15295fab37eSRobert Watson     &mac_cache_fslabel_in_vnode);
15395fab37eSRobert Watson 
15495fab37eSRobert Watson static int	mac_vnode_label_cache_hits = 0;
15595fab37eSRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, vnode_label_cache_hits, CTLFLAG_RD,
15695fab37eSRobert Watson     &mac_vnode_label_cache_hits, 0, "Cache hits on vnode labels");
15795fab37eSRobert Watson static int	mac_vnode_label_cache_misses = 0;
15895fab37eSRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, vnode_label_cache_misses, CTLFLAG_RD,
15995fab37eSRobert Watson     &mac_vnode_label_cache_misses, 0, "Cache misses on vnode labels");
160c0f39905SRobert Watson 
161c0f39905SRobert Watson static int	mac_mmap_revocation = 1;
162c0f39905SRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, mmap_revocation, CTLFLAG_RW,
163c0f39905SRobert Watson     &mac_mmap_revocation, 0, "Revoke mmap access to files on subject "
164c0f39905SRobert Watson     "relabel");
16599fa64f8SRobert Watson static int	mac_mmap_revocation_via_cow = 0;
16695fab37eSRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, mmap_revocation_via_cow, CTLFLAG_RW,
16795fab37eSRobert Watson     &mac_mmap_revocation_via_cow, 0, "Revoke mmap access to files via "
16895fab37eSRobert Watson     "copy-on-write semantics, or by removing all write access");
16995fab37eSRobert Watson 
170f050add5SRobert Watson #ifdef MAC_DEBUG
1716be0c25eSRobert Watson SYSCTL_NODE(_security_mac, OID_AUTO, debug, CTLFLAG_RW, 0,
1726be0c25eSRobert Watson     "TrustedBSD MAC debug info");
1736be0c25eSRobert Watson 
1746be0c25eSRobert Watson static int	mac_debug_label_fallback = 0;
1756be0c25eSRobert Watson SYSCTL_INT(_security_mac_debug, OID_AUTO, label_fallback, CTLFLAG_RW,
1766be0c25eSRobert Watson     &mac_debug_label_fallback, 0, "Filesystems should fall back to fs label"
1776be0c25eSRobert Watson     "when label is corrupted.");
1786be0c25eSRobert Watson TUNABLE_INT("security.mac.debug_label_fallback",
1796be0c25eSRobert Watson     &mac_debug_label_fallback);
1806be0c25eSRobert Watson 
18195fab37eSRobert Watson static unsigned int nmacmbufs, nmaccreds, nmacifnets, nmacbpfdescs,
18295fab37eSRobert Watson     nmacsockets, nmacmounts, nmactemp, nmacvnodes, nmacdevfsdirents,
18395fab37eSRobert Watson     nmacipqs, nmacpipes;
18495fab37eSRobert Watson SYSCTL_UINT(_security_mac_debug, OID_AUTO, mbufs, CTLFLAG_RD,
18595fab37eSRobert Watson     &nmacmbufs, 0, "number of mbufs in use");
18695fab37eSRobert Watson SYSCTL_UINT(_security_mac_debug, OID_AUTO, creds, CTLFLAG_RD,
18795fab37eSRobert Watson     &nmaccreds, 0, "number of ucreds in use");
18895fab37eSRobert Watson SYSCTL_UINT(_security_mac_debug, OID_AUTO, ifnets, CTLFLAG_RD,
18995fab37eSRobert Watson     &nmacifnets, 0, "number of ifnets in use");
19095fab37eSRobert Watson SYSCTL_UINT(_security_mac_debug, OID_AUTO, ipqs, CTLFLAG_RD,
19195fab37eSRobert Watson     &nmacipqs, 0, "number of ipqs in use");
19295fab37eSRobert Watson SYSCTL_UINT(_security_mac_debug, OID_AUTO, bpfdescs, CTLFLAG_RD,
19395fab37eSRobert Watson     &nmacbpfdescs, 0, "number of bpfdescs in use");
19495fab37eSRobert Watson SYSCTL_UINT(_security_mac_debug, OID_AUTO, sockets, CTLFLAG_RD,
19595fab37eSRobert Watson     &nmacsockets, 0, "number of sockets in use");
19695fab37eSRobert Watson SYSCTL_UINT(_security_mac_debug, OID_AUTO, pipes, CTLFLAG_RD,
19795fab37eSRobert Watson     &nmacpipes, 0, "number of pipes in use");
19895fab37eSRobert Watson SYSCTL_UINT(_security_mac_debug, OID_AUTO, mounts, CTLFLAG_RD,
19995fab37eSRobert Watson     &nmacmounts, 0, "number of mounts in use");
20095fab37eSRobert Watson SYSCTL_UINT(_security_mac_debug, OID_AUTO, temp, CTLFLAG_RD,
20195fab37eSRobert Watson     &nmactemp, 0, "number of temporary labels in use");
20295fab37eSRobert Watson SYSCTL_UINT(_security_mac_debug, OID_AUTO, vnodes, CTLFLAG_RD,
20395fab37eSRobert Watson     &nmacvnodes, 0, "number of vnodes in use");
20495fab37eSRobert Watson SYSCTL_UINT(_security_mac_debug, OID_AUTO, devfsdirents, CTLFLAG_RD,
20595fab37eSRobert Watson     &nmacdevfsdirents, 0, "number of devfs dirents inuse");
206f050add5SRobert Watson #endif
20795fab37eSRobert Watson 
20895fab37eSRobert Watson static int	error_select(int error1, int error2);
20995fab37eSRobert Watson static int	mac_externalize(struct label *label, struct mac *mac);
21095fab37eSRobert Watson static int	mac_policy_register(struct mac_policy_conf *mpc);
21195fab37eSRobert Watson static int	mac_policy_unregister(struct mac_policy_conf *mpc);
21295fab37eSRobert Watson 
21395fab37eSRobert Watson static int	mac_stdcreatevnode_ea(struct vnode *vp);
21495fab37eSRobert Watson static void	mac_cred_mmapped_drop_perms(struct thread *td,
21595fab37eSRobert Watson 		    struct ucred *cred);
21695fab37eSRobert Watson static void	mac_cred_mmapped_drop_perms_recurse(struct thread *td,
21795fab37eSRobert Watson 		    struct ucred *cred, struct vm_map *map);
21895fab37eSRobert Watson 
21995fab37eSRobert Watson MALLOC_DEFINE(M_MACOPVEC, "macopvec", "MAC policy operation vector");
22095fab37eSRobert Watson MALLOC_DEFINE(M_MACPIPELABEL, "macpipelabel", "MAC labels for pipes");
22195fab37eSRobert Watson 
22295fab37eSRobert Watson /*
22395fab37eSRobert Watson  * mac_policy_list_lock protects the consistency of 'mac_policy_list',
22495fab37eSRobert Watson  * the linked list of attached policy modules.  Read-only consumers of
22595fab37eSRobert Watson  * the list must acquire a shared lock for the duration of their use;
22695fab37eSRobert Watson  * writers must acquire an exclusive lock.  Note that for compound
22795fab37eSRobert Watson  * operations, locks should be held for the entire compound operation,
22895fab37eSRobert Watson  * and that this is not yet done for relabel requests.
22995fab37eSRobert Watson  */
23095fab37eSRobert Watson static struct mtx mac_policy_list_lock;
23195fab37eSRobert Watson static LIST_HEAD(, mac_policy_conf) mac_policy_list;
23295fab37eSRobert Watson static int mac_policy_list_busy;
23395fab37eSRobert Watson #define	MAC_POLICY_LIST_LOCKINIT()	mtx_init(&mac_policy_list_lock,	\
23495fab37eSRobert Watson 	"mac_policy_list_lock", NULL, MTX_DEF);
23595fab37eSRobert Watson #define	MAC_POLICY_LIST_LOCK()	mtx_lock(&mac_policy_list_lock);
23695fab37eSRobert Watson #define	MAC_POLICY_LIST_UNLOCK()	mtx_unlock(&mac_policy_list_lock);
23795fab37eSRobert Watson 
23895fab37eSRobert Watson #define	MAC_POLICY_LIST_BUSY() do {					\
23995fab37eSRobert Watson 	MAC_POLICY_LIST_LOCK();						\
24095fab37eSRobert Watson 	mac_policy_list_busy++;						\
24195fab37eSRobert Watson 	MAC_POLICY_LIST_UNLOCK();					\
24295fab37eSRobert Watson } while (0)
24395fab37eSRobert Watson 
24495fab37eSRobert Watson #define	MAC_POLICY_LIST_UNBUSY() do {					\
24595fab37eSRobert Watson 	MAC_POLICY_LIST_LOCK();						\
24695fab37eSRobert Watson 	mac_policy_list_busy--;						\
24795fab37eSRobert Watson 	if (mac_policy_list_busy < 0)					\
24895fab37eSRobert Watson 		panic("Extra mac_policy_list_busy--");			\
24995fab37eSRobert Watson 	MAC_POLICY_LIST_UNLOCK();					\
25095fab37eSRobert Watson } while (0)
25195fab37eSRobert Watson 
25295fab37eSRobert Watson /*
25395fab37eSRobert Watson  * MAC_CHECK performs the designated check by walking the policy
25495fab37eSRobert Watson  * module list and checking with each as to how it feels about the
25595fab37eSRobert Watson  * request.  Note that it returns its value via 'error' in the scope
25695fab37eSRobert Watson  * of the caller.
25795fab37eSRobert Watson  */
25895fab37eSRobert Watson #define	MAC_CHECK(check, args...) do {					\
25995fab37eSRobert Watson 	struct mac_policy_conf *mpc;					\
26095fab37eSRobert Watson 									\
26195fab37eSRobert Watson 	error = 0;							\
26295fab37eSRobert Watson 	MAC_POLICY_LIST_BUSY();						\
26395fab37eSRobert Watson 	LIST_FOREACH(mpc, &mac_policy_list, mpc_list) {			\
26495fab37eSRobert Watson 		if (mpc->mpc_ops->mpo_ ## check != NULL)		\
26595fab37eSRobert Watson 			error = error_select(				\
26695fab37eSRobert Watson 			    mpc->mpc_ops->mpo_ ## check (args),		\
26795fab37eSRobert Watson 			    error);					\
26895fab37eSRobert Watson 	}								\
26995fab37eSRobert Watson 	MAC_POLICY_LIST_UNBUSY();					\
27095fab37eSRobert Watson } while (0)
27195fab37eSRobert Watson 
27295fab37eSRobert Watson /*
27395fab37eSRobert Watson  * MAC_BOOLEAN performs the designated boolean composition by walking
27495fab37eSRobert Watson  * the module list, invoking each instance of the operation, and
27595fab37eSRobert Watson  * combining the results using the passed C operator.  Note that it
27695fab37eSRobert Watson  * returns its value via 'result' in the scope of the caller, which
27795fab37eSRobert Watson  * should be initialized by the caller in a meaningful way to get
27895fab37eSRobert Watson  * a meaningful result.
27995fab37eSRobert Watson  */
28095fab37eSRobert Watson #define	MAC_BOOLEAN(operation, composition, args...) do {		\
28195fab37eSRobert Watson 	struct mac_policy_conf *mpc;					\
28295fab37eSRobert Watson 									\
28395fab37eSRobert Watson 	MAC_POLICY_LIST_BUSY();						\
28495fab37eSRobert Watson 	LIST_FOREACH(mpc, &mac_policy_list, mpc_list) {			\
28595fab37eSRobert Watson 		if (mpc->mpc_ops->mpo_ ## operation != NULL)		\
28695fab37eSRobert Watson 			result = result composition			\
28795fab37eSRobert Watson 			    mpc->mpc_ops->mpo_ ## operation (args);	\
28895fab37eSRobert Watson 	}								\
28995fab37eSRobert Watson 	MAC_POLICY_LIST_UNBUSY();					\
29095fab37eSRobert Watson } while (0)
29195fab37eSRobert Watson 
29295fab37eSRobert Watson /*
29395fab37eSRobert Watson  * MAC_PERFORM performs the designated operation by walking the policy
29495fab37eSRobert Watson  * module list and invoking that operation for each policy.
29595fab37eSRobert Watson  */
29695fab37eSRobert Watson #define	MAC_PERFORM(operation, args...) do {				\
29795fab37eSRobert Watson 	struct mac_policy_conf *mpc;					\
29895fab37eSRobert Watson 									\
29995fab37eSRobert Watson 	MAC_POLICY_LIST_BUSY();						\
30095fab37eSRobert Watson 	LIST_FOREACH(mpc, &mac_policy_list, mpc_list) {			\
30195fab37eSRobert Watson 		if (mpc->mpc_ops->mpo_ ## operation != NULL)		\
30295fab37eSRobert Watson 			mpc->mpc_ops->mpo_ ## operation (args);		\
30395fab37eSRobert Watson 	}								\
30495fab37eSRobert Watson 	MAC_POLICY_LIST_UNBUSY();					\
30595fab37eSRobert Watson } while (0)
30695fab37eSRobert Watson 
30795fab37eSRobert Watson /*
30895fab37eSRobert Watson  * Initialize the MAC subsystem, including appropriate SMP locks.
30995fab37eSRobert Watson  */
31095fab37eSRobert Watson static void
31195fab37eSRobert Watson mac_init(void)
31295fab37eSRobert Watson {
31395fab37eSRobert Watson 
31495fab37eSRobert Watson 	LIST_INIT(&mac_policy_list);
31595fab37eSRobert Watson 	MAC_POLICY_LIST_LOCKINIT();
31695fab37eSRobert Watson }
31795fab37eSRobert Watson 
31895fab37eSRobert Watson /*
31995fab37eSRobert Watson  * For the purposes of modules that want to know if they were loaded
32095fab37eSRobert Watson  * "early", set the mac_late flag once we've processed modules either
32195fab37eSRobert Watson  * linked into the kernel, or loaded before the kernel startup.
32295fab37eSRobert Watson  */
32395fab37eSRobert Watson static void
32495fab37eSRobert Watson mac_late_init(void)
32595fab37eSRobert Watson {
32695fab37eSRobert Watson 
32795fab37eSRobert Watson 	mac_late = 1;
32895fab37eSRobert Watson }
32995fab37eSRobert Watson 
33095fab37eSRobert Watson /*
33195fab37eSRobert Watson  * Allow MAC policy modules to register during boot, etc.
33295fab37eSRobert Watson  */
33395fab37eSRobert Watson int
33495fab37eSRobert Watson mac_policy_modevent(module_t mod, int type, void *data)
33595fab37eSRobert Watson {
33695fab37eSRobert Watson 	struct mac_policy_conf *mpc;
33795fab37eSRobert Watson 	int error;
33895fab37eSRobert Watson 
33995fab37eSRobert Watson 	error = 0;
34095fab37eSRobert Watson 	mpc = (struct mac_policy_conf *) data;
34195fab37eSRobert Watson 
34295fab37eSRobert Watson 	switch (type) {
34395fab37eSRobert Watson 	case MOD_LOAD:
34495fab37eSRobert Watson 		if (mpc->mpc_loadtime_flags & MPC_LOADTIME_FLAG_NOTLATE &&
34595fab37eSRobert Watson 		    mac_late) {
34695fab37eSRobert Watson 			printf("mac_policy_modevent: can't load %s policy "
34795fab37eSRobert Watson 			    "after booting\n", mpc->mpc_name);
34895fab37eSRobert Watson 			error = EBUSY;
34995fab37eSRobert Watson 			break;
35095fab37eSRobert Watson 		}
35195fab37eSRobert Watson 		error = mac_policy_register(mpc);
35295fab37eSRobert Watson 		break;
35395fab37eSRobert Watson 	case MOD_UNLOAD:
35495fab37eSRobert Watson 		/* Don't unregister the module if it was never registered. */
35595fab37eSRobert Watson 		if ((mpc->mpc_runtime_flags & MPC_RUNTIME_FLAG_REGISTERED)
35695fab37eSRobert Watson 		    != 0)
35795fab37eSRobert Watson 			error = mac_policy_unregister(mpc);
35895fab37eSRobert Watson 		else
35995fab37eSRobert Watson 			error = 0;
36095fab37eSRobert Watson 		break;
36195fab37eSRobert Watson 	default:
36295fab37eSRobert Watson 		break;
36395fab37eSRobert Watson 	}
36495fab37eSRobert Watson 
36595fab37eSRobert Watson 	return (error);
36695fab37eSRobert Watson }
36795fab37eSRobert Watson 
36895fab37eSRobert Watson static int
36995fab37eSRobert Watson mac_policy_register(struct mac_policy_conf *mpc)
37095fab37eSRobert Watson {
37195fab37eSRobert Watson 	struct mac_policy_conf *tmpc;
37295fab37eSRobert Watson 	struct mac_policy_op_entry *mpe;
37395fab37eSRobert Watson 	int slot;
37495fab37eSRobert Watson 
375cc51a2b5SRobert Watson 	MALLOC(mpc->mpc_ops, struct mac_policy_ops *, sizeof(*mpc->mpc_ops),
376cc51a2b5SRobert Watson 	    M_MACOPVEC, M_WAITOK | M_ZERO);
37795fab37eSRobert Watson 	for (mpe = mpc->mpc_entries; mpe->mpe_constant != MAC_OP_LAST; mpe++) {
37895fab37eSRobert Watson 		switch (mpe->mpe_constant) {
37995fab37eSRobert Watson 		case MAC_OP_LAST:
38095fab37eSRobert Watson 			/*
38195fab37eSRobert Watson 			 * Doesn't actually happen, but this allows checking
38295fab37eSRobert Watson 			 * that all enumerated values are handled.
38395fab37eSRobert Watson 			 */
38495fab37eSRobert Watson 			break;
38595fab37eSRobert Watson 		case MAC_DESTROY:
38695fab37eSRobert Watson 			mpc->mpc_ops->mpo_destroy =
38795fab37eSRobert Watson 			    mpe->mpe_function;
38895fab37eSRobert Watson 			break;
38995fab37eSRobert Watson 		case MAC_INIT:
39095fab37eSRobert Watson 			mpc->mpc_ops->mpo_init =
39195fab37eSRobert Watson 			    mpe->mpe_function;
39295fab37eSRobert Watson 			break;
39327f2eac7SRobert Watson 		case MAC_SYSCALL:
39427f2eac7SRobert Watson 			mpc->mpc_ops->mpo_syscall =
39527f2eac7SRobert Watson 			    mpe->mpe_function;
39627f2eac7SRobert Watson 			break;
39796adb909SRobert Watson 		case MAC_INIT_BPFDESC_LABEL:
39896adb909SRobert Watson 			mpc->mpc_ops->mpo_init_bpfdesc_label =
39995fab37eSRobert Watson 			    mpe->mpe_function;
40095fab37eSRobert Watson 			break;
40196adb909SRobert Watson 		case MAC_INIT_CRED_LABEL:
40296adb909SRobert Watson 			mpc->mpc_ops->mpo_init_cred_label =
40395fab37eSRobert Watson 			    mpe->mpe_function;
40495fab37eSRobert Watson 			break;
40596adb909SRobert Watson 		case MAC_INIT_DEVFSDIRENT_LABEL:
40696adb909SRobert Watson 			mpc->mpc_ops->mpo_init_devfsdirent_label =
40795fab37eSRobert Watson 			    mpe->mpe_function;
40895fab37eSRobert Watson 			break;
40996adb909SRobert Watson 		case MAC_INIT_IFNET_LABEL:
41096adb909SRobert Watson 			mpc->mpc_ops->mpo_init_ifnet_label =
41195fab37eSRobert Watson 			    mpe->mpe_function;
41295fab37eSRobert Watson 			break;
41396adb909SRobert Watson 		case MAC_INIT_IPQ_LABEL:
41496adb909SRobert Watson 			mpc->mpc_ops->mpo_init_ipq_label =
41595fab37eSRobert Watson 			    mpe->mpe_function;
41695fab37eSRobert Watson 			break;
41796adb909SRobert Watson 		case MAC_INIT_MBUF_LABEL:
41896adb909SRobert Watson 			mpc->mpc_ops->mpo_init_mbuf_label =
41995fab37eSRobert Watson 			    mpe->mpe_function;
42095fab37eSRobert Watson 			break;
42196adb909SRobert Watson 		case MAC_INIT_MOUNT_LABEL:
42296adb909SRobert Watson 			mpc->mpc_ops->mpo_init_mount_label =
42395fab37eSRobert Watson 			    mpe->mpe_function;
42495fab37eSRobert Watson 			break;
42596adb909SRobert Watson 		case MAC_INIT_MOUNT_FS_LABEL:
42696adb909SRobert Watson 			mpc->mpc_ops->mpo_init_mount_fs_label =
42795fab37eSRobert Watson 			    mpe->mpe_function;
42895fab37eSRobert Watson 			break;
42996adb909SRobert Watson 		case MAC_INIT_PIPE_LABEL:
43096adb909SRobert Watson 			mpc->mpc_ops->mpo_init_pipe_label =
43195fab37eSRobert Watson 			    mpe->mpe_function;
43295fab37eSRobert Watson 			break;
43396adb909SRobert Watson 		case MAC_INIT_SOCKET_LABEL:
43496adb909SRobert Watson 			mpc->mpc_ops->mpo_init_socket_label =
43595fab37eSRobert Watson 			    mpe->mpe_function;
43695fab37eSRobert Watson 			break;
43796adb909SRobert Watson 		case MAC_INIT_SOCKET_PEER_LABEL:
43896adb909SRobert Watson 			mpc->mpc_ops->mpo_init_socket_peer_label =
43995fab37eSRobert Watson 			    mpe->mpe_function;
44095fab37eSRobert Watson 			break;
44196adb909SRobert Watson 		case MAC_INIT_TEMP_LABEL:
44296adb909SRobert Watson 			mpc->mpc_ops->mpo_init_temp_label =
44395fab37eSRobert Watson 			    mpe->mpe_function;
44495fab37eSRobert Watson 			break;
44596adb909SRobert Watson 		case MAC_INIT_VNODE_LABEL:
44696adb909SRobert Watson 			mpc->mpc_ops->mpo_init_vnode_label =
44795fab37eSRobert Watson 			    mpe->mpe_function;
44895fab37eSRobert Watson 			break;
44996adb909SRobert Watson 		case MAC_DESTROY_BPFDESC_LABEL:
45096adb909SRobert Watson 			mpc->mpc_ops->mpo_destroy_bpfdesc_label =
45195fab37eSRobert Watson 			    mpe->mpe_function;
45295fab37eSRobert Watson 			break;
45396adb909SRobert Watson 		case MAC_DESTROY_CRED_LABEL:
45496adb909SRobert Watson 			mpc->mpc_ops->mpo_destroy_cred_label =
45595fab37eSRobert Watson 			    mpe->mpe_function;
45695fab37eSRobert Watson 			break;
45796adb909SRobert Watson 		case MAC_DESTROY_DEVFSDIRENT_LABEL:
45896adb909SRobert Watson 			mpc->mpc_ops->mpo_destroy_devfsdirent_label =
45995fab37eSRobert Watson 			    mpe->mpe_function;
46095fab37eSRobert Watson 			break;
46196adb909SRobert Watson 		case MAC_DESTROY_IFNET_LABEL:
46296adb909SRobert Watson 			mpc->mpc_ops->mpo_destroy_ifnet_label =
46395fab37eSRobert Watson 			    mpe->mpe_function;
46495fab37eSRobert Watson 			break;
46596adb909SRobert Watson 		case MAC_DESTROY_IPQ_LABEL:
46696adb909SRobert Watson 			mpc->mpc_ops->mpo_destroy_ipq_label =
46795fab37eSRobert Watson 			    mpe->mpe_function;
46895fab37eSRobert Watson 			break;
46996adb909SRobert Watson 		case MAC_DESTROY_MBUF_LABEL:
47096adb909SRobert Watson 			mpc->mpc_ops->mpo_destroy_mbuf_label =
47195fab37eSRobert Watson 			    mpe->mpe_function;
47295fab37eSRobert Watson 			break;
47396adb909SRobert Watson 		case MAC_DESTROY_MOUNT_LABEL:
47496adb909SRobert Watson 			mpc->mpc_ops->mpo_destroy_mount_label =
47595fab37eSRobert Watson 			    mpe->mpe_function;
47695fab37eSRobert Watson 			break;
47796adb909SRobert Watson 		case MAC_DESTROY_MOUNT_FS_LABEL:
47896adb909SRobert Watson 			mpc->mpc_ops->mpo_destroy_mount_fs_label =
47995fab37eSRobert Watson 			    mpe->mpe_function;
48095fab37eSRobert Watson 			break;
48196adb909SRobert Watson 		case MAC_DESTROY_PIPE_LABEL:
48296adb909SRobert Watson 			mpc->mpc_ops->mpo_destroy_pipe_label =
48396adb909SRobert Watson 			    mpe->mpe_function;
48496adb909SRobert Watson 			break;
48596adb909SRobert Watson 		case MAC_DESTROY_SOCKET_LABEL:
48696adb909SRobert Watson 			mpc->mpc_ops->mpo_destroy_socket_label =
48796adb909SRobert Watson 			    mpe->mpe_function;
48896adb909SRobert Watson 			break;
48996adb909SRobert Watson 		case MAC_DESTROY_SOCKET_PEER_LABEL:
49096adb909SRobert Watson 			mpc->mpc_ops->mpo_destroy_socket_peer_label =
49196adb909SRobert Watson 			    mpe->mpe_function;
49296adb909SRobert Watson 			break;
49396adb909SRobert Watson 		case MAC_DESTROY_TEMP_LABEL:
49496adb909SRobert Watson 			mpc->mpc_ops->mpo_destroy_temp_label =
49596adb909SRobert Watson 			    mpe->mpe_function;
49696adb909SRobert Watson 			break;
49796adb909SRobert Watson 		case MAC_DESTROY_VNODE_LABEL:
49896adb909SRobert Watson 			mpc->mpc_ops->mpo_destroy_vnode_label =
49995fab37eSRobert Watson 			    mpe->mpe_function;
50095fab37eSRobert Watson 			break;
50195fab37eSRobert Watson 		case MAC_EXTERNALIZE:
50295fab37eSRobert Watson 			mpc->mpc_ops->mpo_externalize =
50395fab37eSRobert Watson 			    mpe->mpe_function;
50495fab37eSRobert Watson 			break;
50595fab37eSRobert Watson 		case MAC_INTERNALIZE:
50695fab37eSRobert Watson 			mpc->mpc_ops->mpo_internalize =
50795fab37eSRobert Watson 			    mpe->mpe_function;
50895fab37eSRobert Watson 			break;
50995fab37eSRobert Watson 		case MAC_CREATE_DEVFS_DEVICE:
51095fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_devfs_device =
51195fab37eSRobert Watson 			    mpe->mpe_function;
51295fab37eSRobert Watson 			break;
51395fab37eSRobert Watson 		case MAC_CREATE_DEVFS_DIRECTORY:
51495fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_devfs_directory =
51595fab37eSRobert Watson 			    mpe->mpe_function;
51695fab37eSRobert Watson 			break;
51795fab37eSRobert Watson 		case MAC_CREATE_DEVFS_VNODE:
51895fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_devfs_vnode =
51995fab37eSRobert Watson 			    mpe->mpe_function;
52095fab37eSRobert Watson 			break;
52195fab37eSRobert Watson 		case MAC_STDCREATEVNODE_EA:
52295fab37eSRobert Watson 			mpc->mpc_ops->mpo_stdcreatevnode_ea =
52395fab37eSRobert Watson 			    mpe->mpe_function;
52495fab37eSRobert Watson 			break;
52595fab37eSRobert Watson 		case MAC_CREATE_VNODE:
52695fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_vnode =
52795fab37eSRobert Watson 			    mpe->mpe_function;
52895fab37eSRobert Watson 			break;
52995fab37eSRobert Watson 		case MAC_CREATE_MOUNT:
53095fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_mount =
53195fab37eSRobert Watson 			    mpe->mpe_function;
53295fab37eSRobert Watson 			break;
53395fab37eSRobert Watson 		case MAC_CREATE_ROOT_MOUNT:
53495fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_root_mount =
53595fab37eSRobert Watson 			    mpe->mpe_function;
53695fab37eSRobert Watson 			break;
53795fab37eSRobert Watson 		case MAC_RELABEL_VNODE:
53895fab37eSRobert Watson 			mpc->mpc_ops->mpo_relabel_vnode =
53995fab37eSRobert Watson 			    mpe->mpe_function;
54095fab37eSRobert Watson 			break;
54195fab37eSRobert Watson 		case MAC_UPDATE_DEVFSDIRENT:
54295fab37eSRobert Watson 			mpc->mpc_ops->mpo_update_devfsdirent =
54395fab37eSRobert Watson 			    mpe->mpe_function;
54495fab37eSRobert Watson 			break;
54595fab37eSRobert Watson 		case MAC_UPDATE_PROCFSVNODE:
54695fab37eSRobert Watson 			mpc->mpc_ops->mpo_update_procfsvnode =
54795fab37eSRobert Watson 			    mpe->mpe_function;
54895fab37eSRobert Watson 			break;
54995fab37eSRobert Watson 		case MAC_UPDATE_VNODE_FROM_EXTATTR:
55095fab37eSRobert Watson 			mpc->mpc_ops->mpo_update_vnode_from_extattr =
55195fab37eSRobert Watson 			    mpe->mpe_function;
55295fab37eSRobert Watson 			break;
55395fab37eSRobert Watson 		case MAC_UPDATE_VNODE_FROM_EXTERNALIZED:
55495fab37eSRobert Watson 			mpc->mpc_ops->mpo_update_vnode_from_externalized =
55595fab37eSRobert Watson 			    mpe->mpe_function;
55695fab37eSRobert Watson 			break;
55795fab37eSRobert Watson 		case MAC_UPDATE_VNODE_FROM_MOUNT:
55895fab37eSRobert Watson 			mpc->mpc_ops->mpo_update_vnode_from_mount =
55995fab37eSRobert Watson 			    mpe->mpe_function;
56095fab37eSRobert Watson 			break;
56195fab37eSRobert Watson 		case MAC_CREATE_MBUF_FROM_SOCKET:
56295fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_mbuf_from_socket =
56395fab37eSRobert Watson 			    mpe->mpe_function;
56495fab37eSRobert Watson 			break;
56595fab37eSRobert Watson 		case MAC_CREATE_PIPE:
56695fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_pipe =
56795fab37eSRobert Watson 			    mpe->mpe_function;
56895fab37eSRobert Watson 			break;
56995fab37eSRobert Watson 		case MAC_CREATE_SOCKET:
57095fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_socket =
57195fab37eSRobert Watson 			    mpe->mpe_function;
57295fab37eSRobert Watson 			break;
57395fab37eSRobert Watson 		case MAC_CREATE_SOCKET_FROM_SOCKET:
57495fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_socket_from_socket =
57595fab37eSRobert Watson 			    mpe->mpe_function;
57695fab37eSRobert Watson 			break;
57795fab37eSRobert Watson 		case MAC_RELABEL_PIPE:
57895fab37eSRobert Watson 			mpc->mpc_ops->mpo_relabel_pipe =
57995fab37eSRobert Watson 			    mpe->mpe_function;
58095fab37eSRobert Watson 			break;
58195fab37eSRobert Watson 		case MAC_RELABEL_SOCKET:
58295fab37eSRobert Watson 			mpc->mpc_ops->mpo_relabel_socket =
58395fab37eSRobert Watson 			    mpe->mpe_function;
58495fab37eSRobert Watson 			break;
58595fab37eSRobert Watson 		case MAC_SET_SOCKET_PEER_FROM_MBUF:
58695fab37eSRobert Watson 			mpc->mpc_ops->mpo_set_socket_peer_from_mbuf =
58795fab37eSRobert Watson 			    mpe->mpe_function;
58895fab37eSRobert Watson 			break;
58995fab37eSRobert Watson 		case MAC_SET_SOCKET_PEER_FROM_SOCKET:
59095fab37eSRobert Watson 			mpc->mpc_ops->mpo_set_socket_peer_from_socket =
59195fab37eSRobert Watson 			    mpe->mpe_function;
59295fab37eSRobert Watson 			break;
59395fab37eSRobert Watson 		case MAC_CREATE_BPFDESC:
59495fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_bpfdesc =
59595fab37eSRobert Watson 			    mpe->mpe_function;
59695fab37eSRobert Watson 			break;
59795fab37eSRobert Watson 		case MAC_CREATE_DATAGRAM_FROM_IPQ:
59895fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_datagram_from_ipq =
59995fab37eSRobert Watson 			    mpe->mpe_function;
60095fab37eSRobert Watson 			break;
60195fab37eSRobert Watson 		case MAC_CREATE_FRAGMENT:
60295fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_fragment =
60395fab37eSRobert Watson 			    mpe->mpe_function;
60495fab37eSRobert Watson 			break;
60595fab37eSRobert Watson 		case MAC_CREATE_IFNET:
60695fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_ifnet =
60795fab37eSRobert Watson 			    mpe->mpe_function;
60895fab37eSRobert Watson 			break;
60995fab37eSRobert Watson 		case MAC_CREATE_IPQ:
61095fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_ipq =
61195fab37eSRobert Watson 			    mpe->mpe_function;
61295fab37eSRobert Watson 			break;
61395fab37eSRobert Watson 		case MAC_CREATE_MBUF_FROM_MBUF:
61495fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_mbuf_from_mbuf =
61595fab37eSRobert Watson 			    mpe->mpe_function;
61695fab37eSRobert Watson 			break;
61795fab37eSRobert Watson 		case MAC_CREATE_MBUF_LINKLAYER:
61895fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_mbuf_linklayer =
61995fab37eSRobert Watson 			    mpe->mpe_function;
62095fab37eSRobert Watson 			break;
62195fab37eSRobert Watson 		case MAC_CREATE_MBUF_FROM_BPFDESC:
62295fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_mbuf_from_bpfdesc =
62395fab37eSRobert Watson 			    mpe->mpe_function;
62495fab37eSRobert Watson 			break;
62595fab37eSRobert Watson 		case MAC_CREATE_MBUF_FROM_IFNET:
62695fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_mbuf_from_ifnet =
62795fab37eSRobert Watson 			    mpe->mpe_function;
62895fab37eSRobert Watson 			break;
62995fab37eSRobert Watson 		case MAC_CREATE_MBUF_MULTICAST_ENCAP:
63095fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_mbuf_multicast_encap =
63195fab37eSRobert Watson 			    mpe->mpe_function;
63295fab37eSRobert Watson 			break;
63395fab37eSRobert Watson 		case MAC_CREATE_MBUF_NETLAYER:
63495fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_mbuf_netlayer =
63595fab37eSRobert Watson 			    mpe->mpe_function;
63695fab37eSRobert Watson 			break;
63795fab37eSRobert Watson 		case MAC_FRAGMENT_MATCH:
63895fab37eSRobert Watson 			mpc->mpc_ops->mpo_fragment_match =
63995fab37eSRobert Watson 			    mpe->mpe_function;
64095fab37eSRobert Watson 			break;
64195fab37eSRobert Watson 		case MAC_RELABEL_IFNET:
64295fab37eSRobert Watson 			mpc->mpc_ops->mpo_relabel_ifnet =
64395fab37eSRobert Watson 			    mpe->mpe_function;
64495fab37eSRobert Watson 			break;
64595fab37eSRobert Watson 		case MAC_UPDATE_IPQ:
64695fab37eSRobert Watson 			mpc->mpc_ops->mpo_update_ipq =
64795fab37eSRobert Watson 			    mpe->mpe_function;
64895fab37eSRobert Watson 			break;
64995fab37eSRobert Watson 		case MAC_CREATE_CRED:
65095fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_cred =
65195fab37eSRobert Watson 			    mpe->mpe_function;
65295fab37eSRobert Watson 			break;
65395fab37eSRobert Watson 		case MAC_EXECVE_TRANSITION:
65495fab37eSRobert Watson 			mpc->mpc_ops->mpo_execve_transition =
65595fab37eSRobert Watson 			    mpe->mpe_function;
65695fab37eSRobert Watson 			break;
65795fab37eSRobert Watson 		case MAC_EXECVE_WILL_TRANSITION:
65895fab37eSRobert Watson 			mpc->mpc_ops->mpo_execve_will_transition =
65995fab37eSRobert Watson 			    mpe->mpe_function;
66095fab37eSRobert Watson 			break;
66195fab37eSRobert Watson 		case MAC_CREATE_PROC0:
66295fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_proc0 = mpe->mpe_function;
66395fab37eSRobert Watson 			break;
66495fab37eSRobert Watson 		case MAC_CREATE_PROC1:
66595fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_proc1 = mpe->mpe_function;
66695fab37eSRobert Watson 			break;
66795fab37eSRobert Watson 		case MAC_RELABEL_CRED:
66895fab37eSRobert Watson 			mpc->mpc_ops->mpo_relabel_cred =
66995fab37eSRobert Watson 			    mpe->mpe_function;
67095fab37eSRobert Watson 			break;
67192dbb82aSRobert Watson 		case MAC_THREAD_USERRET:
67292dbb82aSRobert Watson 			mpc->mpc_ops->mpo_thread_userret =
67392dbb82aSRobert Watson 			    mpe->mpe_function;
67492dbb82aSRobert Watson 			break;
67595fab37eSRobert Watson 		case MAC_CHECK_BPFDESC_RECEIVE:
67695fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_bpfdesc_receive =
67795fab37eSRobert Watson 			    mpe->mpe_function;
67895fab37eSRobert Watson 			break;
67995fab37eSRobert Watson 		case MAC_CHECK_CRED_RELABEL:
68095fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_cred_relabel =
68195fab37eSRobert Watson 			    mpe->mpe_function;
68295fab37eSRobert Watson 			break;
68395fab37eSRobert Watson 		case MAC_CHECK_CRED_VISIBLE:
68495fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_cred_visible =
68595fab37eSRobert Watson 			    mpe->mpe_function;
68695fab37eSRobert Watson 			break;
68795fab37eSRobert Watson 		case MAC_CHECK_IFNET_RELABEL:
68895fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_ifnet_relabel =
68995fab37eSRobert Watson 			    mpe->mpe_function;
69095fab37eSRobert Watson 			break;
69195fab37eSRobert Watson 		case MAC_CHECK_IFNET_TRANSMIT:
69295fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_ifnet_transmit =
69395fab37eSRobert Watson 			    mpe->mpe_function;
69495fab37eSRobert Watson 			break;
69595fab37eSRobert Watson 		case MAC_CHECK_MOUNT_STAT:
69695fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_mount_stat =
69795fab37eSRobert Watson 			    mpe->mpe_function;
69895fab37eSRobert Watson 			break;
69995fab37eSRobert Watson 		case MAC_CHECK_PIPE_IOCTL:
70095fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_pipe_ioctl =
70195fab37eSRobert Watson 			    mpe->mpe_function;
70295fab37eSRobert Watson 			break;
703c024c3eeSRobert Watson 		case MAC_CHECK_PIPE_POLL:
704c024c3eeSRobert Watson 			mpc->mpc_ops->mpo_check_pipe_poll =
705c024c3eeSRobert Watson 			    mpe->mpe_function;
706c024c3eeSRobert Watson 			break;
707c024c3eeSRobert Watson 		case MAC_CHECK_PIPE_READ:
708c024c3eeSRobert Watson 			mpc->mpc_ops->mpo_check_pipe_read =
70995fab37eSRobert Watson 			    mpe->mpe_function;
71095fab37eSRobert Watson 			break;
71195fab37eSRobert Watson 		case MAC_CHECK_PIPE_RELABEL:
71295fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_pipe_relabel =
71395fab37eSRobert Watson 			    mpe->mpe_function;
71495fab37eSRobert Watson 			break;
715c024c3eeSRobert Watson 		case MAC_CHECK_PIPE_STAT:
716c024c3eeSRobert Watson 			mpc->mpc_ops->mpo_check_pipe_stat =
717c024c3eeSRobert Watson 			    mpe->mpe_function;
718c024c3eeSRobert Watson 			break;
719c024c3eeSRobert Watson 		case MAC_CHECK_PIPE_WRITE:
720c024c3eeSRobert Watson 			mpc->mpc_ops->mpo_check_pipe_write =
721c024c3eeSRobert Watson 			    mpe->mpe_function;
722c024c3eeSRobert Watson 			break;
72395fab37eSRobert Watson 		case MAC_CHECK_PROC_DEBUG:
72495fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_proc_debug =
72595fab37eSRobert Watson 			    mpe->mpe_function;
72695fab37eSRobert Watson 			break;
72795fab37eSRobert Watson 		case MAC_CHECK_PROC_SCHED:
72895fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_proc_sched =
72995fab37eSRobert Watson 			    mpe->mpe_function;
73095fab37eSRobert Watson 			break;
73195fab37eSRobert Watson 		case MAC_CHECK_PROC_SIGNAL:
73295fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_proc_signal =
73395fab37eSRobert Watson 			    mpe->mpe_function;
73495fab37eSRobert Watson 			break;
73595fab37eSRobert Watson 		case MAC_CHECK_SOCKET_BIND:
73695fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_socket_bind =
73795fab37eSRobert Watson 			    mpe->mpe_function;
73895fab37eSRobert Watson 			break;
73995fab37eSRobert Watson 		case MAC_CHECK_SOCKET_CONNECT:
74095fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_socket_connect =
74195fab37eSRobert Watson 			    mpe->mpe_function;
74295fab37eSRobert Watson 			break;
743d61198e4SRobert Watson 		case MAC_CHECK_SOCKET_DELIVER:
744d61198e4SRobert Watson 			mpc->mpc_ops->mpo_check_socket_deliver =
74595fab37eSRobert Watson 			    mpe->mpe_function;
74695fab37eSRobert Watson 			break;
747d61198e4SRobert Watson 		case MAC_CHECK_SOCKET_LISTEN:
748d61198e4SRobert Watson 			mpc->mpc_ops->mpo_check_socket_listen =
74995fab37eSRobert Watson 			    mpe->mpe_function;
75095fab37eSRobert Watson 			break;
75195fab37eSRobert Watson 		case MAC_CHECK_SOCKET_RELABEL:
75295fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_socket_relabel =
75395fab37eSRobert Watson 			    mpe->mpe_function;
75495fab37eSRobert Watson 			break;
75595fab37eSRobert Watson 		case MAC_CHECK_SOCKET_VISIBLE:
75695fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_socket_visible =
75795fab37eSRobert Watson 			    mpe->mpe_function;
75895fab37eSRobert Watson 			break;
75995fab37eSRobert Watson 		case MAC_CHECK_VNODE_ACCESS:
76095fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_access =
76195fab37eSRobert Watson 			    mpe->mpe_function;
76295fab37eSRobert Watson 			break;
76395fab37eSRobert Watson 		case MAC_CHECK_VNODE_CHDIR:
76495fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_chdir =
76595fab37eSRobert Watson 			    mpe->mpe_function;
76695fab37eSRobert Watson 			break;
76795fab37eSRobert Watson 		case MAC_CHECK_VNODE_CHROOT:
76895fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_chroot =
76995fab37eSRobert Watson 			    mpe->mpe_function;
77095fab37eSRobert Watson 			break;
77195fab37eSRobert Watson 		case MAC_CHECK_VNODE_CREATE:
77295fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_create =
77395fab37eSRobert Watson 			    mpe->mpe_function;
77495fab37eSRobert Watson 			break;
77595fab37eSRobert Watson 		case MAC_CHECK_VNODE_DELETE:
77695fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_delete =
77795fab37eSRobert Watson 			    mpe->mpe_function;
77895fab37eSRobert Watson 			break;
77995fab37eSRobert Watson 		case MAC_CHECK_VNODE_DELETEACL:
78095fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_deleteacl =
78195fab37eSRobert Watson 			    mpe->mpe_function;
78295fab37eSRobert Watson 			break;
78395fab37eSRobert Watson 		case MAC_CHECK_VNODE_EXEC:
78495fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_exec =
78595fab37eSRobert Watson 			    mpe->mpe_function;
78695fab37eSRobert Watson 			break;
78795fab37eSRobert Watson 		case MAC_CHECK_VNODE_GETACL:
78895fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_getacl =
78995fab37eSRobert Watson 			    mpe->mpe_function;
79095fab37eSRobert Watson 			break;
79195fab37eSRobert Watson 		case MAC_CHECK_VNODE_GETEXTATTR:
79295fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_getextattr =
79395fab37eSRobert Watson 			    mpe->mpe_function;
79495fab37eSRobert Watson 			break;
79595fab37eSRobert Watson 		case MAC_CHECK_VNODE_LOOKUP:
79695fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_lookup =
79795fab37eSRobert Watson 			    mpe->mpe_function;
79895fab37eSRobert Watson 			break;
79995fab37eSRobert Watson 		case MAC_CHECK_VNODE_MMAP_PERMS:
80095fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_mmap_perms =
80195fab37eSRobert Watson 			    mpe->mpe_function;
80295fab37eSRobert Watson 			break;
80395fab37eSRobert Watson 		case MAC_CHECK_VNODE_OPEN:
80495fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_open =
80595fab37eSRobert Watson 			    mpe->mpe_function;
80695fab37eSRobert Watson 			break;
8077f724f8bSRobert Watson 		case MAC_CHECK_VNODE_POLL:
8087f724f8bSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_poll =
8097f724f8bSRobert Watson 			    mpe->mpe_function;
8107f724f8bSRobert Watson 			break;
8117f724f8bSRobert Watson 		case MAC_CHECK_VNODE_READ:
8127f724f8bSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_read =
8137f724f8bSRobert Watson 			    mpe->mpe_function;
8147f724f8bSRobert Watson 			break;
81595fab37eSRobert Watson 		case MAC_CHECK_VNODE_READDIR:
81695fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_readdir =
81795fab37eSRobert Watson 			    mpe->mpe_function;
81895fab37eSRobert Watson 			break;
81995fab37eSRobert Watson 		case MAC_CHECK_VNODE_READLINK:
82095fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_readlink =
82195fab37eSRobert Watson 			    mpe->mpe_function;
82295fab37eSRobert Watson 			break;
82395fab37eSRobert Watson 		case MAC_CHECK_VNODE_RELABEL:
82495fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_relabel =
82595fab37eSRobert Watson 			    mpe->mpe_function;
82695fab37eSRobert Watson 			break;
82795fab37eSRobert Watson 		case MAC_CHECK_VNODE_RENAME_FROM:
82895fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_rename_from =
82995fab37eSRobert Watson 			    mpe->mpe_function;
83095fab37eSRobert Watson 			break;
83195fab37eSRobert Watson 		case MAC_CHECK_VNODE_RENAME_TO:
83295fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_rename_to =
83395fab37eSRobert Watson 			    mpe->mpe_function;
83495fab37eSRobert Watson 			break;
83595fab37eSRobert Watson 		case MAC_CHECK_VNODE_REVOKE:
83695fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_revoke =
83795fab37eSRobert Watson 			    mpe->mpe_function;
83895fab37eSRobert Watson 			break;
83995fab37eSRobert Watson 		case MAC_CHECK_VNODE_SETACL:
84095fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_setacl =
84195fab37eSRobert Watson 			    mpe->mpe_function;
84295fab37eSRobert Watson 			break;
84395fab37eSRobert Watson 		case MAC_CHECK_VNODE_SETEXTATTR:
84495fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_setextattr =
84595fab37eSRobert Watson 			    mpe->mpe_function;
84695fab37eSRobert Watson 			break;
84795fab37eSRobert Watson 		case MAC_CHECK_VNODE_SETFLAGS:
84895fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_setflags =
84995fab37eSRobert Watson 			    mpe->mpe_function;
85095fab37eSRobert Watson 			break;
85195fab37eSRobert Watson 		case MAC_CHECK_VNODE_SETMODE:
85295fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_setmode =
85395fab37eSRobert Watson 			    mpe->mpe_function;
85495fab37eSRobert Watson 			break;
85595fab37eSRobert Watson 		case MAC_CHECK_VNODE_SETOWNER:
85695fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_setowner =
85795fab37eSRobert Watson 			    mpe->mpe_function;
85895fab37eSRobert Watson 			break;
85995fab37eSRobert Watson 		case MAC_CHECK_VNODE_SETUTIMES:
86095fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_setutimes =
86195fab37eSRobert Watson 			    mpe->mpe_function;
86295fab37eSRobert Watson 			break;
86395fab37eSRobert Watson 		case MAC_CHECK_VNODE_STAT:
86495fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_stat =
86595fab37eSRobert Watson 			    mpe->mpe_function;
86695fab37eSRobert Watson 			break;
8677f724f8bSRobert Watson 		case MAC_CHECK_VNODE_WRITE:
8687f724f8bSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_write =
8697f724f8bSRobert Watson 			    mpe->mpe_function;
8707f724f8bSRobert Watson 			break;
87195fab37eSRobert Watson /*
87295fab37eSRobert Watson 		default:
87395fab37eSRobert Watson 			printf("MAC policy `%s': unknown operation %d\n",
87495fab37eSRobert Watson 			    mpc->mpc_name, mpe->mpe_constant);
87595fab37eSRobert Watson 			return (EINVAL);
87695fab37eSRobert Watson */
87795fab37eSRobert Watson 		}
87895fab37eSRobert Watson 	}
87995fab37eSRobert Watson 	MAC_POLICY_LIST_LOCK();
88095fab37eSRobert Watson 	if (mac_policy_list_busy > 0) {
88195fab37eSRobert Watson 		MAC_POLICY_LIST_UNLOCK();
88295fab37eSRobert Watson 		FREE(mpc->mpc_ops, M_MACOPVEC);
88395fab37eSRobert Watson 		mpc->mpc_ops = NULL;
88495fab37eSRobert Watson 		return (EBUSY);
88595fab37eSRobert Watson 	}
88695fab37eSRobert Watson 	LIST_FOREACH(tmpc, &mac_policy_list, mpc_list) {
88795fab37eSRobert Watson 		if (strcmp(tmpc->mpc_name, mpc->mpc_name) == 0) {
88895fab37eSRobert Watson 			MAC_POLICY_LIST_UNLOCK();
88995fab37eSRobert Watson 			FREE(mpc->mpc_ops, M_MACOPVEC);
89095fab37eSRobert Watson 			mpc->mpc_ops = NULL;
89195fab37eSRobert Watson 			return (EEXIST);
89295fab37eSRobert Watson 		}
89395fab37eSRobert Watson 	}
89495fab37eSRobert Watson 	if (mpc->mpc_field_off != NULL) {
89595fab37eSRobert Watson 		slot = ffs(mac_policy_offsets_free);
89695fab37eSRobert Watson 		if (slot == 0) {
89795fab37eSRobert Watson 			MAC_POLICY_LIST_UNLOCK();
89895fab37eSRobert Watson 			FREE(mpc->mpc_ops, M_MACOPVEC);
89995fab37eSRobert Watson 			mpc->mpc_ops = NULL;
90095fab37eSRobert Watson 			return (ENOMEM);
90195fab37eSRobert Watson 		}
90295fab37eSRobert Watson 		slot--;
90395fab37eSRobert Watson 		mac_policy_offsets_free &= ~(1 << slot);
90495fab37eSRobert Watson 		*mpc->mpc_field_off = slot;
90595fab37eSRobert Watson 	}
90695fab37eSRobert Watson 	mpc->mpc_runtime_flags |= MPC_RUNTIME_FLAG_REGISTERED;
90795fab37eSRobert Watson 	LIST_INSERT_HEAD(&mac_policy_list, mpc, mpc_list);
90895fab37eSRobert Watson 
90995fab37eSRobert Watson 	/* Per-policy initialization. */
91095fab37eSRobert Watson 	if (mpc->mpc_ops->mpo_init != NULL)
91195fab37eSRobert Watson 		(*(mpc->mpc_ops->mpo_init))(mpc);
91295fab37eSRobert Watson 	MAC_POLICY_LIST_UNLOCK();
91395fab37eSRobert Watson 
91495fab37eSRobert Watson 	printf("Security policy loaded: %s (%s)\n", mpc->mpc_fullname,
91595fab37eSRobert Watson 	    mpc->mpc_name);
91695fab37eSRobert Watson 
91795fab37eSRobert Watson 	return (0);
91895fab37eSRobert Watson }
91995fab37eSRobert Watson 
92095fab37eSRobert Watson static int
92195fab37eSRobert Watson mac_policy_unregister(struct mac_policy_conf *mpc)
92295fab37eSRobert Watson {
92395fab37eSRobert Watson 
92495fab37eSRobert Watson #if 0
92595fab37eSRobert Watson 	/*
92695fab37eSRobert Watson 	 * Don't allow unloading modules with private data.
92795fab37eSRobert Watson 	 */
92895fab37eSRobert Watson 	if (mpc->mpc_field_off != NULL)
92995fab37eSRobert Watson 		return (EBUSY);
93095fab37eSRobert Watson #endif
93195fab37eSRobert Watson 	if ((mpc->mpc_loadtime_flags & MPC_LOADTIME_FLAG_UNLOADOK) == 0)
93295fab37eSRobert Watson 		return (EBUSY);
93395fab37eSRobert Watson 	MAC_POLICY_LIST_LOCK();
93495fab37eSRobert Watson 	if (mac_policy_list_busy > 0) {
93595fab37eSRobert Watson 		MAC_POLICY_LIST_UNLOCK();
93695fab37eSRobert Watson 		return (EBUSY);
93795fab37eSRobert Watson 	}
93895fab37eSRobert Watson 	if (mpc->mpc_ops->mpo_destroy != NULL)
93995fab37eSRobert Watson 		(*(mpc->mpc_ops->mpo_destroy))(mpc);
94095fab37eSRobert Watson 
94195fab37eSRobert Watson 	LIST_REMOVE(mpc, mpc_list);
94295fab37eSRobert Watson 	MAC_POLICY_LIST_UNLOCK();
94395fab37eSRobert Watson 
94495fab37eSRobert Watson 	FREE(mpc->mpc_ops, M_MACOPVEC);
94595fab37eSRobert Watson 	mpc->mpc_ops = NULL;
94695fab37eSRobert Watson 
94795fab37eSRobert Watson 	printf("Security policy unload: %s (%s)\n", mpc->mpc_fullname,
94895fab37eSRobert Watson 	    mpc->mpc_name);
94995fab37eSRobert Watson 
95095fab37eSRobert Watson 	return (0);
95195fab37eSRobert Watson }
95295fab37eSRobert Watson 
95395fab37eSRobert Watson /*
95495fab37eSRobert Watson  * Define an error value precedence, and given two arguments, selects the
95595fab37eSRobert Watson  * value with the higher precedence.
95695fab37eSRobert Watson  */
95795fab37eSRobert Watson static int
95895fab37eSRobert Watson error_select(int error1, int error2)
95995fab37eSRobert Watson {
96095fab37eSRobert Watson 
96195fab37eSRobert Watson 	/* Certain decision-making errors take top priority. */
96295fab37eSRobert Watson 	if (error1 == EDEADLK || error2 == EDEADLK)
96395fab37eSRobert Watson 		return (EDEADLK);
96495fab37eSRobert Watson 
96595fab37eSRobert Watson 	/* Invalid arguments should be reported where possible. */
96695fab37eSRobert Watson 	if (error1 == EINVAL || error2 == EINVAL)
96795fab37eSRobert Watson 		return (EINVAL);
96895fab37eSRobert Watson 
96995fab37eSRobert Watson 	/* Precedence goes to "visibility", with both process and file. */
97095fab37eSRobert Watson 	if (error1 == ESRCH || error2 == ESRCH)
97195fab37eSRobert Watson 		return (ESRCH);
97295fab37eSRobert Watson 
97395fab37eSRobert Watson 	if (error1 == ENOENT || error2 == ENOENT)
97495fab37eSRobert Watson 		return (ENOENT);
97595fab37eSRobert Watson 
97695fab37eSRobert Watson 	/* Precedence goes to DAC/MAC protections. */
97795fab37eSRobert Watson 	if (error1 == EACCES || error2 == EACCES)
97895fab37eSRobert Watson 		return (EACCES);
97995fab37eSRobert Watson 
98095fab37eSRobert Watson 	/* Precedence goes to privilege. */
98195fab37eSRobert Watson 	if (error1 == EPERM || error2 == EPERM)
98295fab37eSRobert Watson 		return (EPERM);
98395fab37eSRobert Watson 
98495fab37eSRobert Watson 	/* Precedence goes to error over success; otherwise, arbitrary. */
98595fab37eSRobert Watson 	if (error1 != 0)
98695fab37eSRobert Watson 		return (error1);
98795fab37eSRobert Watson 	return (error2);
98895fab37eSRobert Watson }
98995fab37eSRobert Watson 
99095fab37eSRobert Watson void
99195fab37eSRobert Watson mac_update_devfsdirent(struct devfs_dirent *de, struct vnode *vp)
99295fab37eSRobert Watson {
99395fab37eSRobert Watson 
99495fab37eSRobert Watson 	MAC_PERFORM(update_devfsdirent, de, &de->de_label, vp, &vp->v_label);
99595fab37eSRobert Watson }
99695fab37eSRobert Watson 
99795fab37eSRobert Watson void
99895fab37eSRobert Watson mac_update_procfsvnode(struct vnode *vp, struct ucred *cred)
99995fab37eSRobert Watson {
100095fab37eSRobert Watson 
100195fab37eSRobert Watson 	MAC_PERFORM(update_procfsvnode, vp, &vp->v_label, cred);
100295fab37eSRobert Watson }
100395fab37eSRobert Watson 
100495fab37eSRobert Watson /*
100595fab37eSRobert Watson  * Support callout for policies that manage their own externalization
100695fab37eSRobert Watson  * using extended attributes.
100795fab37eSRobert Watson  */
100895fab37eSRobert Watson static int
100995fab37eSRobert Watson mac_update_vnode_from_extattr(struct vnode *vp, struct mount *mp)
101095fab37eSRobert Watson {
101195fab37eSRobert Watson 	int error;
101295fab37eSRobert Watson 
101395fab37eSRobert Watson 	MAC_CHECK(update_vnode_from_extattr, vp, &vp->v_label, mp,
101495fab37eSRobert Watson 	    &mp->mnt_fslabel);
101595fab37eSRobert Watson 
101695fab37eSRobert Watson 	return (error);
101795fab37eSRobert Watson }
101895fab37eSRobert Watson 
101995fab37eSRobert Watson /*
102095fab37eSRobert Watson  * Given an externalized mac label, internalize it and stamp it on a
102195fab37eSRobert Watson  * vnode.
102295fab37eSRobert Watson  */
102395fab37eSRobert Watson static int
102495fab37eSRobert Watson mac_update_vnode_from_externalized(struct vnode *vp, struct mac *extmac)
102595fab37eSRobert Watson {
102695fab37eSRobert Watson 	int error;
102795fab37eSRobert Watson 
102895fab37eSRobert Watson 	MAC_CHECK(update_vnode_from_externalized, vp, &vp->v_label, extmac);
102995fab37eSRobert Watson 
103095fab37eSRobert Watson 	return (error);
103195fab37eSRobert Watson }
103295fab37eSRobert Watson 
103395fab37eSRobert Watson /*
103495fab37eSRobert Watson  * Call out to individual policies to update the label in a vnode from
103595fab37eSRobert Watson  * the mountpoint.
103695fab37eSRobert Watson  */
103795fab37eSRobert Watson void
103895fab37eSRobert Watson mac_update_vnode_from_mount(struct vnode *vp, struct mount *mp)
103995fab37eSRobert Watson {
104095fab37eSRobert Watson 
104195fab37eSRobert Watson 	MAC_PERFORM(update_vnode_from_mount, vp, &vp->v_label, mp,
104295fab37eSRobert Watson 	    &mp->mnt_fslabel);
104395fab37eSRobert Watson 
1044e6e370a7SJeff Roberson 	ASSERT_VOP_LOCKED(vp, "mac_update_vnode_from_mount");
104595fab37eSRobert Watson 	if (mac_cache_fslabel_in_vnode)
1046e6e370a7SJeff Roberson 		vp->v_vflag |= VV_CACHEDLABEL;
104795fab37eSRobert Watson }
104895fab37eSRobert Watson 
104995fab37eSRobert Watson /*
105095fab37eSRobert Watson  * Implementation of VOP_REFRESHLABEL() that relies on extended attributes
105195fab37eSRobert Watson  * to store label data.  Can be referenced by filesystems supporting
105295fab37eSRobert Watson  * extended attributes.
105395fab37eSRobert Watson  */
105495fab37eSRobert Watson int
105595fab37eSRobert Watson vop_stdrefreshlabel_ea(struct vop_refreshlabel_args *ap)
105695fab37eSRobert Watson {
105795fab37eSRobert Watson 	struct vnode *vp = ap->a_vp;
105895fab37eSRobert Watson 	struct mac extmac;
105995fab37eSRobert Watson 	int buflen, error;
106095fab37eSRobert Watson 
106195fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "vop_stdrefreshlabel_ea");
106295fab37eSRobert Watson 
106395fab37eSRobert Watson 	/*
106495fab37eSRobert Watson 	 * Call out to external policies first.  Order doesn't really
106595fab37eSRobert Watson 	 * matter, as long as failure of one assures failure of all.
106695fab37eSRobert Watson 	 */
106795fab37eSRobert Watson 	error = mac_update_vnode_from_extattr(vp, vp->v_mount);
106895fab37eSRobert Watson 	if (error)
106995fab37eSRobert Watson 		return (error);
107095fab37eSRobert Watson 
107195fab37eSRobert Watson 	buflen = sizeof(extmac);
107295fab37eSRobert Watson 	error = vn_extattr_get(vp, IO_NODELOCKED,
107395fab37eSRobert Watson 	    FREEBSD_MAC_EXTATTR_NAMESPACE, FREEBSD_MAC_EXTATTR_NAME, &buflen,
107495fab37eSRobert Watson 	    (char *)&extmac, curthread);
107595fab37eSRobert Watson 	switch (error) {
107695fab37eSRobert Watson 	case 0:
107795fab37eSRobert Watson 		/* Got it */
107895fab37eSRobert Watson 		break;
107995fab37eSRobert Watson 
108095fab37eSRobert Watson 	case ENOATTR:
108195fab37eSRobert Watson 		/*
108295fab37eSRobert Watson 		 * Use the label from the mount point.
108395fab37eSRobert Watson 		 */
108495fab37eSRobert Watson 		mac_update_vnode_from_mount(vp, vp->v_mount);
108595fab37eSRobert Watson 		return (0);
108695fab37eSRobert Watson 
108795fab37eSRobert Watson 	case EOPNOTSUPP:
108895fab37eSRobert Watson 	default:
108995fab37eSRobert Watson 		/* Fail horribly. */
109095fab37eSRobert Watson 		return (error);
109195fab37eSRobert Watson 	}
109295fab37eSRobert Watson 
109395fab37eSRobert Watson 	if (buflen != sizeof(extmac))
109495fab37eSRobert Watson 		error = EPERM;		/* Fail very closed. */
109595fab37eSRobert Watson 	if (error == 0)
109695fab37eSRobert Watson 		error = mac_update_vnode_from_externalized(vp, &extmac);
109795fab37eSRobert Watson 	if (error == 0)
1098e6e370a7SJeff Roberson 		vp->v_vflag |= VV_CACHEDLABEL;
109995fab37eSRobert Watson 	else {
110095fab37eSRobert Watson 		struct vattr va;
110195fab37eSRobert Watson 
110295fab37eSRobert Watson 		printf("Corrupted label on %s",
110395fab37eSRobert Watson 		    vp->v_mount->mnt_stat.f_mntonname);
110495fab37eSRobert Watson 		if (VOP_GETATTR(vp, &va, curthread->td_ucred, curthread) == 0)
110595fab37eSRobert Watson 			printf(" inum %ld", va.va_fileid);
11066be0c25eSRobert Watson #ifdef MAC_DEBUG
110795fab37eSRobert Watson 		if (mac_debug_label_fallback) {
110895fab37eSRobert Watson 			printf(", falling back.\n");
110995fab37eSRobert Watson 			mac_update_vnode_from_mount(vp, vp->v_mount);
111095fab37eSRobert Watson 			error = 0;
111195fab37eSRobert Watson 		} else {
11126be0c25eSRobert Watson #endif
111395fab37eSRobert Watson 			printf(".\n");
111495fab37eSRobert Watson 			error = EPERM;
11156be0c25eSRobert Watson #ifdef MAC_DEBUG
111695fab37eSRobert Watson 		}
11176be0c25eSRobert Watson #endif
111895fab37eSRobert Watson 	}
111995fab37eSRobert Watson 
112095fab37eSRobert Watson 	return (error);
112195fab37eSRobert Watson }
112295fab37eSRobert Watson 
112395fab37eSRobert Watson /*
112495fab37eSRobert Watson  * Make sure the vnode label is up-to-date.  If EOPNOTSUPP, then we handle
112595fab37eSRobert Watson  * the labeling activity outselves.  Filesystems should be careful not
112695fab37eSRobert Watson  * to change their minds regarding whether they support vop_refreshlabel()
112795fab37eSRobert Watson  * for a vnode or not.  Don't cache the vnode here, allow the file
112895fab37eSRobert Watson  * system code to determine if it's safe to cache.  If we update from
112995fab37eSRobert Watson  * the mount, don't cache since a change to the mount label should affect
113095fab37eSRobert Watson  * all vnodes.
113195fab37eSRobert Watson  */
113295fab37eSRobert Watson static int
113395fab37eSRobert Watson vn_refreshlabel(struct vnode *vp, struct ucred *cred)
113495fab37eSRobert Watson {
113595fab37eSRobert Watson 	int error;
113695fab37eSRobert Watson 
113795fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "vn_refreshlabel");
113895fab37eSRobert Watson 
113995fab37eSRobert Watson 	if (vp->v_mount == NULL) {
114095fab37eSRobert Watson /*
114195fab37eSRobert Watson 		Eventually, we probably want to special-case refreshing
114295fab37eSRobert Watson 		of deadfs vnodes, and if there's a lock-free race somewhere,
114395fab37eSRobert Watson 		that case might be handled here.
114495fab37eSRobert Watson 
114595fab37eSRobert Watson 		mac_update_vnode_deadfs(vp);
114695fab37eSRobert Watson 		return (0);
114795fab37eSRobert Watson  */
114895fab37eSRobert Watson 		/* printf("vn_refreshlabel: null v_mount\n"); */
114906be2aaaSNate Lawson 		if (vp->v_type != VNON)
115095fab37eSRobert Watson 			printf(
115106be2aaaSNate Lawson 			    "vn_refreshlabel: null v_mount with non-VNON\n");
115295fab37eSRobert Watson 		return (EBADF);
115395fab37eSRobert Watson 	}
115495fab37eSRobert Watson 
1155e6e370a7SJeff Roberson 	if (vp->v_vflag & VV_CACHEDLABEL) {
115695fab37eSRobert Watson 		mac_vnode_label_cache_hits++;
115795fab37eSRobert Watson 		return (0);
115895fab37eSRobert Watson 	} else
115995fab37eSRobert Watson 		mac_vnode_label_cache_misses++;
116095fab37eSRobert Watson 
116195fab37eSRobert Watson 	if ((vp->v_mount->mnt_flag & MNT_MULTILABEL) == 0) {
116295fab37eSRobert Watson 		mac_update_vnode_from_mount(vp, vp->v_mount);
116395fab37eSRobert Watson 		return (0);
116495fab37eSRobert Watson 	}
116595fab37eSRobert Watson 
116695fab37eSRobert Watson 	error = VOP_REFRESHLABEL(vp, cred, curthread);
116795fab37eSRobert Watson 	switch (error) {
116895fab37eSRobert Watson 	case EOPNOTSUPP:
116995fab37eSRobert Watson 		/*
117095fab37eSRobert Watson 		 * If labels are not supported on this vnode, fall back to
117195fab37eSRobert Watson 		 * the label in the mount and propagate it to the vnode.
117295fab37eSRobert Watson 		 * There should probably be some sort of policy/flag/decision
117395fab37eSRobert Watson 		 * about doing this.
117495fab37eSRobert Watson 		 */
117595fab37eSRobert Watson 		mac_update_vnode_from_mount(vp, vp->v_mount);
117695fab37eSRobert Watson 		error = 0;
117795fab37eSRobert Watson 	default:
117895fab37eSRobert Watson 		return (error);
117995fab37eSRobert Watson 	}
118095fab37eSRobert Watson }
118195fab37eSRobert Watson 
118295fab37eSRobert Watson /*
118395fab37eSRobert Watson  * Helper function for file systems using the vop_std*_ea() calls.  This
118495fab37eSRobert Watson  * function must be called after EA service is available for the vnode,
118595fab37eSRobert Watson  * but before it's hooked up to the namespace so that the node persists
118695fab37eSRobert Watson  * if there's a crash, or before it can be accessed.  On successful
118795fab37eSRobert Watson  * commit of the label to disk (etc), do cache the label.
118895fab37eSRobert Watson  */
118995fab37eSRobert Watson int
119095fab37eSRobert Watson vop_stdcreatevnode_ea(struct vnode *dvp, struct vnode *tvp, struct ucred *cred)
119195fab37eSRobert Watson {
119295fab37eSRobert Watson 	struct mac extmac;
119395fab37eSRobert Watson 	int error;
119495fab37eSRobert Watson 
1195e6e370a7SJeff Roberson 	ASSERT_VOP_LOCKED(tvp, "vop_stdcreatevnode_ea");
119695fab37eSRobert Watson 	if ((dvp->v_mount->mnt_flag & MNT_MULTILABEL) == 0) {
119795fab37eSRobert Watson 		mac_update_vnode_from_mount(tvp, tvp->v_mount);
119895fab37eSRobert Watson 	} else {
119995fab37eSRobert Watson 		error = vn_refreshlabel(dvp, cred);
120095fab37eSRobert Watson 		if (error)
120195fab37eSRobert Watson 			return (error);
120295fab37eSRobert Watson 
120395fab37eSRobert Watson 		/*
120495fab37eSRobert Watson 		 * Stick the label in the vnode.  Then try to write to
120595fab37eSRobert Watson 		 * disk.  If we fail, return a failure to abort the
120695fab37eSRobert Watson 		 * create operation.  Really, this failure shouldn't
120795fab37eSRobert Watson 		 * happen except in fairly unusual circumstances (out
120895fab37eSRobert Watson 		 * of disk, etc).
120995fab37eSRobert Watson 		 */
121095fab37eSRobert Watson 		mac_create_vnode(cred, dvp, tvp);
121195fab37eSRobert Watson 
121295fab37eSRobert Watson 		error = mac_stdcreatevnode_ea(tvp);
121395fab37eSRobert Watson 		if (error)
121495fab37eSRobert Watson 			return (error);
121595fab37eSRobert Watson 
121695fab37eSRobert Watson 		/*
121795fab37eSRobert Watson 		 * XXX: Eventually this will go away and all policies will
121895fab37eSRobert Watson 		 * directly manage their extended attributes.
121995fab37eSRobert Watson 		 */
122095fab37eSRobert Watson 		error = mac_externalize(&tvp->v_label, &extmac);
122195fab37eSRobert Watson 		if (error)
122295fab37eSRobert Watson 			return (error);
122395fab37eSRobert Watson 
122495fab37eSRobert Watson 		error = vn_extattr_set(tvp, IO_NODELOCKED,
122595fab37eSRobert Watson 		    FREEBSD_MAC_EXTATTR_NAMESPACE, FREEBSD_MAC_EXTATTR_NAME,
122695fab37eSRobert Watson 		    sizeof(extmac), (char *)&extmac, curthread);
122795fab37eSRobert Watson 		if (error == 0)
1228e6e370a7SJeff Roberson 			tvp->v_vflag |= VV_CACHEDLABEL;
122995fab37eSRobert Watson 		else {
123095fab37eSRobert Watson #if 0
123195fab37eSRobert Watson 			/*
123295fab37eSRobert Watson 			 * In theory, we could have fall-back behavior here.
123395fab37eSRobert Watson 			 * It would probably be incorrect.
123495fab37eSRobert Watson 			 */
123595fab37eSRobert Watson #endif
123695fab37eSRobert Watson 			return (error);
123795fab37eSRobert Watson 		}
123895fab37eSRobert Watson 	}
123995fab37eSRobert Watson 
124095fab37eSRobert Watson 	return (0);
124195fab37eSRobert Watson }
124295fab37eSRobert Watson 
124395fab37eSRobert Watson void
124495fab37eSRobert Watson mac_execve_transition(struct ucred *old, struct ucred *new, struct vnode *vp)
124595fab37eSRobert Watson {
124695fab37eSRobert Watson 	int error;
124795fab37eSRobert Watson 
124895fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_execve_transition");
124995fab37eSRobert Watson 
125095fab37eSRobert Watson 	error = vn_refreshlabel(vp, old);
125195fab37eSRobert Watson 	if (error) {
125295fab37eSRobert Watson 		printf("mac_execve_transition: vn_refreshlabel returned %d\n",
125395fab37eSRobert Watson 		    error);
125495fab37eSRobert Watson 		printf("mac_execve_transition: using old vnode label\n");
125595fab37eSRobert Watson 	}
125695fab37eSRobert Watson 
125795fab37eSRobert Watson 	MAC_PERFORM(execve_transition, old, new, vp, &vp->v_label);
125895fab37eSRobert Watson }
125995fab37eSRobert Watson 
126095fab37eSRobert Watson int
126195fab37eSRobert Watson mac_execve_will_transition(struct ucred *old, struct vnode *vp)
126295fab37eSRobert Watson {
126395fab37eSRobert Watson 	int error, result;
126495fab37eSRobert Watson 
126595fab37eSRobert Watson 	error = vn_refreshlabel(vp, old);
126695fab37eSRobert Watson 	if (error)
126795fab37eSRobert Watson 		return (error);
126895fab37eSRobert Watson 
126995fab37eSRobert Watson 	result = 0;
127095fab37eSRobert Watson 	MAC_BOOLEAN(execve_will_transition, ||, old, vp, &vp->v_label);
127195fab37eSRobert Watson 
127295fab37eSRobert Watson 	return (result);
127395fab37eSRobert Watson }
127495fab37eSRobert Watson 
127595fab37eSRobert Watson static void
127695fab37eSRobert Watson mac_init_label(struct label *label)
127795fab37eSRobert Watson {
127895fab37eSRobert Watson 
127995fab37eSRobert Watson 	bzero(label, sizeof(*label));
128095fab37eSRobert Watson 	label->l_flags = MAC_FLAG_INITIALIZED;
128195fab37eSRobert Watson }
128295fab37eSRobert Watson 
128395fab37eSRobert Watson static void
128495fab37eSRobert Watson mac_init_structmac(struct mac *mac)
128595fab37eSRobert Watson {
128695fab37eSRobert Watson 
128795fab37eSRobert Watson 	bzero(mac, sizeof(*mac));
128895fab37eSRobert Watson 	mac->m_macflags = MAC_FLAG_INITIALIZED;
128995fab37eSRobert Watson }
129095fab37eSRobert Watson 
129195fab37eSRobert Watson static void
129295fab37eSRobert Watson mac_destroy_label(struct label *label)
129395fab37eSRobert Watson {
129495fab37eSRobert Watson 
129595fab37eSRobert Watson 	KASSERT(label->l_flags & MAC_FLAG_INITIALIZED,
129695fab37eSRobert Watson 	    ("destroying uninitialized label"));
129795fab37eSRobert Watson 
129895fab37eSRobert Watson 	bzero(label, sizeof(*label));
129995fab37eSRobert Watson 	/* implicit: label->l_flags &= ~MAC_FLAG_INITIALIZED; */
130095fab37eSRobert Watson }
130195fab37eSRobert Watson 
130295fab37eSRobert Watson int
130395fab37eSRobert Watson mac_init_mbuf(struct mbuf *m, int how)
130495fab37eSRobert Watson {
130595fab37eSRobert Watson 	KASSERT(m->m_flags & M_PKTHDR, ("mac_init_mbuf on non-header mbuf"));
130695fab37eSRobert Watson 
130795fab37eSRobert Watson 	/* "how" is one of M_(TRY|DONT)WAIT */
130895fab37eSRobert Watson 	mac_init_label(&m->m_pkthdr.label);
130996adb909SRobert Watson 	MAC_PERFORM(init_mbuf_label, &m->m_pkthdr.label, how);
1310f050add5SRobert Watson #ifdef MAC_DEBUG
131195fab37eSRobert Watson 	atomic_add_int(&nmacmbufs, 1);
1312f050add5SRobert Watson #endif
131395fab37eSRobert Watson 	return (0);
131495fab37eSRobert Watson }
131595fab37eSRobert Watson 
131695fab37eSRobert Watson void
131795fab37eSRobert Watson mac_destroy_mbuf(struct mbuf *m)
131895fab37eSRobert Watson {
131995fab37eSRobert Watson 
132096adb909SRobert Watson 	MAC_PERFORM(destroy_mbuf_label, &m->m_pkthdr.label);
132195fab37eSRobert Watson 	mac_destroy_label(&m->m_pkthdr.label);
1322f050add5SRobert Watson #ifdef MAC_DEBUG
132395fab37eSRobert Watson 	atomic_subtract_int(&nmacmbufs, 1);
1324f050add5SRobert Watson #endif
132595fab37eSRobert Watson }
132695fab37eSRobert Watson 
132795fab37eSRobert Watson void
132895fab37eSRobert Watson mac_init_cred(struct ucred *cr)
132995fab37eSRobert Watson {
133095fab37eSRobert Watson 
133195fab37eSRobert Watson 	mac_init_label(&cr->cr_label);
133296adb909SRobert Watson 	MAC_PERFORM(init_cred_label, &cr->cr_label);
1333f050add5SRobert Watson #ifdef MAC_DEBUG
133495fab37eSRobert Watson 	atomic_add_int(&nmaccreds, 1);
1335f050add5SRobert Watson #endif
133695fab37eSRobert Watson }
133795fab37eSRobert Watson 
133895fab37eSRobert Watson void
133995fab37eSRobert Watson mac_destroy_cred(struct ucred *cr)
134095fab37eSRobert Watson {
134195fab37eSRobert Watson 
134296adb909SRobert Watson 	MAC_PERFORM(destroy_cred_label, &cr->cr_label);
134395fab37eSRobert Watson 	mac_destroy_label(&cr->cr_label);
1344f050add5SRobert Watson #ifdef MAC_DEBUG
134595fab37eSRobert Watson 	atomic_subtract_int(&nmaccreds, 1);
1346f050add5SRobert Watson #endif
134795fab37eSRobert Watson }
134895fab37eSRobert Watson 
134995fab37eSRobert Watson void
135095fab37eSRobert Watson mac_init_ifnet(struct ifnet *ifp)
135195fab37eSRobert Watson {
135295fab37eSRobert Watson 
135395fab37eSRobert Watson 	mac_init_label(&ifp->if_label);
135496adb909SRobert Watson 	MAC_PERFORM(init_ifnet_label, &ifp->if_label);
1355f050add5SRobert Watson #ifdef MAC_DEBUG
135695fab37eSRobert Watson 	atomic_add_int(&nmacifnets, 1);
1357f050add5SRobert Watson #endif
135895fab37eSRobert Watson }
135995fab37eSRobert Watson 
136095fab37eSRobert Watson void
136195fab37eSRobert Watson mac_destroy_ifnet(struct ifnet *ifp)
136295fab37eSRobert Watson {
136395fab37eSRobert Watson 
136496adb909SRobert Watson 	MAC_PERFORM(destroy_ifnet_label, &ifp->if_label);
136595fab37eSRobert Watson 	mac_destroy_label(&ifp->if_label);
1366f050add5SRobert Watson #ifdef MAC_DEBUG
136795fab37eSRobert Watson 	atomic_subtract_int(&nmacifnets, 1);
1368f050add5SRobert Watson #endif
136995fab37eSRobert Watson }
137095fab37eSRobert Watson 
137195fab37eSRobert Watson void
137295fab37eSRobert Watson mac_init_ipq(struct ipq *ipq)
137395fab37eSRobert Watson {
137495fab37eSRobert Watson 
137595fab37eSRobert Watson 	mac_init_label(&ipq->ipq_label);
137696adb909SRobert Watson 	MAC_PERFORM(init_ipq_label, &ipq->ipq_label);
1377f050add5SRobert Watson #ifdef MAC_DEBUG
137895fab37eSRobert Watson 	atomic_add_int(&nmacipqs, 1);
1379f050add5SRobert Watson #endif
138095fab37eSRobert Watson }
138195fab37eSRobert Watson 
138295fab37eSRobert Watson void
138395fab37eSRobert Watson mac_destroy_ipq(struct ipq *ipq)
138495fab37eSRobert Watson {
138595fab37eSRobert Watson 
138696adb909SRobert Watson 	MAC_PERFORM(destroy_ipq_label, &ipq->ipq_label);
138795fab37eSRobert Watson 	mac_destroy_label(&ipq->ipq_label);
1388f050add5SRobert Watson #ifdef MAC_DEBUG
138995fab37eSRobert Watson 	atomic_subtract_int(&nmacipqs, 1);
1390f050add5SRobert Watson #endif
139195fab37eSRobert Watson }
139295fab37eSRobert Watson 
139395fab37eSRobert Watson void
139495fab37eSRobert Watson mac_init_socket(struct socket *socket)
139595fab37eSRobert Watson {
139695fab37eSRobert Watson 
139795fab37eSRobert Watson 	mac_init_label(&socket->so_label);
139895fab37eSRobert Watson 	mac_init_label(&socket->so_peerlabel);
139996adb909SRobert Watson 	MAC_PERFORM(init_socket_label, &socket->so_label);
140096adb909SRobert Watson 	MAC_PERFORM(init_socket_peer_label, &socket->so_peerlabel);
1401f050add5SRobert Watson #ifdef MAC_DEBUG
140295fab37eSRobert Watson 	atomic_add_int(&nmacsockets, 1);
1403f050add5SRobert Watson #endif
140495fab37eSRobert Watson }
140595fab37eSRobert Watson 
140695fab37eSRobert Watson void
140795fab37eSRobert Watson mac_destroy_socket(struct socket *socket)
140895fab37eSRobert Watson {
140995fab37eSRobert Watson 
141096adb909SRobert Watson 	MAC_PERFORM(destroy_socket_label, &socket->so_label);
141196adb909SRobert Watson 	MAC_PERFORM(destroy_socket_peer_label, &socket->so_peerlabel);
141295fab37eSRobert Watson 	mac_destroy_label(&socket->so_label);
141395fab37eSRobert Watson 	mac_destroy_label(&socket->so_peerlabel);
1414f050add5SRobert Watson #ifdef MAC_DEBUG
141595fab37eSRobert Watson 	atomic_subtract_int(&nmacsockets, 1);
1416f050add5SRobert Watson #endif
141795fab37eSRobert Watson }
141895fab37eSRobert Watson 
141995fab37eSRobert Watson void
142095fab37eSRobert Watson mac_init_pipe(struct pipe *pipe)
142195fab37eSRobert Watson {
142295fab37eSRobert Watson 	struct label *label;
142395fab37eSRobert Watson 
142495fab37eSRobert Watson 	label = malloc(sizeof(struct label), M_MACPIPELABEL, M_ZERO|M_WAITOK);
142595fab37eSRobert Watson 	mac_init_label(label);
142695fab37eSRobert Watson 	pipe->pipe_label = label;
142795fab37eSRobert Watson 	pipe->pipe_peer->pipe_label = label;
142896adb909SRobert Watson 	MAC_PERFORM(init_pipe_label, pipe->pipe_label);
1429f050add5SRobert Watson #ifdef MAC_DEBUG
143095fab37eSRobert Watson 	atomic_add_int(&nmacpipes, 1);
1431f050add5SRobert Watson #endif
143295fab37eSRobert Watson }
143395fab37eSRobert Watson 
143495fab37eSRobert Watson void
143595fab37eSRobert Watson mac_destroy_pipe(struct pipe *pipe)
143695fab37eSRobert Watson {
143795fab37eSRobert Watson 
143896adb909SRobert Watson 	MAC_PERFORM(destroy_pipe_label, pipe->pipe_label);
143995fab37eSRobert Watson 	mac_destroy_label(pipe->pipe_label);
144095fab37eSRobert Watson 	free(pipe->pipe_label, M_MACPIPELABEL);
1441f050add5SRobert Watson #ifdef MAC_DEBUG
144295fab37eSRobert Watson 	atomic_subtract_int(&nmacpipes, 1);
1443f050add5SRobert Watson #endif
144495fab37eSRobert Watson }
144595fab37eSRobert Watson 
144695fab37eSRobert Watson void
144795fab37eSRobert Watson mac_init_bpfdesc(struct bpf_d *bpf_d)
144895fab37eSRobert Watson {
144995fab37eSRobert Watson 
145095fab37eSRobert Watson 	mac_init_label(&bpf_d->bd_label);
145196adb909SRobert Watson 	MAC_PERFORM(init_bpfdesc_label, &bpf_d->bd_label);
1452f050add5SRobert Watson #ifdef MAC_DEBUG
145395fab37eSRobert Watson 	atomic_add_int(&nmacbpfdescs, 1);
1454f050add5SRobert Watson #endif
145595fab37eSRobert Watson }
145695fab37eSRobert Watson 
145795fab37eSRobert Watson void
145895fab37eSRobert Watson mac_destroy_bpfdesc(struct bpf_d *bpf_d)
145995fab37eSRobert Watson {
146095fab37eSRobert Watson 
146196adb909SRobert Watson 	MAC_PERFORM(destroy_bpfdesc_label, &bpf_d->bd_label);
146295fab37eSRobert Watson 	mac_destroy_label(&bpf_d->bd_label);
1463f050add5SRobert Watson #ifdef MAC_DEBUG
146495fab37eSRobert Watson 	atomic_subtract_int(&nmacbpfdescs, 1);
1465f050add5SRobert Watson #endif
146695fab37eSRobert Watson }
146795fab37eSRobert Watson 
146895fab37eSRobert Watson void
146995fab37eSRobert Watson mac_init_mount(struct mount *mp)
147095fab37eSRobert Watson {
147195fab37eSRobert Watson 
147295fab37eSRobert Watson 	mac_init_label(&mp->mnt_mntlabel);
147395fab37eSRobert Watson 	mac_init_label(&mp->mnt_fslabel);
147496adb909SRobert Watson 	MAC_PERFORM(init_mount_label, &mp->mnt_mntlabel);
147596adb909SRobert Watson 	MAC_PERFORM(init_mount_fs_label, &mp->mnt_fslabel);
1476f050add5SRobert Watson #ifdef MAC_DEBUG
147795fab37eSRobert Watson 	atomic_add_int(&nmacmounts, 1);
1478f050add5SRobert Watson #endif
147995fab37eSRobert Watson }
148095fab37eSRobert Watson 
148195fab37eSRobert Watson void
148295fab37eSRobert Watson mac_destroy_mount(struct mount *mp)
148395fab37eSRobert Watson {
148495fab37eSRobert Watson 
148596adb909SRobert Watson 	MAC_PERFORM(destroy_mount_label, &mp->mnt_mntlabel);
148696adb909SRobert Watson 	MAC_PERFORM(destroy_mount_fs_label, &mp->mnt_fslabel);
148795fab37eSRobert Watson 	mac_destroy_label(&mp->mnt_fslabel);
148895fab37eSRobert Watson 	mac_destroy_label(&mp->mnt_mntlabel);
1489f050add5SRobert Watson #ifdef MAC_DEBUG
149095fab37eSRobert Watson 	atomic_subtract_int(&nmacmounts, 1);
1491f050add5SRobert Watson #endif
149295fab37eSRobert Watson }
149395fab37eSRobert Watson 
149495fab37eSRobert Watson static void
149595fab37eSRobert Watson mac_init_temp(struct label *label)
149695fab37eSRobert Watson {
149795fab37eSRobert Watson 
149895fab37eSRobert Watson 	mac_init_label(label);
149996adb909SRobert Watson 	MAC_PERFORM(init_temp_label, label);
1500f050add5SRobert Watson #ifdef MAC_DEBUG
150195fab37eSRobert Watson 	atomic_add_int(&nmactemp, 1);
1502f050add5SRobert Watson #endif
150395fab37eSRobert Watson }
150495fab37eSRobert Watson 
150595fab37eSRobert Watson static void
150695fab37eSRobert Watson mac_destroy_temp(struct label *label)
150795fab37eSRobert Watson {
150895fab37eSRobert Watson 
150996adb909SRobert Watson 	MAC_PERFORM(destroy_temp_label, label);
151095fab37eSRobert Watson 	mac_destroy_label(label);
1511f050add5SRobert Watson #ifdef MAC_DEBUG
151295fab37eSRobert Watson 	atomic_subtract_int(&nmactemp, 1);
1513f050add5SRobert Watson #endif
151495fab37eSRobert Watson }
151595fab37eSRobert Watson 
151695fab37eSRobert Watson void
151795fab37eSRobert Watson mac_init_vnode(struct vnode *vp)
151895fab37eSRobert Watson {
151995fab37eSRobert Watson 
152095fab37eSRobert Watson 	mac_init_label(&vp->v_label);
152196adb909SRobert Watson 	MAC_PERFORM(init_vnode_label, &vp->v_label);
1522f050add5SRobert Watson #ifdef MAC_DEBUG
152395fab37eSRobert Watson 	atomic_add_int(&nmacvnodes, 1);
1524f050add5SRobert Watson #endif
152595fab37eSRobert Watson }
152695fab37eSRobert Watson 
152795fab37eSRobert Watson void
152895fab37eSRobert Watson mac_destroy_vnode(struct vnode *vp)
152995fab37eSRobert Watson {
153095fab37eSRobert Watson 
153196adb909SRobert Watson 	MAC_PERFORM(destroy_vnode_label, &vp->v_label);
153295fab37eSRobert Watson 	mac_destroy_label(&vp->v_label);
1533f050add5SRobert Watson #ifdef MAC_DEBUG
153495fab37eSRobert Watson 	atomic_subtract_int(&nmacvnodes, 1);
1535f050add5SRobert Watson #endif
153695fab37eSRobert Watson }
153795fab37eSRobert Watson 
153895fab37eSRobert Watson void
153995fab37eSRobert Watson mac_init_devfsdirent(struct devfs_dirent *de)
154095fab37eSRobert Watson {
154195fab37eSRobert Watson 
154295fab37eSRobert Watson 	mac_init_label(&de->de_label);
154396adb909SRobert Watson 	MAC_PERFORM(init_devfsdirent_label, &de->de_label);
1544f050add5SRobert Watson #ifdef MAC_DEBUG
154595fab37eSRobert Watson 	atomic_add_int(&nmacdevfsdirents, 1);
1546f050add5SRobert Watson #endif
154795fab37eSRobert Watson }
154895fab37eSRobert Watson 
154995fab37eSRobert Watson void
155095fab37eSRobert Watson mac_destroy_devfsdirent(struct devfs_dirent *de)
155195fab37eSRobert Watson {
155295fab37eSRobert Watson 
155396adb909SRobert Watson 	MAC_PERFORM(destroy_devfsdirent_label, &de->de_label);
155495fab37eSRobert Watson 	mac_destroy_label(&de->de_label);
1555f050add5SRobert Watson #ifdef MAC_DEBUG
155695fab37eSRobert Watson 	atomic_subtract_int(&nmacdevfsdirents, 1);
1557f050add5SRobert Watson #endif
155895fab37eSRobert Watson }
155995fab37eSRobert Watson 
156095fab37eSRobert Watson static int
156195fab37eSRobert Watson mac_externalize(struct label *label, struct mac *mac)
156295fab37eSRobert Watson {
156395fab37eSRobert Watson 	int error;
156495fab37eSRobert Watson 
156595fab37eSRobert Watson 	mac_init_structmac(mac);
156695fab37eSRobert Watson 	MAC_CHECK(externalize, label, mac);
156795fab37eSRobert Watson 
156895fab37eSRobert Watson 	return (error);
156995fab37eSRobert Watson }
157095fab37eSRobert Watson 
157195fab37eSRobert Watson static int
157295fab37eSRobert Watson mac_internalize(struct label *label, struct mac *mac)
157395fab37eSRobert Watson {
157495fab37eSRobert Watson 	int error;
157595fab37eSRobert Watson 
157695fab37eSRobert Watson 	mac_init_temp(label);
157795fab37eSRobert Watson 	MAC_CHECK(internalize, label, mac);
157895fab37eSRobert Watson 	if (error)
157995fab37eSRobert Watson 		mac_destroy_temp(label);
158095fab37eSRobert Watson 
158195fab37eSRobert Watson 	return (error);
158295fab37eSRobert Watson }
158395fab37eSRobert Watson 
158495fab37eSRobert Watson /*
158595fab37eSRobert Watson  * Initialize MAC label for the first kernel process, from which other
158695fab37eSRobert Watson  * kernel processes and threads are spawned.
158795fab37eSRobert Watson  */
158895fab37eSRobert Watson void
158995fab37eSRobert Watson mac_create_proc0(struct ucred *cred)
159095fab37eSRobert Watson {
159195fab37eSRobert Watson 
159295fab37eSRobert Watson 	MAC_PERFORM(create_proc0, cred);
159395fab37eSRobert Watson }
159495fab37eSRobert Watson 
159595fab37eSRobert Watson /*
159695fab37eSRobert Watson  * Initialize MAC label for the first userland process, from which other
159795fab37eSRobert Watson  * userland processes and threads are spawned.
159895fab37eSRobert Watson  */
159995fab37eSRobert Watson void
160095fab37eSRobert Watson mac_create_proc1(struct ucred *cred)
160195fab37eSRobert Watson {
160295fab37eSRobert Watson 
160395fab37eSRobert Watson 	MAC_PERFORM(create_proc1, cred);
160495fab37eSRobert Watson }
160595fab37eSRobert Watson 
160692dbb82aSRobert Watson void
160792dbb82aSRobert Watson mac_thread_userret(struct thread *td)
160892dbb82aSRobert Watson {
160992dbb82aSRobert Watson 
161092dbb82aSRobert Watson 	MAC_PERFORM(thread_userret, td);
161192dbb82aSRobert Watson }
161292dbb82aSRobert Watson 
161395fab37eSRobert Watson /*
161495fab37eSRobert Watson  * When a new process is created, its label must be initialized.  Generally,
161595fab37eSRobert Watson  * this involves inheritence from the parent process, modulo possible
161695fab37eSRobert Watson  * deltas.  This function allows that processing to take place.
161795fab37eSRobert Watson  */
161895fab37eSRobert Watson void
161995fab37eSRobert Watson mac_create_cred(struct ucred *parent_cred, struct ucred *child_cred)
162095fab37eSRobert Watson {
162195fab37eSRobert Watson 
162295fab37eSRobert Watson 	MAC_PERFORM(create_cred, parent_cred, child_cred);
162395fab37eSRobert Watson }
162495fab37eSRobert Watson 
162595fab37eSRobert Watson int
162695fab37eSRobert Watson mac_check_vnode_access(struct ucred *cred, struct vnode *vp, int flags)
162795fab37eSRobert Watson {
162895fab37eSRobert Watson 	int error;
162995fab37eSRobert Watson 
163095fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_access");
163195fab37eSRobert Watson 
163295fab37eSRobert Watson 	if (!mac_enforce_fs)
163395fab37eSRobert Watson 		return (0);
163495fab37eSRobert Watson 
163595fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
163695fab37eSRobert Watson 	if (error)
163795fab37eSRobert Watson 		return (error);
163895fab37eSRobert Watson 
163995fab37eSRobert Watson 	MAC_CHECK(check_vnode_access, cred, vp, &vp->v_label, flags);
164095fab37eSRobert Watson 	return (error);
164195fab37eSRobert Watson }
164295fab37eSRobert Watson 
164395fab37eSRobert Watson int
164495fab37eSRobert Watson mac_check_vnode_chdir(struct ucred *cred, struct vnode *dvp)
164595fab37eSRobert Watson {
164695fab37eSRobert Watson 	int error;
164795fab37eSRobert Watson 
164895fab37eSRobert Watson 	ASSERT_VOP_LOCKED(dvp, "mac_check_vnode_chdir");
164995fab37eSRobert Watson 
165095fab37eSRobert Watson 	if (!mac_enforce_fs)
165195fab37eSRobert Watson 		return (0);
165295fab37eSRobert Watson 
165395fab37eSRobert Watson 	error = vn_refreshlabel(dvp, cred);
165495fab37eSRobert Watson 	if (error)
165595fab37eSRobert Watson 		return (error);
165695fab37eSRobert Watson 
165795fab37eSRobert Watson 	MAC_CHECK(check_vnode_chdir, cred, dvp, &dvp->v_label);
165895fab37eSRobert Watson 	return (error);
165995fab37eSRobert Watson }
166095fab37eSRobert Watson 
166195fab37eSRobert Watson int
166295fab37eSRobert Watson mac_check_vnode_chroot(struct ucred *cred, struct vnode *dvp)
166395fab37eSRobert Watson {
166495fab37eSRobert Watson 	int error;
166595fab37eSRobert Watson 
166695fab37eSRobert Watson 	ASSERT_VOP_LOCKED(dvp, "mac_check_vnode_chroot");
166795fab37eSRobert Watson 
166895fab37eSRobert Watson 	if (!mac_enforce_fs)
166995fab37eSRobert Watson 		return (0);
167095fab37eSRobert Watson 
167195fab37eSRobert Watson 	error = vn_refreshlabel(dvp, cred);
167295fab37eSRobert Watson 	if (error)
167395fab37eSRobert Watson 		return (error);
167495fab37eSRobert Watson 
167595fab37eSRobert Watson 	MAC_CHECK(check_vnode_chroot, cred, dvp, &dvp->v_label);
167695fab37eSRobert Watson 	return (error);
167795fab37eSRobert Watson }
167895fab37eSRobert Watson 
167995fab37eSRobert Watson int
168095fab37eSRobert Watson mac_check_vnode_create(struct ucred *cred, struct vnode *dvp,
168195fab37eSRobert Watson     struct componentname *cnp, struct vattr *vap)
168295fab37eSRobert Watson {
168395fab37eSRobert Watson 	int error;
168495fab37eSRobert Watson 
168595fab37eSRobert Watson 	ASSERT_VOP_LOCKED(dvp, "mac_check_vnode_create");
168695fab37eSRobert Watson 
168795fab37eSRobert Watson 	if (!mac_enforce_fs)
168895fab37eSRobert Watson 		return (0);
168995fab37eSRobert Watson 
169095fab37eSRobert Watson 	error = vn_refreshlabel(dvp, cred);
169195fab37eSRobert Watson 	if (error)
169295fab37eSRobert Watson 		return (error);
169395fab37eSRobert Watson 
169495fab37eSRobert Watson 	MAC_CHECK(check_vnode_create, cred, dvp, &dvp->v_label, cnp, vap);
169595fab37eSRobert Watson 	return (error);
169695fab37eSRobert Watson }
169795fab37eSRobert Watson 
169895fab37eSRobert Watson int
169995fab37eSRobert Watson mac_check_vnode_delete(struct ucred *cred, struct vnode *dvp, struct vnode *vp,
170095fab37eSRobert Watson     struct componentname *cnp)
170195fab37eSRobert Watson {
170295fab37eSRobert Watson 	int error;
170395fab37eSRobert Watson 
170495fab37eSRobert Watson 	ASSERT_VOP_LOCKED(dvp, "mac_check_vnode_delete");
170595fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_delete");
170695fab37eSRobert Watson 
170795fab37eSRobert Watson 	if (!mac_enforce_fs)
170895fab37eSRobert Watson 		return (0);
170995fab37eSRobert Watson 
171095fab37eSRobert Watson 	error = vn_refreshlabel(dvp, cred);
171195fab37eSRobert Watson 	if (error)
171295fab37eSRobert Watson 		return (error);
171395fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
171495fab37eSRobert Watson 	if (error)
171595fab37eSRobert Watson 		return (error);
171695fab37eSRobert Watson 
171795fab37eSRobert Watson 	MAC_CHECK(check_vnode_delete, cred, dvp, &dvp->v_label, vp,
171895fab37eSRobert Watson 	    &vp->v_label, cnp);
171995fab37eSRobert Watson 	return (error);
172095fab37eSRobert Watson }
172195fab37eSRobert Watson 
172295fab37eSRobert Watson int
172395fab37eSRobert Watson mac_check_vnode_deleteacl(struct ucred *cred, struct vnode *vp,
172495fab37eSRobert Watson     acl_type_t type)
172595fab37eSRobert Watson {
172695fab37eSRobert Watson 	int error;
172795fab37eSRobert Watson 
172895fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_deleteacl");
172995fab37eSRobert Watson 
173095fab37eSRobert Watson 	if (!mac_enforce_fs)
173195fab37eSRobert Watson 		return (0);
173295fab37eSRobert Watson 
173395fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
173495fab37eSRobert Watson 	if (error)
173595fab37eSRobert Watson 		return (error);
173695fab37eSRobert Watson 
173795fab37eSRobert Watson 	MAC_CHECK(check_vnode_deleteacl, cred, vp, &vp->v_label, type);
173895fab37eSRobert Watson 	return (error);
173995fab37eSRobert Watson }
174095fab37eSRobert Watson 
174195fab37eSRobert Watson int
174295fab37eSRobert Watson mac_check_vnode_exec(struct ucred *cred, struct vnode *vp)
174395fab37eSRobert Watson {
174495fab37eSRobert Watson 	int error;
174595fab37eSRobert Watson 
1746851704bbSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_exec");
1747851704bbSRobert Watson 
174895fab37eSRobert Watson 	if (!mac_enforce_process && !mac_enforce_fs)
174995fab37eSRobert Watson 		return (0);
175095fab37eSRobert Watson 
175195fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
175295fab37eSRobert Watson 	if (error)
175395fab37eSRobert Watson 		return (error);
175495fab37eSRobert Watson 	MAC_CHECK(check_vnode_exec, cred, vp, &vp->v_label);
175595fab37eSRobert Watson 
175695fab37eSRobert Watson 	return (error);
175795fab37eSRobert Watson }
175895fab37eSRobert Watson 
175995fab37eSRobert Watson int
176095fab37eSRobert Watson mac_check_vnode_getacl(struct ucred *cred, struct vnode *vp, acl_type_t type)
176195fab37eSRobert Watson {
176295fab37eSRobert Watson 	int error;
176395fab37eSRobert Watson 
176495fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_getacl");
176595fab37eSRobert Watson 
176695fab37eSRobert Watson 	if (!mac_enforce_fs)
176795fab37eSRobert Watson 		return (0);
176895fab37eSRobert Watson 
176995fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
177095fab37eSRobert Watson 	if (error)
177195fab37eSRobert Watson 		return (error);
177295fab37eSRobert Watson 
177395fab37eSRobert Watson 	MAC_CHECK(check_vnode_getacl, cred, vp, &vp->v_label, type);
177495fab37eSRobert Watson 	return (error);
177595fab37eSRobert Watson }
177695fab37eSRobert Watson 
177795fab37eSRobert Watson int
177895fab37eSRobert Watson mac_check_vnode_getextattr(struct ucred *cred, struct vnode *vp,
177995fab37eSRobert Watson     int attrnamespace, const char *name, struct uio *uio)
178095fab37eSRobert Watson {
178195fab37eSRobert Watson 	int error;
178295fab37eSRobert Watson 
178395fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_getextattr");
178495fab37eSRobert Watson 
178595fab37eSRobert Watson 	if (!mac_enforce_fs)
178695fab37eSRobert Watson 		return (0);
178795fab37eSRobert Watson 
178895fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
178995fab37eSRobert Watson 	if (error)
179095fab37eSRobert Watson 		return (error);
179195fab37eSRobert Watson 
179295fab37eSRobert Watson 	MAC_CHECK(check_vnode_getextattr, cred, vp, &vp->v_label,
179395fab37eSRobert Watson 	    attrnamespace, name, uio);
179495fab37eSRobert Watson 	return (error);
179595fab37eSRobert Watson }
179695fab37eSRobert Watson 
179795fab37eSRobert Watson int
179895fab37eSRobert Watson mac_check_vnode_lookup(struct ucred *cred, struct vnode *dvp,
179995fab37eSRobert Watson     struct componentname *cnp)
180095fab37eSRobert Watson {
180195fab37eSRobert Watson 	int error;
180295fab37eSRobert Watson 
180395fab37eSRobert Watson 	ASSERT_VOP_LOCKED(dvp, "mac_check_vnode_lookup");
180495fab37eSRobert Watson 
180595fab37eSRobert Watson 	if (!mac_enforce_fs)
180695fab37eSRobert Watson 		return (0);
180795fab37eSRobert Watson 
180895fab37eSRobert Watson 	error = vn_refreshlabel(dvp, cred);
180995fab37eSRobert Watson 	if (error)
181095fab37eSRobert Watson 		return (error);
181195fab37eSRobert Watson 
181295fab37eSRobert Watson 	MAC_CHECK(check_vnode_lookup, cred, dvp, &dvp->v_label, cnp);
181395fab37eSRobert Watson 	return (error);
181495fab37eSRobert Watson }
181595fab37eSRobert Watson 
181695fab37eSRobert Watson vm_prot_t
181795fab37eSRobert Watson mac_check_vnode_mmap_prot(struct ucred *cred, struct vnode *vp, int newmapping)
181895fab37eSRobert Watson {
181995fab37eSRobert Watson 	vm_prot_t result = VM_PROT_ALL;
182095fab37eSRobert Watson 
1821ca7850c3SRobert Watson 	if (!mac_enforce_vm)
1822ca7850c3SRobert Watson 		return (result);
1823ca7850c3SRobert Watson 
182495fab37eSRobert Watson 	/*
182595fab37eSRobert Watson 	 * This should be some sort of MAC_BITWISE, maybe :)
182695fab37eSRobert Watson 	 */
182795fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_mmap_perms");
182895fab37eSRobert Watson 	MAC_BOOLEAN(check_vnode_mmap_perms, &, cred, vp, &vp->v_label,
182995fab37eSRobert Watson 	    newmapping);
183095fab37eSRobert Watson 	return (result);
183195fab37eSRobert Watson }
183295fab37eSRobert Watson 
183395fab37eSRobert Watson int
183495fab37eSRobert Watson mac_check_vnode_open(struct ucred *cred, struct vnode *vp, mode_t acc_mode)
183595fab37eSRobert Watson {
183695fab37eSRobert Watson 	int error;
183795fab37eSRobert Watson 
183895fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_open");
183995fab37eSRobert Watson 
184095fab37eSRobert Watson 	if (!mac_enforce_fs)
184195fab37eSRobert Watson 		return (0);
184295fab37eSRobert Watson 
184395fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
184495fab37eSRobert Watson 	if (error)
184595fab37eSRobert Watson 		return (error);
184695fab37eSRobert Watson 
184795fab37eSRobert Watson 	MAC_CHECK(check_vnode_open, cred, vp, &vp->v_label, acc_mode);
184895fab37eSRobert Watson 	return (error);
184995fab37eSRobert Watson }
185095fab37eSRobert Watson 
185195fab37eSRobert Watson int
1852177142e4SRobert Watson mac_check_vnode_poll(struct ucred *active_cred, struct ucred *file_cred,
1853177142e4SRobert Watson     struct vnode *vp)
18547f724f8bSRobert Watson {
18557f724f8bSRobert Watson 	int error;
18567f724f8bSRobert Watson 
18577f724f8bSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_poll");
18587f724f8bSRobert Watson 
18597f724f8bSRobert Watson 	if (!mac_enforce_fs)
18607f724f8bSRobert Watson 		return (0);
18617f724f8bSRobert Watson 
1862177142e4SRobert Watson 	error = vn_refreshlabel(vp, active_cred);
18637f724f8bSRobert Watson 	if (error)
18647f724f8bSRobert Watson 		return (error);
18657f724f8bSRobert Watson 
1866177142e4SRobert Watson 	MAC_CHECK(check_vnode_poll, active_cred, file_cred, vp,
1867177142e4SRobert Watson 	    &vp->v_label);
18687f724f8bSRobert Watson 
18697f724f8bSRobert Watson 	return (error);
18707f724f8bSRobert Watson }
18717f724f8bSRobert Watson 
18727f724f8bSRobert Watson int
1873177142e4SRobert Watson mac_check_vnode_read(struct ucred *active_cred, struct ucred *file_cred,
1874177142e4SRobert Watson     struct vnode *vp)
18757f724f8bSRobert Watson {
18767f724f8bSRobert Watson 	int error;
18777f724f8bSRobert Watson 
18787f724f8bSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_read");
18797f724f8bSRobert Watson 
18807f724f8bSRobert Watson 	if (!mac_enforce_fs)
18817f724f8bSRobert Watson 		return (0);
18827f724f8bSRobert Watson 
1883177142e4SRobert Watson 	error = vn_refreshlabel(vp, active_cred);
18847f724f8bSRobert Watson 	if (error)
18857f724f8bSRobert Watson 		return (error);
18867f724f8bSRobert Watson 
1887177142e4SRobert Watson 	MAC_CHECK(check_vnode_read, active_cred, file_cred, vp,
1888177142e4SRobert Watson 	    &vp->v_label);
18897f724f8bSRobert Watson 
18907f724f8bSRobert Watson 	return (error);
18917f724f8bSRobert Watson }
18927f724f8bSRobert Watson 
18937f724f8bSRobert Watson int
189495fab37eSRobert Watson mac_check_vnode_readdir(struct ucred *cred, struct vnode *dvp)
189595fab37eSRobert Watson {
189695fab37eSRobert Watson 	int error;
189795fab37eSRobert Watson 
189895fab37eSRobert Watson 	ASSERT_VOP_LOCKED(dvp, "mac_check_vnode_readdir");
189995fab37eSRobert Watson 
190095fab37eSRobert Watson 	if (!mac_enforce_fs)
190195fab37eSRobert Watson 		return (0);
190295fab37eSRobert Watson 
190395fab37eSRobert Watson 	error = vn_refreshlabel(dvp, cred);
190495fab37eSRobert Watson 	if (error)
190595fab37eSRobert Watson 		return (error);
190695fab37eSRobert Watson 
190795fab37eSRobert Watson 	MAC_CHECK(check_vnode_readdir, cred, dvp, &dvp->v_label);
190895fab37eSRobert Watson 	return (error);
190995fab37eSRobert Watson }
191095fab37eSRobert Watson 
191195fab37eSRobert Watson int
191295fab37eSRobert Watson mac_check_vnode_readlink(struct ucred *cred, struct vnode *vp)
191395fab37eSRobert Watson {
191495fab37eSRobert Watson 	int error;
191595fab37eSRobert Watson 
191695fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_readlink");
191795fab37eSRobert Watson 
191895fab37eSRobert Watson 	if (!mac_enforce_fs)
191995fab37eSRobert Watson 		return (0);
192095fab37eSRobert Watson 
192195fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
192295fab37eSRobert Watson 	if (error)
192395fab37eSRobert Watson 		return (error);
192495fab37eSRobert Watson 
192595fab37eSRobert Watson 	MAC_CHECK(check_vnode_readlink, cred, vp, &vp->v_label);
192695fab37eSRobert Watson 	return (error);
192795fab37eSRobert Watson }
192895fab37eSRobert Watson 
192995fab37eSRobert Watson static int
193095fab37eSRobert Watson mac_check_vnode_relabel(struct ucred *cred, struct vnode *vp,
193195fab37eSRobert Watson     struct label *newlabel)
193295fab37eSRobert Watson {
193395fab37eSRobert Watson 	int error;
193495fab37eSRobert Watson 
193595fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_relabel");
193695fab37eSRobert Watson 
193795fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
193895fab37eSRobert Watson 	if (error)
193995fab37eSRobert Watson 		return (error);
194095fab37eSRobert Watson 
194195fab37eSRobert Watson 	MAC_CHECK(check_vnode_relabel, cred, vp, &vp->v_label, newlabel);
194295fab37eSRobert Watson 
194395fab37eSRobert Watson 	return (error);
194495fab37eSRobert Watson }
194595fab37eSRobert Watson 
194695fab37eSRobert Watson int
194795fab37eSRobert Watson mac_check_vnode_rename_from(struct ucred *cred, struct vnode *dvp,
194895fab37eSRobert Watson     struct vnode *vp, struct componentname *cnp)
194995fab37eSRobert Watson {
195095fab37eSRobert Watson 	int error;
195195fab37eSRobert Watson 
195295fab37eSRobert Watson 	ASSERT_VOP_LOCKED(dvp, "mac_check_vnode_rename_from");
195395fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_rename_from");
195495fab37eSRobert Watson 
195595fab37eSRobert Watson 	if (!mac_enforce_fs)
195695fab37eSRobert Watson 		return (0);
195795fab37eSRobert Watson 
195895fab37eSRobert Watson 	error = vn_refreshlabel(dvp, cred);
195995fab37eSRobert Watson 	if (error)
196095fab37eSRobert Watson 		return (error);
196195fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
196295fab37eSRobert Watson 	if (error)
196395fab37eSRobert Watson 		return (error);
196495fab37eSRobert Watson 
196595fab37eSRobert Watson 	MAC_CHECK(check_vnode_rename_from, cred, dvp, &dvp->v_label, vp,
196695fab37eSRobert Watson 	    &vp->v_label, cnp);
196795fab37eSRobert Watson 	return (error);
196895fab37eSRobert Watson }
196995fab37eSRobert Watson 
197095fab37eSRobert Watson int
197195fab37eSRobert Watson mac_check_vnode_rename_to(struct ucred *cred, struct vnode *dvp,
197295fab37eSRobert Watson     struct vnode *vp, int samedir, struct componentname *cnp)
197395fab37eSRobert Watson {
197495fab37eSRobert Watson 	int error;
197595fab37eSRobert Watson 
197695fab37eSRobert Watson 	ASSERT_VOP_LOCKED(dvp, "mac_check_vnode_rename_to");
197795fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_rename_to");
197895fab37eSRobert Watson 
197995fab37eSRobert Watson 	if (!mac_enforce_fs)
198095fab37eSRobert Watson 		return (0);
198195fab37eSRobert Watson 
198295fab37eSRobert Watson 	error = vn_refreshlabel(dvp, cred);
198395fab37eSRobert Watson 	if (error)
198495fab37eSRobert Watson 		return (error);
198595fab37eSRobert Watson 	if (vp != NULL) {
198695fab37eSRobert Watson 		error = vn_refreshlabel(vp, cred);
198795fab37eSRobert Watson 		if (error)
198895fab37eSRobert Watson 			return (error);
198995fab37eSRobert Watson 	}
199095fab37eSRobert Watson 	MAC_CHECK(check_vnode_rename_to, cred, dvp, &dvp->v_label, vp,
199195fab37eSRobert Watson 	    vp != NULL ? &vp->v_label : NULL, samedir, cnp);
199295fab37eSRobert Watson 	return (error);
199395fab37eSRobert Watson }
199495fab37eSRobert Watson 
199595fab37eSRobert Watson int
199695fab37eSRobert Watson mac_check_vnode_revoke(struct ucred *cred, struct vnode *vp)
199795fab37eSRobert Watson {
199895fab37eSRobert Watson 	int error;
199995fab37eSRobert Watson 
200095fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_revoke");
200195fab37eSRobert Watson 
200295fab37eSRobert Watson 	if (!mac_enforce_fs)
200395fab37eSRobert Watson 		return (0);
200495fab37eSRobert Watson 
200595fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
200695fab37eSRobert Watson 	if (error)
200795fab37eSRobert Watson 		return (error);
200895fab37eSRobert Watson 
200995fab37eSRobert Watson 	MAC_CHECK(check_vnode_revoke, cred, vp, &vp->v_label);
201095fab37eSRobert Watson 	return (error);
201195fab37eSRobert Watson }
201295fab37eSRobert Watson 
201395fab37eSRobert Watson int
201495fab37eSRobert Watson mac_check_vnode_setacl(struct ucred *cred, struct vnode *vp, acl_type_t type,
201595fab37eSRobert Watson     struct acl *acl)
201695fab37eSRobert Watson {
201795fab37eSRobert Watson 	int error;
201895fab37eSRobert Watson 
201995fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_setacl");
202095fab37eSRobert Watson 
202195fab37eSRobert Watson 	if (!mac_enforce_fs)
202295fab37eSRobert Watson 		return (0);
202395fab37eSRobert Watson 
202495fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
202595fab37eSRobert Watson 	if (error)
202695fab37eSRobert Watson 		return (error);
202795fab37eSRobert Watson 
202895fab37eSRobert Watson 	MAC_CHECK(check_vnode_setacl, cred, vp, &vp->v_label, type, acl);
202995fab37eSRobert Watson 	return (error);
203095fab37eSRobert Watson }
203195fab37eSRobert Watson 
203295fab37eSRobert Watson int
203395fab37eSRobert Watson mac_check_vnode_setextattr(struct ucred *cred, struct vnode *vp,
203495fab37eSRobert Watson     int attrnamespace, const char *name, struct uio *uio)
203595fab37eSRobert Watson {
203695fab37eSRobert Watson 	int error;
203795fab37eSRobert Watson 
203895fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_setextattr");
203995fab37eSRobert Watson 
204095fab37eSRobert Watson 	if (!mac_enforce_fs)
204195fab37eSRobert Watson 		return (0);
204295fab37eSRobert Watson 
204395fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
204495fab37eSRobert Watson 	if (error)
204595fab37eSRobert Watson 		return (error);
204695fab37eSRobert Watson 
204795fab37eSRobert Watson 	MAC_CHECK(check_vnode_setextattr, cred, vp, &vp->v_label,
204895fab37eSRobert Watson 	    attrnamespace, name, uio);
204995fab37eSRobert Watson 	return (error);
205095fab37eSRobert Watson }
205195fab37eSRobert Watson 
205295fab37eSRobert Watson int
205395fab37eSRobert Watson mac_check_vnode_setflags(struct ucred *cred, struct vnode *vp, u_long flags)
205495fab37eSRobert Watson {
205595fab37eSRobert Watson 	int error;
205695fab37eSRobert Watson 
205795fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_setflags");
205895fab37eSRobert Watson 
205995fab37eSRobert Watson 	if (!mac_enforce_fs)
206095fab37eSRobert Watson 		return (0);
206195fab37eSRobert Watson 
206295fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
206395fab37eSRobert Watson 	if (error)
206495fab37eSRobert Watson 		return (error);
206595fab37eSRobert Watson 
206695fab37eSRobert Watson 	MAC_CHECK(check_vnode_setflags, cred, vp, &vp->v_label, flags);
206795fab37eSRobert Watson 	return (error);
206895fab37eSRobert Watson }
206995fab37eSRobert Watson 
207095fab37eSRobert Watson int
207195fab37eSRobert Watson mac_check_vnode_setmode(struct ucred *cred, struct vnode *vp, mode_t mode)
207295fab37eSRobert Watson {
207395fab37eSRobert Watson 	int error;
207495fab37eSRobert Watson 
207595fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_setmode");
207695fab37eSRobert Watson 
207795fab37eSRobert Watson 	if (!mac_enforce_fs)
207895fab37eSRobert Watson 		return (0);
207995fab37eSRobert Watson 
208095fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
208195fab37eSRobert Watson 	if (error)
208295fab37eSRobert Watson 		return (error);
208395fab37eSRobert Watson 
208495fab37eSRobert Watson 	MAC_CHECK(check_vnode_setmode, cred, vp, &vp->v_label, mode);
208595fab37eSRobert Watson 	return (error);
208695fab37eSRobert Watson }
208795fab37eSRobert Watson 
208895fab37eSRobert Watson int
208995fab37eSRobert Watson mac_check_vnode_setowner(struct ucred *cred, struct vnode *vp, uid_t uid,
209095fab37eSRobert Watson     gid_t gid)
209195fab37eSRobert Watson {
209295fab37eSRobert Watson 	int error;
209395fab37eSRobert Watson 
209495fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_setowner");
209595fab37eSRobert Watson 
209695fab37eSRobert Watson 	if (!mac_enforce_fs)
209795fab37eSRobert Watson 		return (0);
209895fab37eSRobert Watson 
209995fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
210095fab37eSRobert Watson 	if (error)
210195fab37eSRobert Watson 		return (error);
210295fab37eSRobert Watson 
210395fab37eSRobert Watson 	MAC_CHECK(check_vnode_setowner, cred, vp, &vp->v_label, uid, gid);
210495fab37eSRobert Watson 	return (error);
210595fab37eSRobert Watson }
210695fab37eSRobert Watson 
210795fab37eSRobert Watson int
210895fab37eSRobert Watson mac_check_vnode_setutimes(struct ucred *cred, struct vnode *vp,
210995fab37eSRobert Watson     struct timespec atime, struct timespec mtime)
211095fab37eSRobert Watson {
211195fab37eSRobert Watson 	int error;
211295fab37eSRobert Watson 
211395fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_setutimes");
211495fab37eSRobert Watson 
211595fab37eSRobert Watson 	if (!mac_enforce_fs)
211695fab37eSRobert Watson 		return (0);
211795fab37eSRobert Watson 
211895fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
211995fab37eSRobert Watson 	if (error)
212095fab37eSRobert Watson 		return (error);
212195fab37eSRobert Watson 
212295fab37eSRobert Watson 	MAC_CHECK(check_vnode_setutimes, cred, vp, &vp->v_label, atime,
212395fab37eSRobert Watson 	    mtime);
212495fab37eSRobert Watson 	return (error);
212595fab37eSRobert Watson }
212695fab37eSRobert Watson 
212795fab37eSRobert Watson int
2128177142e4SRobert Watson mac_check_vnode_stat(struct ucred *active_cred, struct ucred *file_cred,
2129177142e4SRobert Watson     struct vnode *vp)
213095fab37eSRobert Watson {
213195fab37eSRobert Watson 	int error;
213295fab37eSRobert Watson 
213395fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_stat");
213495fab37eSRobert Watson 
213595fab37eSRobert Watson 	if (!mac_enforce_fs)
213695fab37eSRobert Watson 		return (0);
213795fab37eSRobert Watson 
2138177142e4SRobert Watson 	error = vn_refreshlabel(vp, active_cred);
213995fab37eSRobert Watson 	if (error)
214095fab37eSRobert Watson 		return (error);
214195fab37eSRobert Watson 
2142177142e4SRobert Watson 	MAC_CHECK(check_vnode_stat, active_cred, file_cred, vp,
2143177142e4SRobert Watson 	    &vp->v_label);
214495fab37eSRobert Watson 	return (error);
214595fab37eSRobert Watson }
214695fab37eSRobert Watson 
21477f724f8bSRobert Watson int
2148177142e4SRobert Watson mac_check_vnode_write(struct ucred *active_cred, struct ucred *file_cred,
2149177142e4SRobert Watson     struct vnode *vp)
21507f724f8bSRobert Watson {
21517f724f8bSRobert Watson 	int error;
21527f724f8bSRobert Watson 
21537f724f8bSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_write");
21547f724f8bSRobert Watson 
21557f724f8bSRobert Watson 	if (!mac_enforce_fs)
21567f724f8bSRobert Watson 		return (0);
21577f724f8bSRobert Watson 
2158177142e4SRobert Watson 	error = vn_refreshlabel(vp, active_cred);
21597f724f8bSRobert Watson 	if (error)
21607f724f8bSRobert Watson 		return (error);
21617f724f8bSRobert Watson 
2162177142e4SRobert Watson 	MAC_CHECK(check_vnode_write, active_cred, file_cred, vp,
2163177142e4SRobert Watson 	    &vp->v_label);
21647f724f8bSRobert Watson 
21657f724f8bSRobert Watson 	return (error);
21667f724f8bSRobert Watson }
21677f724f8bSRobert Watson 
216895fab37eSRobert Watson /*
216995fab37eSRobert Watson  * When relabeling a process, call out to the policies for the maximum
217095fab37eSRobert Watson  * permission allowed for each object type we know about in its
217195fab37eSRobert Watson  * memory space, and revoke access (in the least surprising ways we
217295fab37eSRobert Watson  * know) when necessary.  The process lock is not held here.
217395fab37eSRobert Watson  */
217495fab37eSRobert Watson static void
217595fab37eSRobert Watson mac_cred_mmapped_drop_perms(struct thread *td, struct ucred *cred)
217695fab37eSRobert Watson {
217795fab37eSRobert Watson 
217895fab37eSRobert Watson 	/* XXX freeze all other threads */
217995fab37eSRobert Watson 	mac_cred_mmapped_drop_perms_recurse(td, cred,
218095fab37eSRobert Watson 	    &td->td_proc->p_vmspace->vm_map);
218195fab37eSRobert Watson 	/* XXX allow other threads to continue */
218295fab37eSRobert Watson }
218395fab37eSRobert Watson 
218495fab37eSRobert Watson static __inline const char *
218595fab37eSRobert Watson prot2str(vm_prot_t prot)
218695fab37eSRobert Watson {
218795fab37eSRobert Watson 
218895fab37eSRobert Watson 	switch (prot & VM_PROT_ALL) {
218995fab37eSRobert Watson 	case VM_PROT_READ:
219095fab37eSRobert Watson 		return ("r--");
219195fab37eSRobert Watson 	case VM_PROT_READ | VM_PROT_WRITE:
219295fab37eSRobert Watson 		return ("rw-");
219395fab37eSRobert Watson 	case VM_PROT_READ | VM_PROT_EXECUTE:
219495fab37eSRobert Watson 		return ("r-x");
219595fab37eSRobert Watson 	case VM_PROT_READ | VM_PROT_WRITE | VM_PROT_EXECUTE:
219695fab37eSRobert Watson 		return ("rwx");
219795fab37eSRobert Watson 	case VM_PROT_WRITE:
219895fab37eSRobert Watson 		return ("-w-");
219995fab37eSRobert Watson 	case VM_PROT_EXECUTE:
220095fab37eSRobert Watson 		return ("--x");
220195fab37eSRobert Watson 	case VM_PROT_WRITE | VM_PROT_EXECUTE:
220295fab37eSRobert Watson 		return ("-wx");
220395fab37eSRobert Watson 	default:
220495fab37eSRobert Watson 		return ("---");
220595fab37eSRobert Watson 	}
220695fab37eSRobert Watson }
220795fab37eSRobert Watson 
220895fab37eSRobert Watson static void
220995fab37eSRobert Watson mac_cred_mmapped_drop_perms_recurse(struct thread *td, struct ucred *cred,
221095fab37eSRobert Watson     struct vm_map *map)
221195fab37eSRobert Watson {
221295fab37eSRobert Watson 	struct vm_map_entry *vme;
221395fab37eSRobert Watson 	vm_prot_t result, revokeperms;
221495fab37eSRobert Watson 	vm_object_t object;
221595fab37eSRobert Watson 	vm_ooffset_t offset;
221695fab37eSRobert Watson 	struct vnode *vp;
221795fab37eSRobert Watson 
2218c0f39905SRobert Watson 	if (!mac_mmap_revocation)
2219c0f39905SRobert Watson 		return;
2220c0f39905SRobert Watson 
222195fab37eSRobert Watson 	vm_map_lock_read(map);
222295fab37eSRobert Watson 	for (vme = map->header.next; vme != &map->header; vme = vme->next) {
222395fab37eSRobert Watson 		if (vme->eflags & MAP_ENTRY_IS_SUB_MAP) {
222495fab37eSRobert Watson 			mac_cred_mmapped_drop_perms_recurse(td, cred,
222595fab37eSRobert Watson 			    vme->object.sub_map);
222695fab37eSRobert Watson 			continue;
222795fab37eSRobert Watson 		}
222895fab37eSRobert Watson 		/*
222995fab37eSRobert Watson 		 * Skip over entries that obviously are not shared.
223095fab37eSRobert Watson 		 */
223195fab37eSRobert Watson 		if (vme->eflags & (MAP_ENTRY_COW | MAP_ENTRY_NOSYNC) ||
223295fab37eSRobert Watson 		    !vme->max_protection)
223395fab37eSRobert Watson 			continue;
223495fab37eSRobert Watson 		/*
223595fab37eSRobert Watson 		 * Drill down to the deepest backing object.
223695fab37eSRobert Watson 		 */
223795fab37eSRobert Watson 		offset = vme->offset;
223895fab37eSRobert Watson 		object = vme->object.vm_object;
223995fab37eSRobert Watson 		if (object == NULL)
224095fab37eSRobert Watson 			continue;
224195fab37eSRobert Watson 		while (object->backing_object != NULL) {
224295fab37eSRobert Watson 			object = object->backing_object;
224395fab37eSRobert Watson 			offset += object->backing_object_offset;
224495fab37eSRobert Watson 		}
224595fab37eSRobert Watson 		/*
224695fab37eSRobert Watson 		 * At the moment, vm_maps and objects aren't considered
224795fab37eSRobert Watson 		 * by the MAC system, so only things with backing by a
224895fab37eSRobert Watson 		 * normal object (read: vnodes) are checked.
224995fab37eSRobert Watson 		 */
225095fab37eSRobert Watson 		if (object->type != OBJT_VNODE)
225195fab37eSRobert Watson 			continue;
225295fab37eSRobert Watson 		vp = (struct vnode *)object->handle;
225395fab37eSRobert Watson 		vn_lock(vp, LK_EXCLUSIVE | LK_RETRY, td);
225495fab37eSRobert Watson 		result = mac_check_vnode_mmap_prot(cred, vp, 0);
225595fab37eSRobert Watson 		VOP_UNLOCK(vp, 0, td);
225695fab37eSRobert Watson 		/*
225795fab37eSRobert Watson 		 * Find out what maximum protection we may be allowing
225895fab37eSRobert Watson 		 * now but a policy needs to get removed.
225995fab37eSRobert Watson 		 */
226095fab37eSRobert Watson 		revokeperms = vme->max_protection & ~result;
226195fab37eSRobert Watson 		if (!revokeperms)
226295fab37eSRobert Watson 			continue;
2263b656366bSBruce Evans 		printf("pid %ld: revoking %s perms from %#lx:%ld "
2264b656366bSBruce Evans 		    "(max %s/cur %s)\n", (long)td->td_proc->p_pid,
2265b656366bSBruce Evans 		    prot2str(revokeperms), (u_long)vme->start,
2266b656366bSBruce Evans 		    (long)(vme->end - vme->start),
226795fab37eSRobert Watson 		    prot2str(vme->max_protection), prot2str(vme->protection));
226895fab37eSRobert Watson 		vm_map_lock_upgrade(map);
226995fab37eSRobert Watson 		/*
227095fab37eSRobert Watson 		 * This is the really simple case: if a map has more
227195fab37eSRobert Watson 		 * max_protection than is allowed, but it's not being
227295fab37eSRobert Watson 		 * actually used (that is, the current protection is
227395fab37eSRobert Watson 		 * still allowed), we can just wipe it out and do
227495fab37eSRobert Watson 		 * nothing more.
227595fab37eSRobert Watson 		 */
227695fab37eSRobert Watson 		if ((vme->protection & revokeperms) == 0) {
227795fab37eSRobert Watson 			vme->max_protection -= revokeperms;
227895fab37eSRobert Watson 		} else {
227995fab37eSRobert Watson 			if (revokeperms & VM_PROT_WRITE) {
228095fab37eSRobert Watson 				/*
228195fab37eSRobert Watson 				 * In the more complicated case, flush out all
228295fab37eSRobert Watson 				 * pending changes to the object then turn it
228395fab37eSRobert Watson 				 * copy-on-write.
228495fab37eSRobert Watson 				 */
228595fab37eSRobert Watson 				vm_object_reference(object);
228695fab37eSRobert Watson 				vn_lock(vp, LK_EXCLUSIVE | LK_RETRY, td);
228795fab37eSRobert Watson 				vm_object_page_clean(object,
228895fab37eSRobert Watson 				    OFF_TO_IDX(offset),
228995fab37eSRobert Watson 				    OFF_TO_IDX(offset + vme->end - vme->start +
229095fab37eSRobert Watson 					PAGE_MASK),
229195fab37eSRobert Watson 				    OBJPC_SYNC);
229295fab37eSRobert Watson 				VOP_UNLOCK(vp, 0, td);
229395fab37eSRobert Watson 				vm_object_deallocate(object);
229495fab37eSRobert Watson 				/*
229595fab37eSRobert Watson 				 * Why bother if there's no read permissions
229695fab37eSRobert Watson 				 * anymore?  For the rest, we need to leave
229795fab37eSRobert Watson 				 * the write permissions on for COW, or
229895fab37eSRobert Watson 				 * remove them entirely if configured to.
229995fab37eSRobert Watson 				 */
230095fab37eSRobert Watson 				if (!mac_mmap_revocation_via_cow) {
230195fab37eSRobert Watson 					vme->max_protection &= ~VM_PROT_WRITE;
230295fab37eSRobert Watson 					vme->protection &= ~VM_PROT_WRITE;
230395fab37eSRobert Watson 				} if ((revokeperms & VM_PROT_READ) == 0)
230495fab37eSRobert Watson 					vme->eflags |= MAP_ENTRY_COW |
230595fab37eSRobert Watson 					    MAP_ENTRY_NEEDS_COPY;
230695fab37eSRobert Watson 			}
230795fab37eSRobert Watson 			if (revokeperms & VM_PROT_EXECUTE) {
230895fab37eSRobert Watson 				vme->max_protection &= ~VM_PROT_EXECUTE;
230995fab37eSRobert Watson 				vme->protection &= ~VM_PROT_EXECUTE;
231095fab37eSRobert Watson 			}
231195fab37eSRobert Watson 			if (revokeperms & VM_PROT_READ) {
231295fab37eSRobert Watson 				vme->max_protection = 0;
231395fab37eSRobert Watson 				vme->protection = 0;
231495fab37eSRobert Watson 			}
231595fab37eSRobert Watson 			pmap_protect(map->pmap, vme->start, vme->end,
231695fab37eSRobert Watson 			    vme->protection & ~revokeperms);
231795fab37eSRobert Watson 			vm_map_simplify_entry(map, vme);
231895fab37eSRobert Watson 		}
231995fab37eSRobert Watson 		vm_map_lock_downgrade(map);
232095fab37eSRobert Watson 	}
232195fab37eSRobert Watson 	vm_map_unlock_read(map);
232295fab37eSRobert Watson }
232395fab37eSRobert Watson 
232495fab37eSRobert Watson /*
232595fab37eSRobert Watson  * When the subject's label changes, it may require revocation of privilege
232695fab37eSRobert Watson  * to mapped objects.  This can't be done on-the-fly later with a unified
232795fab37eSRobert Watson  * buffer cache.
232895fab37eSRobert Watson  */
232995fab37eSRobert Watson static void
233095fab37eSRobert Watson mac_relabel_cred(struct ucred *cred, struct label *newlabel)
233195fab37eSRobert Watson {
233295fab37eSRobert Watson 
233395fab37eSRobert Watson 	MAC_PERFORM(relabel_cred, cred, newlabel);
233495fab37eSRobert Watson }
233595fab37eSRobert Watson 
233695fab37eSRobert Watson void
233795fab37eSRobert Watson mac_relabel_vnode(struct ucred *cred, struct vnode *vp, struct label *newlabel)
233895fab37eSRobert Watson {
233995fab37eSRobert Watson 
234095fab37eSRobert Watson 	MAC_PERFORM(relabel_vnode, cred, vp, &vp->v_label, newlabel);
234195fab37eSRobert Watson }
234295fab37eSRobert Watson 
234395fab37eSRobert Watson void
234495fab37eSRobert Watson mac_create_ifnet(struct ifnet *ifnet)
234595fab37eSRobert Watson {
234695fab37eSRobert Watson 
234795fab37eSRobert Watson 	MAC_PERFORM(create_ifnet, ifnet, &ifnet->if_label);
234895fab37eSRobert Watson }
234995fab37eSRobert Watson 
235095fab37eSRobert Watson void
235195fab37eSRobert Watson mac_create_bpfdesc(struct ucred *cred, struct bpf_d *bpf_d)
235295fab37eSRobert Watson {
235395fab37eSRobert Watson 
235495fab37eSRobert Watson 	MAC_PERFORM(create_bpfdesc, cred, bpf_d, &bpf_d->bd_label);
235595fab37eSRobert Watson }
235695fab37eSRobert Watson 
235795fab37eSRobert Watson void
235895fab37eSRobert Watson mac_create_socket(struct ucred *cred, struct socket *socket)
235995fab37eSRobert Watson {
236095fab37eSRobert Watson 
236195fab37eSRobert Watson 	MAC_PERFORM(create_socket, cred, socket, &socket->so_label);
236295fab37eSRobert Watson }
236395fab37eSRobert Watson 
236495fab37eSRobert Watson void
236595fab37eSRobert Watson mac_create_pipe(struct ucred *cred, struct pipe *pipe)
236695fab37eSRobert Watson {
236795fab37eSRobert Watson 
236895fab37eSRobert Watson 	MAC_PERFORM(create_pipe, cred, pipe, pipe->pipe_label);
236995fab37eSRobert Watson }
237095fab37eSRobert Watson 
237195fab37eSRobert Watson void
237295fab37eSRobert Watson mac_create_socket_from_socket(struct socket *oldsocket,
237395fab37eSRobert Watson     struct socket *newsocket)
237495fab37eSRobert Watson {
237595fab37eSRobert Watson 
237695fab37eSRobert Watson 	MAC_PERFORM(create_socket_from_socket, oldsocket, &oldsocket->so_label,
237795fab37eSRobert Watson 	    newsocket, &newsocket->so_label);
237895fab37eSRobert Watson }
237995fab37eSRobert Watson 
238095fab37eSRobert Watson static void
238195fab37eSRobert Watson mac_relabel_socket(struct ucred *cred, struct socket *socket,
238295fab37eSRobert Watson     struct label *newlabel)
238395fab37eSRobert Watson {
238495fab37eSRobert Watson 
238595fab37eSRobert Watson 	MAC_PERFORM(relabel_socket, cred, socket, &socket->so_label, newlabel);
238695fab37eSRobert Watson }
238795fab37eSRobert Watson 
238895fab37eSRobert Watson static void
238995fab37eSRobert Watson mac_relabel_pipe(struct ucred *cred, struct pipe *pipe, struct label *newlabel)
239095fab37eSRobert Watson {
239195fab37eSRobert Watson 
239295fab37eSRobert Watson 	MAC_PERFORM(relabel_pipe, cred, pipe, pipe->pipe_label, newlabel);
239395fab37eSRobert Watson }
239495fab37eSRobert Watson 
239595fab37eSRobert Watson void
239695fab37eSRobert Watson mac_set_socket_peer_from_mbuf(struct mbuf *mbuf, struct socket *socket)
239795fab37eSRobert Watson {
239895fab37eSRobert Watson 
239995fab37eSRobert Watson 	MAC_PERFORM(set_socket_peer_from_mbuf, mbuf, &mbuf->m_pkthdr.label,
240095fab37eSRobert Watson 	    socket, &socket->so_peerlabel);
240195fab37eSRobert Watson }
240295fab37eSRobert Watson 
240395fab37eSRobert Watson void
240495fab37eSRobert Watson mac_set_socket_peer_from_socket(struct socket *oldsocket,
240595fab37eSRobert Watson     struct socket *newsocket)
240695fab37eSRobert Watson {
240795fab37eSRobert Watson 
240895fab37eSRobert Watson 	MAC_PERFORM(set_socket_peer_from_socket, oldsocket,
240995fab37eSRobert Watson 	    &oldsocket->so_label, newsocket, &newsocket->so_peerlabel);
241095fab37eSRobert Watson }
241195fab37eSRobert Watson 
241295fab37eSRobert Watson void
241395fab37eSRobert Watson mac_create_datagram_from_ipq(struct ipq *ipq, struct mbuf *datagram)
241495fab37eSRobert Watson {
241595fab37eSRobert Watson 
241695fab37eSRobert Watson 	MAC_PERFORM(create_datagram_from_ipq, ipq, &ipq->ipq_label,
241795fab37eSRobert Watson 	    datagram, &datagram->m_pkthdr.label);
241895fab37eSRobert Watson }
241995fab37eSRobert Watson 
242095fab37eSRobert Watson void
242195fab37eSRobert Watson mac_create_fragment(struct mbuf *datagram, struct mbuf *fragment)
242295fab37eSRobert Watson {
242395fab37eSRobert Watson 
242495fab37eSRobert Watson 	MAC_PERFORM(create_fragment, datagram, &datagram->m_pkthdr.label,
242595fab37eSRobert Watson 	    fragment, &fragment->m_pkthdr.label);
242695fab37eSRobert Watson }
242795fab37eSRobert Watson 
242895fab37eSRobert Watson void
242995fab37eSRobert Watson mac_create_ipq(struct mbuf *fragment, struct ipq *ipq)
243095fab37eSRobert Watson {
243195fab37eSRobert Watson 
243295fab37eSRobert Watson 	MAC_PERFORM(create_ipq, fragment, &fragment->m_pkthdr.label, ipq,
243395fab37eSRobert Watson 	    &ipq->ipq_label);
243495fab37eSRobert Watson }
243595fab37eSRobert Watson 
243695fab37eSRobert Watson void
243795fab37eSRobert Watson mac_create_mbuf_from_mbuf(struct mbuf *oldmbuf, struct mbuf *newmbuf)
243895fab37eSRobert Watson {
243995fab37eSRobert Watson 
244095fab37eSRobert Watson 	MAC_PERFORM(create_mbuf_from_mbuf, oldmbuf, &oldmbuf->m_pkthdr.label,
244195fab37eSRobert Watson 	    newmbuf, &newmbuf->m_pkthdr.label);
244295fab37eSRobert Watson }
244395fab37eSRobert Watson 
244495fab37eSRobert Watson void
244595fab37eSRobert Watson mac_create_mbuf_from_bpfdesc(struct bpf_d *bpf_d, struct mbuf *mbuf)
244695fab37eSRobert Watson {
244795fab37eSRobert Watson 
244895fab37eSRobert Watson 	MAC_PERFORM(create_mbuf_from_bpfdesc, bpf_d, &bpf_d->bd_label, mbuf,
244995fab37eSRobert Watson 	    &mbuf->m_pkthdr.label);
245095fab37eSRobert Watson }
245195fab37eSRobert Watson 
245295fab37eSRobert Watson void
245395fab37eSRobert Watson mac_create_mbuf_linklayer(struct ifnet *ifnet, struct mbuf *mbuf)
245495fab37eSRobert Watson {
245595fab37eSRobert Watson 
245695fab37eSRobert Watson 	MAC_PERFORM(create_mbuf_linklayer, ifnet, &ifnet->if_label, mbuf,
245795fab37eSRobert Watson 	    &mbuf->m_pkthdr.label);
245895fab37eSRobert Watson }
245995fab37eSRobert Watson 
246095fab37eSRobert Watson void
246195fab37eSRobert Watson mac_create_mbuf_from_ifnet(struct ifnet *ifnet, struct mbuf *mbuf)
246295fab37eSRobert Watson {
246395fab37eSRobert Watson 
246495fab37eSRobert Watson 	MAC_PERFORM(create_mbuf_from_ifnet, ifnet, &ifnet->if_label, mbuf,
246595fab37eSRobert Watson 	    &mbuf->m_pkthdr.label);
246695fab37eSRobert Watson }
246795fab37eSRobert Watson 
246895fab37eSRobert Watson void
246995fab37eSRobert Watson mac_create_mbuf_multicast_encap(struct mbuf *oldmbuf, struct ifnet *ifnet,
247095fab37eSRobert Watson     struct mbuf *newmbuf)
247195fab37eSRobert Watson {
247295fab37eSRobert Watson 
247395fab37eSRobert Watson 	MAC_PERFORM(create_mbuf_multicast_encap, oldmbuf,
247495fab37eSRobert Watson 	    &oldmbuf->m_pkthdr.label, ifnet, &ifnet->if_label, newmbuf,
247595fab37eSRobert Watson 	    &newmbuf->m_pkthdr.label);
247695fab37eSRobert Watson }
247795fab37eSRobert Watson 
247895fab37eSRobert Watson void
247995fab37eSRobert Watson mac_create_mbuf_netlayer(struct mbuf *oldmbuf, struct mbuf *newmbuf)
248095fab37eSRobert Watson {
248195fab37eSRobert Watson 
248295fab37eSRobert Watson 	MAC_PERFORM(create_mbuf_netlayer, oldmbuf, &oldmbuf->m_pkthdr.label,
248395fab37eSRobert Watson 	    newmbuf, &newmbuf->m_pkthdr.label);
248495fab37eSRobert Watson }
248595fab37eSRobert Watson 
248695fab37eSRobert Watson int
248795fab37eSRobert Watson mac_fragment_match(struct mbuf *fragment, struct ipq *ipq)
248895fab37eSRobert Watson {
248995fab37eSRobert Watson 	int result;
249095fab37eSRobert Watson 
249195fab37eSRobert Watson 	result = 1;
249295fab37eSRobert Watson 	MAC_BOOLEAN(fragment_match, &&, fragment, &fragment->m_pkthdr.label,
249395fab37eSRobert Watson 	    ipq, &ipq->ipq_label);
249495fab37eSRobert Watson 
249595fab37eSRobert Watson 	return (result);
249695fab37eSRobert Watson }
249795fab37eSRobert Watson 
249895fab37eSRobert Watson void
249995fab37eSRobert Watson mac_update_ipq(struct mbuf *fragment, struct ipq *ipq)
250095fab37eSRobert Watson {
250195fab37eSRobert Watson 
250295fab37eSRobert Watson 	MAC_PERFORM(update_ipq, fragment, &fragment->m_pkthdr.label, ipq,
250395fab37eSRobert Watson 	    &ipq->ipq_label);
250495fab37eSRobert Watson }
250595fab37eSRobert Watson 
250695fab37eSRobert Watson void
250795fab37eSRobert Watson mac_create_mbuf_from_socket(struct socket *socket, struct mbuf *mbuf)
250895fab37eSRobert Watson {
250995fab37eSRobert Watson 
251095fab37eSRobert Watson 	MAC_PERFORM(create_mbuf_from_socket, socket, &socket->so_label, mbuf,
251195fab37eSRobert Watson 	    &mbuf->m_pkthdr.label);
251295fab37eSRobert Watson }
251395fab37eSRobert Watson 
251495fab37eSRobert Watson void
251595fab37eSRobert Watson mac_create_mount(struct ucred *cred, struct mount *mp)
251695fab37eSRobert Watson {
251795fab37eSRobert Watson 
251895fab37eSRobert Watson 	MAC_PERFORM(create_mount, cred, mp, &mp->mnt_mntlabel,
251995fab37eSRobert Watson 	    &mp->mnt_fslabel);
252095fab37eSRobert Watson }
252195fab37eSRobert Watson 
252295fab37eSRobert Watson void
252395fab37eSRobert Watson mac_create_root_mount(struct ucred *cred, struct mount *mp)
252495fab37eSRobert Watson {
252595fab37eSRobert Watson 
252695fab37eSRobert Watson 	MAC_PERFORM(create_root_mount, cred, mp, &mp->mnt_mntlabel,
252795fab37eSRobert Watson 	    &mp->mnt_fslabel);
252895fab37eSRobert Watson }
252995fab37eSRobert Watson 
253095fab37eSRobert Watson int
253195fab37eSRobert Watson mac_check_bpfdesc_receive(struct bpf_d *bpf_d, struct ifnet *ifnet)
253295fab37eSRobert Watson {
253395fab37eSRobert Watson 	int error;
253495fab37eSRobert Watson 
253595fab37eSRobert Watson 	if (!mac_enforce_network)
253695fab37eSRobert Watson 		return (0);
253795fab37eSRobert Watson 
253895fab37eSRobert Watson 	MAC_CHECK(check_bpfdesc_receive, bpf_d, &bpf_d->bd_label, ifnet,
253995fab37eSRobert Watson 	    &ifnet->if_label);
254095fab37eSRobert Watson 
254195fab37eSRobert Watson 	return (error);
254295fab37eSRobert Watson }
254395fab37eSRobert Watson 
254495fab37eSRobert Watson static int
254595fab37eSRobert Watson mac_check_cred_relabel(struct ucred *cred, struct label *newlabel)
254695fab37eSRobert Watson {
254795fab37eSRobert Watson 	int error;
254895fab37eSRobert Watson 
254995fab37eSRobert Watson 	MAC_CHECK(check_cred_relabel, cred, newlabel);
255095fab37eSRobert Watson 
255195fab37eSRobert Watson 	return (error);
255295fab37eSRobert Watson }
255395fab37eSRobert Watson 
255495fab37eSRobert Watson int
255595fab37eSRobert Watson mac_check_cred_visible(struct ucred *u1, struct ucred *u2)
255695fab37eSRobert Watson {
255795fab37eSRobert Watson 	int error;
255895fab37eSRobert Watson 
255995fab37eSRobert Watson 	if (!mac_enforce_process)
256095fab37eSRobert Watson 		return (0);
256195fab37eSRobert Watson 
256295fab37eSRobert Watson 	MAC_CHECK(check_cred_visible, u1, u2);
256395fab37eSRobert Watson 
256495fab37eSRobert Watson 	return (error);
256595fab37eSRobert Watson }
256695fab37eSRobert Watson 
256795fab37eSRobert Watson int
256895fab37eSRobert Watson mac_check_ifnet_transmit(struct ifnet *ifnet, struct mbuf *mbuf)
256995fab37eSRobert Watson {
257095fab37eSRobert Watson 	int error;
257195fab37eSRobert Watson 
257295fab37eSRobert Watson 	if (!mac_enforce_network)
257395fab37eSRobert Watson 		return (0);
257495fab37eSRobert Watson 
257595fab37eSRobert Watson 	KASSERT(mbuf->m_flags & M_PKTHDR, ("packet has no pkthdr"));
257695fab37eSRobert Watson 	if (!(mbuf->m_pkthdr.label.l_flags & MAC_FLAG_INITIALIZED))
257795fab37eSRobert Watson 		printf("%s%d: not initialized\n", ifnet->if_name,
257895fab37eSRobert Watson 		    ifnet->if_unit);
257995fab37eSRobert Watson 
258095fab37eSRobert Watson 	MAC_CHECK(check_ifnet_transmit, ifnet, &ifnet->if_label, mbuf,
258195fab37eSRobert Watson 	    &mbuf->m_pkthdr.label);
258295fab37eSRobert Watson 
258395fab37eSRobert Watson 	return (error);
258495fab37eSRobert Watson }
258595fab37eSRobert Watson 
258695fab37eSRobert Watson int
258795fab37eSRobert Watson mac_check_mount_stat(struct ucred *cred, struct mount *mount)
258895fab37eSRobert Watson {
258995fab37eSRobert Watson 	int error;
259095fab37eSRobert Watson 
259195fab37eSRobert Watson 	if (!mac_enforce_fs)
259295fab37eSRobert Watson 		return (0);
259395fab37eSRobert Watson 
259495fab37eSRobert Watson 	MAC_CHECK(check_mount_stat, cred, mount, &mount->mnt_mntlabel);
259595fab37eSRobert Watson 
259695fab37eSRobert Watson 	return (error);
259795fab37eSRobert Watson }
259895fab37eSRobert Watson 
259995fab37eSRobert Watson int
260095fab37eSRobert Watson mac_check_pipe_ioctl(struct ucred *cred, struct pipe *pipe, unsigned long cmd,
260195fab37eSRobert Watson     void *data)
260295fab37eSRobert Watson {
260395fab37eSRobert Watson 	int error;
260495fab37eSRobert Watson 
26051aa37f53SRobert Watson 	PIPE_LOCK_ASSERT(pipe, MA_OWNED);
26061aa37f53SRobert Watson 
26071aa37f53SRobert Watson 	if (!mac_enforce_pipe)
26081aa37f53SRobert Watson 		return (0);
26091aa37f53SRobert Watson 
261095fab37eSRobert Watson 	MAC_CHECK(check_pipe_ioctl, cred, pipe, pipe->pipe_label, cmd, data);
261195fab37eSRobert Watson 
261295fab37eSRobert Watson 	return (error);
261395fab37eSRobert Watson }
261495fab37eSRobert Watson 
261595fab37eSRobert Watson int
2616c024c3eeSRobert Watson mac_check_pipe_poll(struct ucred *cred, struct pipe *pipe)
261795fab37eSRobert Watson {
261895fab37eSRobert Watson 	int error;
261995fab37eSRobert Watson 
26201aa37f53SRobert Watson 	PIPE_LOCK_ASSERT(pipe, MA_OWNED);
26211aa37f53SRobert Watson 
26221aa37f53SRobert Watson 	if (!mac_enforce_pipe)
26231aa37f53SRobert Watson 		return (0);
26241aa37f53SRobert Watson 
2625c024c3eeSRobert Watson 	MAC_CHECK(check_pipe_poll, cred, pipe, pipe->pipe_label);
2626c024c3eeSRobert Watson 
2627c024c3eeSRobert Watson 	return (error);
2628c024c3eeSRobert Watson }
2629c024c3eeSRobert Watson 
2630c024c3eeSRobert Watson int
2631c024c3eeSRobert Watson mac_check_pipe_read(struct ucred *cred, struct pipe *pipe)
2632c024c3eeSRobert Watson {
2633c024c3eeSRobert Watson 	int error;
2634c024c3eeSRobert Watson 
26351aa37f53SRobert Watson 	PIPE_LOCK_ASSERT(pipe, MA_OWNED);
26361aa37f53SRobert Watson 
26371aa37f53SRobert Watson 	if (!mac_enforce_pipe)
26381aa37f53SRobert Watson 		return (0);
26391aa37f53SRobert Watson 
2640c024c3eeSRobert Watson 	MAC_CHECK(check_pipe_read, cred, pipe, pipe->pipe_label);
264195fab37eSRobert Watson 
264295fab37eSRobert Watson 	return (error);
264395fab37eSRobert Watson }
264495fab37eSRobert Watson 
264595fab37eSRobert Watson static int
264695fab37eSRobert Watson mac_check_pipe_relabel(struct ucred *cred, struct pipe *pipe,
264795fab37eSRobert Watson     struct label *newlabel)
264895fab37eSRobert Watson {
264995fab37eSRobert Watson 	int error;
265095fab37eSRobert Watson 
26511aa37f53SRobert Watson 	PIPE_LOCK_ASSERT(pipe, MA_OWNED);
26521aa37f53SRobert Watson 
26531aa37f53SRobert Watson 	if (!mac_enforce_pipe)
26541aa37f53SRobert Watson 		return (0);
26551aa37f53SRobert Watson 
265695fab37eSRobert Watson 	MAC_CHECK(check_pipe_relabel, cred, pipe, pipe->pipe_label, newlabel);
265795fab37eSRobert Watson 
265895fab37eSRobert Watson 	return (error);
265995fab37eSRobert Watson }
266095fab37eSRobert Watson 
266195fab37eSRobert Watson int
2662c024c3eeSRobert Watson mac_check_pipe_stat(struct ucred *cred, struct pipe *pipe)
2663c024c3eeSRobert Watson {
2664c024c3eeSRobert Watson 	int error;
2665c024c3eeSRobert Watson 
26661aa37f53SRobert Watson 	PIPE_LOCK_ASSERT(pipe, MA_OWNED);
26671aa37f53SRobert Watson 
26681aa37f53SRobert Watson 	if (!mac_enforce_pipe)
26691aa37f53SRobert Watson 		return (0);
26701aa37f53SRobert Watson 
2671c024c3eeSRobert Watson 	MAC_CHECK(check_pipe_stat, cred, pipe, pipe->pipe_label);
2672c024c3eeSRobert Watson 
2673c024c3eeSRobert Watson 	return (error);
2674c024c3eeSRobert Watson }
2675c024c3eeSRobert Watson 
2676c024c3eeSRobert Watson int
2677c024c3eeSRobert Watson mac_check_pipe_write(struct ucred *cred, struct pipe *pipe)
2678c024c3eeSRobert Watson {
2679c024c3eeSRobert Watson 	int error;
2680c024c3eeSRobert Watson 
26811aa37f53SRobert Watson 	PIPE_LOCK_ASSERT(pipe, MA_OWNED);
26821aa37f53SRobert Watson 
26831aa37f53SRobert Watson 	if (!mac_enforce_pipe)
26841aa37f53SRobert Watson 		return (0);
26851aa37f53SRobert Watson 
2686c024c3eeSRobert Watson 	MAC_CHECK(check_pipe_write, cred, pipe, pipe->pipe_label);
2687c024c3eeSRobert Watson 
2688c024c3eeSRobert Watson 	return (error);
2689c024c3eeSRobert Watson }
2690c024c3eeSRobert Watson 
2691c024c3eeSRobert Watson int
269295fab37eSRobert Watson mac_check_proc_debug(struct ucred *cred, struct proc *proc)
269395fab37eSRobert Watson {
269495fab37eSRobert Watson 	int error;
269595fab37eSRobert Watson 
2696b12baf55SRobert Watson 	PROC_LOCK_ASSERT(proc, MA_OWNED);
2697b12baf55SRobert Watson 
269895fab37eSRobert Watson 	if (!mac_enforce_process)
269995fab37eSRobert Watson 		return (0);
270095fab37eSRobert Watson 
270195fab37eSRobert Watson 	MAC_CHECK(check_proc_debug, cred, proc);
270295fab37eSRobert Watson 
270395fab37eSRobert Watson 	return (error);
270495fab37eSRobert Watson }
270595fab37eSRobert Watson 
270695fab37eSRobert Watson int
270795fab37eSRobert Watson mac_check_proc_sched(struct ucred *cred, struct proc *proc)
270895fab37eSRobert Watson {
270995fab37eSRobert Watson 	int error;
271095fab37eSRobert Watson 
2711b12baf55SRobert Watson 	PROC_LOCK_ASSERT(proc, MA_OWNED);
2712b12baf55SRobert Watson 
271395fab37eSRobert Watson 	if (!mac_enforce_process)
271495fab37eSRobert Watson 		return (0);
271595fab37eSRobert Watson 
271695fab37eSRobert Watson 	MAC_CHECK(check_proc_sched, cred, proc);
271795fab37eSRobert Watson 
271895fab37eSRobert Watson 	return (error);
271995fab37eSRobert Watson }
272095fab37eSRobert Watson 
272195fab37eSRobert Watson int
272295fab37eSRobert Watson mac_check_proc_signal(struct ucred *cred, struct proc *proc, int signum)
272395fab37eSRobert Watson {
272495fab37eSRobert Watson 	int error;
272595fab37eSRobert Watson 
2726b12baf55SRobert Watson 	PROC_LOCK_ASSERT(proc, MA_OWNED);
2727b12baf55SRobert Watson 
272895fab37eSRobert Watson 	if (!mac_enforce_process)
272995fab37eSRobert Watson 		return (0);
273095fab37eSRobert Watson 
273195fab37eSRobert Watson 	MAC_CHECK(check_proc_signal, cred, proc, signum);
273295fab37eSRobert Watson 
273395fab37eSRobert Watson 	return (error);
273495fab37eSRobert Watson }
273595fab37eSRobert Watson 
273695fab37eSRobert Watson int
273795fab37eSRobert Watson mac_check_socket_bind(struct ucred *ucred, struct socket *socket,
273895fab37eSRobert Watson     struct sockaddr *sockaddr)
273995fab37eSRobert Watson {
274095fab37eSRobert Watson 	int error;
274195fab37eSRobert Watson 
274295fab37eSRobert Watson 	if (!mac_enforce_socket)
274395fab37eSRobert Watson 		return (0);
274495fab37eSRobert Watson 
274595fab37eSRobert Watson 	MAC_CHECK(check_socket_bind, ucred, socket, &socket->so_label,
274695fab37eSRobert Watson 	    sockaddr);
274795fab37eSRobert Watson 
274895fab37eSRobert Watson 	return (error);
274995fab37eSRobert Watson }
275095fab37eSRobert Watson 
275195fab37eSRobert Watson int
275295fab37eSRobert Watson mac_check_socket_connect(struct ucred *cred, struct socket *socket,
275395fab37eSRobert Watson     struct sockaddr *sockaddr)
275495fab37eSRobert Watson {
275595fab37eSRobert Watson 	int error;
275695fab37eSRobert Watson 
275795fab37eSRobert Watson 	if (!mac_enforce_socket)
275895fab37eSRobert Watson 		return (0);
275995fab37eSRobert Watson 
276095fab37eSRobert Watson 	MAC_CHECK(check_socket_connect, cred, socket, &socket->so_label,
276195fab37eSRobert Watson 	    sockaddr);
276295fab37eSRobert Watson 
276395fab37eSRobert Watson 	return (error);
276495fab37eSRobert Watson }
276595fab37eSRobert Watson 
276695fab37eSRobert Watson int
2767d61198e4SRobert Watson mac_check_socket_deliver(struct socket *socket, struct mbuf *mbuf)
2768d61198e4SRobert Watson {
2769d61198e4SRobert Watson 	int error;
2770d61198e4SRobert Watson 
2771d61198e4SRobert Watson 	if (!mac_enforce_socket)
2772d61198e4SRobert Watson 		return (0);
2773d61198e4SRobert Watson 
2774d61198e4SRobert Watson 	MAC_CHECK(check_socket_deliver, socket, &socket->so_label, mbuf,
2775d61198e4SRobert Watson 	    &mbuf->m_pkthdr.label);
2776d61198e4SRobert Watson 
2777d61198e4SRobert Watson 	return (error);
2778d61198e4SRobert Watson }
2779d61198e4SRobert Watson 
2780d61198e4SRobert Watson int
278195fab37eSRobert Watson mac_check_socket_listen(struct ucred *cred, struct socket *socket)
278295fab37eSRobert Watson {
278395fab37eSRobert Watson 	int error;
278495fab37eSRobert Watson 
278595fab37eSRobert Watson 	if (!mac_enforce_socket)
278695fab37eSRobert Watson 		return (0);
278795fab37eSRobert Watson 
278895fab37eSRobert Watson 	MAC_CHECK(check_socket_listen, cred, socket, &socket->so_label);
278995fab37eSRobert Watson 	return (error);
279095fab37eSRobert Watson }
279195fab37eSRobert Watson 
279295fab37eSRobert Watson static int
279395fab37eSRobert Watson mac_check_socket_relabel(struct ucred *cred, struct socket *socket,
279495fab37eSRobert Watson     struct label *newlabel)
279595fab37eSRobert Watson {
279695fab37eSRobert Watson 	int error;
279795fab37eSRobert Watson 
279895fab37eSRobert Watson 	MAC_CHECK(check_socket_relabel, cred, socket, &socket->so_label,
279995fab37eSRobert Watson 	    newlabel);
280095fab37eSRobert Watson 
280195fab37eSRobert Watson 	return (error);
280295fab37eSRobert Watson }
280395fab37eSRobert Watson 
280495fab37eSRobert Watson int
280595fab37eSRobert Watson mac_check_socket_visible(struct ucred *cred, struct socket *socket)
280695fab37eSRobert Watson {
280795fab37eSRobert Watson 	int error;
280895fab37eSRobert Watson 
280995fab37eSRobert Watson 	if (!mac_enforce_socket)
281095fab37eSRobert Watson 		return (0);
281195fab37eSRobert Watson 
281295fab37eSRobert Watson 	MAC_CHECK(check_socket_visible, cred, socket, &socket->so_label);
281395fab37eSRobert Watson 
281495fab37eSRobert Watson 	return (error);
281595fab37eSRobert Watson }
281695fab37eSRobert Watson 
281795fab37eSRobert Watson int
281895fab37eSRobert Watson mac_ioctl_ifnet_get(struct ucred *cred, struct ifreq *ifr,
281995fab37eSRobert Watson     struct ifnet *ifnet)
282095fab37eSRobert Watson {
282195fab37eSRobert Watson 	struct mac label;
282295fab37eSRobert Watson 	int error;
282395fab37eSRobert Watson 
282495fab37eSRobert Watson 	error = mac_externalize(&ifnet->if_label, &label);
282595fab37eSRobert Watson 	if (error)
282695fab37eSRobert Watson 		return (error);
282795fab37eSRobert Watson 
282895fab37eSRobert Watson 	return (copyout(&label, ifr->ifr_ifru.ifru_data, sizeof(label)));
282995fab37eSRobert Watson }
283095fab37eSRobert Watson 
283195fab37eSRobert Watson int
283295fab37eSRobert Watson mac_ioctl_ifnet_set(struct ucred *cred, struct ifreq *ifr,
283395fab37eSRobert Watson     struct ifnet *ifnet)
283495fab37eSRobert Watson {
283595fab37eSRobert Watson 	struct mac newlabel;
283695fab37eSRobert Watson 	struct label intlabel;
283795fab37eSRobert Watson 	int error;
283895fab37eSRobert Watson 
283995fab37eSRobert Watson 	error = copyin(ifr->ifr_ifru.ifru_data, &newlabel, sizeof(newlabel));
284095fab37eSRobert Watson 	if (error)
284195fab37eSRobert Watson 		return (error);
284295fab37eSRobert Watson 
284395fab37eSRobert Watson 	error = mac_internalize(&intlabel, &newlabel);
284495fab37eSRobert Watson 	if (error)
284595fab37eSRobert Watson 		return (error);
284695fab37eSRobert Watson 
284795fab37eSRobert Watson 	/*
284895fab37eSRobert Watson 	 * XXX: Note that this is a redundant privilege check, since
284995fab37eSRobert Watson 	 * policies impose this check themselves if required by the
285095fab37eSRobert Watson 	 * policy.  Eventually, this should go away.
285195fab37eSRobert Watson 	 */
285295fab37eSRobert Watson 	error = suser_cred(cred, 0);
285395fab37eSRobert Watson 	if (error)
285495fab37eSRobert Watson 		goto out;
285595fab37eSRobert Watson 
285695fab37eSRobert Watson 	MAC_CHECK(check_ifnet_relabel, cred, ifnet, &ifnet->if_label,
285795fab37eSRobert Watson 	    &intlabel);
285895fab37eSRobert Watson 	if (error)
285995fab37eSRobert Watson 		goto out;
286095fab37eSRobert Watson 
286195fab37eSRobert Watson 	MAC_PERFORM(relabel_ifnet, cred, ifnet, &ifnet->if_label, &intlabel);
286295fab37eSRobert Watson 
286395fab37eSRobert Watson out:
286495fab37eSRobert Watson 	mac_destroy_temp(&intlabel);
286595fab37eSRobert Watson 	return (error);
286695fab37eSRobert Watson }
286795fab37eSRobert Watson 
286895fab37eSRobert Watson void
286995fab37eSRobert Watson mac_create_devfs_vnode(struct devfs_dirent *de, struct vnode *vp)
287095fab37eSRobert Watson {
287195fab37eSRobert Watson 
287295fab37eSRobert Watson 	MAC_PERFORM(create_devfs_vnode, de, &de->de_label, vp, &vp->v_label);
287395fab37eSRobert Watson }
287495fab37eSRobert Watson 
287595fab37eSRobert Watson void
287695fab37eSRobert Watson mac_create_devfs_device(dev_t dev, struct devfs_dirent *de)
287795fab37eSRobert Watson {
287895fab37eSRobert Watson 
287995fab37eSRobert Watson 	MAC_PERFORM(create_devfs_device, dev, de, &de->de_label);
288095fab37eSRobert Watson }
288195fab37eSRobert Watson 
288295fab37eSRobert Watson static int
288395fab37eSRobert Watson mac_stdcreatevnode_ea(struct vnode *vp)
288495fab37eSRobert Watson {
288595fab37eSRobert Watson 	int error;
288695fab37eSRobert Watson 
288795fab37eSRobert Watson 	MAC_CHECK(stdcreatevnode_ea, vp, &vp->v_label);
288895fab37eSRobert Watson 
288995fab37eSRobert Watson 	return (error);
289095fab37eSRobert Watson }
289195fab37eSRobert Watson 
289295fab37eSRobert Watson void
289395fab37eSRobert Watson mac_create_devfs_directory(char *dirname, int dirnamelen,
289495fab37eSRobert Watson     struct devfs_dirent *de)
289595fab37eSRobert Watson {
289695fab37eSRobert Watson 
289795fab37eSRobert Watson 	MAC_PERFORM(create_devfs_directory, dirname, dirnamelen, de,
289895fab37eSRobert Watson 	    &de->de_label);
289995fab37eSRobert Watson }
290095fab37eSRobert Watson 
290195fab37eSRobert Watson /*
290295fab37eSRobert Watson  * When a new vnode is created, this call will initialize its label.
290395fab37eSRobert Watson  */
290495fab37eSRobert Watson void
290595fab37eSRobert Watson mac_create_vnode(struct ucred *cred, struct vnode *parent,
290695fab37eSRobert Watson     struct vnode *child)
290795fab37eSRobert Watson {
290895fab37eSRobert Watson 	int error;
290995fab37eSRobert Watson 
291095fab37eSRobert Watson 	ASSERT_VOP_LOCKED(parent, "mac_create_vnode");
291195fab37eSRobert Watson 	ASSERT_VOP_LOCKED(child, "mac_create_vnode");
291295fab37eSRobert Watson 
291395fab37eSRobert Watson 	error = vn_refreshlabel(parent, cred);
291495fab37eSRobert Watson 	if (error) {
291595fab37eSRobert Watson 		printf("mac_create_vnode: vn_refreshlabel returned %d\n",
291695fab37eSRobert Watson 		    error);
291795fab37eSRobert Watson 		printf("mac_create_vnode: using old vnode label\n");
291895fab37eSRobert Watson 	}
291995fab37eSRobert Watson 
292095fab37eSRobert Watson 	MAC_PERFORM(create_vnode, cred, parent, &parent->v_label, child,
292195fab37eSRobert Watson 	    &child->v_label);
292295fab37eSRobert Watson }
292395fab37eSRobert Watson 
292495fab37eSRobert Watson int
292595fab37eSRobert Watson mac_setsockopt_label_set(struct ucred *cred, struct socket *so,
292695fab37eSRobert Watson     struct mac *extmac)
292795fab37eSRobert Watson {
292895fab37eSRobert Watson 	struct label intlabel;
292995fab37eSRobert Watson 	int error;
293095fab37eSRobert Watson 
293195fab37eSRobert Watson 	error = mac_internalize(&intlabel, extmac);
293295fab37eSRobert Watson 	if (error)
293395fab37eSRobert Watson 		return (error);
293495fab37eSRobert Watson 
293595fab37eSRobert Watson 	mac_check_socket_relabel(cred, so, &intlabel);
293695fab37eSRobert Watson 	if (error) {
293795fab37eSRobert Watson 		mac_destroy_temp(&intlabel);
293895fab37eSRobert Watson 		return (error);
293995fab37eSRobert Watson 	}
294095fab37eSRobert Watson 
294195fab37eSRobert Watson 	mac_relabel_socket(cred, so, &intlabel);
294295fab37eSRobert Watson 
294395fab37eSRobert Watson 	mac_destroy_temp(&intlabel);
294495fab37eSRobert Watson 	return (0);
294595fab37eSRobert Watson }
294695fab37eSRobert Watson 
294795fab37eSRobert Watson int
294895fab37eSRobert Watson mac_pipe_label_set(struct ucred *cred, struct pipe *pipe, struct label *label)
294995fab37eSRobert Watson {
295095fab37eSRobert Watson 	int error;
295195fab37eSRobert Watson 
29521aa37f53SRobert Watson 	PIPE_LOCK_ASSERT(pipe, MA_OWNED);
29531aa37f53SRobert Watson 
295495fab37eSRobert Watson 	error = mac_check_pipe_relabel(cred, pipe, label);
295595fab37eSRobert Watson 	if (error)
295695fab37eSRobert Watson 		return (error);
295795fab37eSRobert Watson 
295895fab37eSRobert Watson 	mac_relabel_pipe(cred, pipe, label);
295995fab37eSRobert Watson 
296095fab37eSRobert Watson 	return (0);
296195fab37eSRobert Watson }
296295fab37eSRobert Watson 
296395fab37eSRobert Watson int
296495fab37eSRobert Watson mac_getsockopt_label_get(struct ucred *cred, struct socket *so,
296595fab37eSRobert Watson     struct mac *extmac)
296695fab37eSRobert Watson {
296795fab37eSRobert Watson 
296895fab37eSRobert Watson 	return (mac_externalize(&so->so_label, extmac));
296995fab37eSRobert Watson }
297095fab37eSRobert Watson 
297195fab37eSRobert Watson int
297295fab37eSRobert Watson mac_getsockopt_peerlabel_get(struct ucred *cred, struct socket *so,
297395fab37eSRobert Watson     struct mac *extmac)
297495fab37eSRobert Watson {
297595fab37eSRobert Watson 
297695fab37eSRobert Watson 	return (mac_externalize(&so->so_peerlabel, extmac));
297795fab37eSRobert Watson }
297895fab37eSRobert Watson 
297995fab37eSRobert Watson /*
298095fab37eSRobert Watson  * Implementation of VOP_SETLABEL() that relies on extended attributes
298195fab37eSRobert Watson  * to store label data.  Can be referenced by filesystems supporting
298295fab37eSRobert Watson  * extended attributes.
298395fab37eSRobert Watson  */
298495fab37eSRobert Watson int
298595fab37eSRobert Watson vop_stdsetlabel_ea(struct vop_setlabel_args *ap)
298695fab37eSRobert Watson {
298795fab37eSRobert Watson 	struct vnode *vp = ap->a_vp;
298895fab37eSRobert Watson 	struct label *intlabel = ap->a_label;
298995fab37eSRobert Watson 	struct mac extmac;
299095fab37eSRobert Watson 	int error;
299195fab37eSRobert Watson 
299295fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "vop_stdsetlabel_ea");
299395fab37eSRobert Watson 
299495fab37eSRobert Watson 	/*
299595fab37eSRobert Watson 	 * XXX: Eventually call out to EA check/set calls here.
299695fab37eSRobert Watson 	 * Be particularly careful to avoid race conditions,
299795fab37eSRobert Watson 	 * consistency problems, and stability problems when
299895fab37eSRobert Watson 	 * dealing with multiple EAs.  In particular, we require
299995fab37eSRobert Watson 	 * the ability to write multiple EAs on the same file in
300095fab37eSRobert Watson 	 * a single transaction, which the current EA interface
300195fab37eSRobert Watson 	 * does not provide.
300295fab37eSRobert Watson 	 */
300395fab37eSRobert Watson 
300495fab37eSRobert Watson 	error = mac_externalize(intlabel, &extmac);
300595fab37eSRobert Watson 	if (error)
300695fab37eSRobert Watson 		return (error);
300795fab37eSRobert Watson 
300895fab37eSRobert Watson 	error = vn_extattr_set(vp, IO_NODELOCKED,
300995fab37eSRobert Watson 	    FREEBSD_MAC_EXTATTR_NAMESPACE, FREEBSD_MAC_EXTATTR_NAME,
301095fab37eSRobert Watson 	    sizeof(extmac), (char *)&extmac, curthread);
301195fab37eSRobert Watson 	if (error)
301295fab37eSRobert Watson 		return (error);
301395fab37eSRobert Watson 
301495fab37eSRobert Watson 	mac_relabel_vnode(ap->a_cred, vp, intlabel);
301595fab37eSRobert Watson 
3016e6e370a7SJeff Roberson 	vp->v_vflag |= VV_CACHEDLABEL;
301795fab37eSRobert Watson 
301895fab37eSRobert Watson 	return (0);
301995fab37eSRobert Watson }
302095fab37eSRobert Watson 
302195fab37eSRobert Watson static int
302295fab37eSRobert Watson vn_setlabel(struct vnode *vp, struct label *intlabel, struct ucred *cred)
302395fab37eSRobert Watson {
302495fab37eSRobert Watson 	int error;
302595fab37eSRobert Watson 
302695fab37eSRobert Watson 	if (vp->v_mount == NULL) {
302795fab37eSRobert Watson 		/* printf("vn_setlabel: null v_mount\n"); */
302806be2aaaSNate Lawson 		if (vp->v_type != VNON)
302906be2aaaSNate Lawson 			printf("vn_setlabel: null v_mount with non-VNON\n");
303095fab37eSRobert Watson 		return (EBADF);
303195fab37eSRobert Watson 	}
303295fab37eSRobert Watson 
303395fab37eSRobert Watson 	if ((vp->v_mount->mnt_flag & MNT_MULTILABEL) == 0)
303495fab37eSRobert Watson 		return (EOPNOTSUPP);
303595fab37eSRobert Watson 
303695fab37eSRobert Watson 	/*
303795fab37eSRobert Watson 	 * Multi-phase commit.  First check the policies to confirm the
303895fab37eSRobert Watson 	 * change is OK.  Then commit via the filesystem.  Finally,
303995fab37eSRobert Watson 	 * update the actual vnode label.  Question: maybe the filesystem
304095fab37eSRobert Watson 	 * should update the vnode at the end as part of VOP_SETLABEL()?
304195fab37eSRobert Watson 	 */
304295fab37eSRobert Watson 	error = mac_check_vnode_relabel(cred, vp, intlabel);
304395fab37eSRobert Watson 	if (error)
304495fab37eSRobert Watson 		return (error);
304595fab37eSRobert Watson 
304695fab37eSRobert Watson 	/*
304795fab37eSRobert Watson 	 * VADMIN provides the opportunity for the filesystem to make
304895fab37eSRobert Watson 	 * decisions about who is and is not able to modify labels
304995fab37eSRobert Watson 	 * and protections on files.  This might not be right.  We can't
305095fab37eSRobert Watson 	 * assume VOP_SETLABEL() will do it, because we might implement
305195fab37eSRobert Watson 	 * that as part of vop_stdsetlabel_ea().
305295fab37eSRobert Watson 	 */
305395fab37eSRobert Watson 	error = VOP_ACCESS(vp, VADMIN, cred, curthread);
305495fab37eSRobert Watson 	if (error)
305595fab37eSRobert Watson 		return (error);
305695fab37eSRobert Watson 
305795fab37eSRobert Watson 	error = VOP_SETLABEL(vp, intlabel, cred, curthread);
305895fab37eSRobert Watson 	if (error)
305995fab37eSRobert Watson 		return (error);
306095fab37eSRobert Watson 
306195fab37eSRobert Watson 	return (0);
306295fab37eSRobert Watson }
306395fab37eSRobert Watson 
306495fab37eSRobert Watson /*
306595fab37eSRobert Watson  * MPSAFE
306695fab37eSRobert Watson  */
306795fab37eSRobert Watson int
306895fab37eSRobert Watson __mac_get_proc(struct thread *td, struct __mac_get_proc_args *uap)
306995fab37eSRobert Watson {
307095fab37eSRobert Watson 	struct mac extmac;
307195fab37eSRobert Watson 	int error;
307295fab37eSRobert Watson 
307395fab37eSRobert Watson 	error = mac_externalize(&td->td_ucred->cr_label, &extmac);
307495fab37eSRobert Watson 	if (error == 0)
307595fab37eSRobert Watson 		error = copyout(&extmac, SCARG(uap, mac_p), sizeof(extmac));
307695fab37eSRobert Watson 
307795fab37eSRobert Watson 	return (error);
307895fab37eSRobert Watson }
307995fab37eSRobert Watson 
308095fab37eSRobert Watson /*
308195fab37eSRobert Watson  * MPSAFE
308295fab37eSRobert Watson  */
308395fab37eSRobert Watson int
308495fab37eSRobert Watson __mac_set_proc(struct thread *td, struct __mac_set_proc_args *uap)
308595fab37eSRobert Watson {
308695fab37eSRobert Watson 	struct ucred *newcred, *oldcred;
308795fab37eSRobert Watson 	struct proc *p;
308895fab37eSRobert Watson 	struct mac extmac;
308995fab37eSRobert Watson 	struct label intlabel;
309095fab37eSRobert Watson 	int error;
309195fab37eSRobert Watson 
309295fab37eSRobert Watson 	error = copyin(SCARG(uap, mac_p), &extmac, sizeof(extmac));
309395fab37eSRobert Watson 	if (error)
309495fab37eSRobert Watson 		return (error);
309595fab37eSRobert Watson 
309695fab37eSRobert Watson 	error = mac_internalize(&intlabel, &extmac);
309795fab37eSRobert Watson 	if (error)
309895fab37eSRobert Watson 		return (error);
309995fab37eSRobert Watson 
310095fab37eSRobert Watson 	newcred = crget();
310195fab37eSRobert Watson 
310295fab37eSRobert Watson 	p = td->td_proc;
310395fab37eSRobert Watson 	PROC_LOCK(p);
310495fab37eSRobert Watson 	oldcred = p->p_ucred;
310595fab37eSRobert Watson 
310695fab37eSRobert Watson 	error = mac_check_cred_relabel(oldcred, &intlabel);
310795fab37eSRobert Watson 	if (error) {
310895fab37eSRobert Watson 		PROC_UNLOCK(p);
310995fab37eSRobert Watson 		mac_destroy_temp(&intlabel);
311095fab37eSRobert Watson 		crfree(newcred);
311195fab37eSRobert Watson 		return (error);
311295fab37eSRobert Watson 	}
311395fab37eSRobert Watson 
311495fab37eSRobert Watson 	setsugid(p);
311595fab37eSRobert Watson 	crcopy(newcred, oldcred);
311695fab37eSRobert Watson 	mac_relabel_cred(newcred, &intlabel);
311795fab37eSRobert Watson 	p->p_ucred = newcred;
3118e5cb5e37SRobert Watson 
3119e5cb5e37SRobert Watson 	/*
3120e5cb5e37SRobert Watson 	 * Grab additional reference for use while revoking mmaps, prior
3121e5cb5e37SRobert Watson 	 * to releasing the proc lock and sharing the cred.
3122e5cb5e37SRobert Watson 	 */
3123e5cb5e37SRobert Watson 	crhold(newcred);
312495fab37eSRobert Watson 	PROC_UNLOCK(p);
3125e5cb5e37SRobert Watson 
312616140035SRobert Watson 	mtx_lock(&Giant);
3127e5cb5e37SRobert Watson 	mac_cred_mmapped_drop_perms(td, newcred);
312816140035SRobert Watson 	mtx_unlock(&Giant);
3129e5cb5e37SRobert Watson 
3130e5cb5e37SRobert Watson 	crfree(newcred);	/* Free revocation reference. */
313195fab37eSRobert Watson 	crfree(oldcred);
313295fab37eSRobert Watson 	mac_destroy_temp(&intlabel);
313395fab37eSRobert Watson 	return (0);
313495fab37eSRobert Watson }
313595fab37eSRobert Watson 
313695fab37eSRobert Watson /*
313795fab37eSRobert Watson  * MPSAFE
313895fab37eSRobert Watson  */
313995fab37eSRobert Watson int
314095fab37eSRobert Watson __mac_get_fd(struct thread *td, struct __mac_get_fd_args *uap)
314195fab37eSRobert Watson {
314295fab37eSRobert Watson 	struct file *fp;
314395fab37eSRobert Watson 	struct mac extmac;
314495fab37eSRobert Watson 	struct vnode *vp;
314595fab37eSRobert Watson 	struct pipe *pipe;
314695fab37eSRobert Watson 	int error;
314795fab37eSRobert Watson 
314895fab37eSRobert Watson 	mtx_lock(&Giant);
314995fab37eSRobert Watson 
315095fab37eSRobert Watson 	error = fget(td, SCARG(uap, fd), &fp);
315195fab37eSRobert Watson 	if (error)
315295fab37eSRobert Watson 		goto out;
315395fab37eSRobert Watson 
315495fab37eSRobert Watson 	switch (fp->f_type) {
315595fab37eSRobert Watson 	case DTYPE_FIFO:
315695fab37eSRobert Watson 	case DTYPE_VNODE:
315795fab37eSRobert Watson 		vp = (struct vnode *)fp->f_data;
315895fab37eSRobert Watson 
315995fab37eSRobert Watson 		vn_lock(vp, LK_EXCLUSIVE | LK_RETRY, td);
316095fab37eSRobert Watson 		error = vn_refreshlabel(vp, td->td_ucred);
316195fab37eSRobert Watson 		if (error == 0)
316295fab37eSRobert Watson 			error = mac_externalize(&vp->v_label, &extmac);
316395fab37eSRobert Watson 		VOP_UNLOCK(vp, 0, td);
316495fab37eSRobert Watson 		break;
316595fab37eSRobert Watson 	case DTYPE_PIPE:
316695fab37eSRobert Watson 		pipe = (struct pipe *)fp->f_data;
316795fab37eSRobert Watson 		error = mac_externalize(pipe->pipe_label, &extmac);
316895fab37eSRobert Watson 		break;
316995fab37eSRobert Watson 	default:
317095fab37eSRobert Watson 		error = EINVAL;
317195fab37eSRobert Watson 	}
317295fab37eSRobert Watson 
317395fab37eSRobert Watson 	if (error == 0)
317495fab37eSRobert Watson 		error = copyout(&extmac, SCARG(uap, mac_p), sizeof(extmac));
317595fab37eSRobert Watson 
317695fab37eSRobert Watson 	fdrop(fp, td);
317795fab37eSRobert Watson 
317895fab37eSRobert Watson out:
317995fab37eSRobert Watson 	mtx_unlock(&Giant);
318095fab37eSRobert Watson 	return (error);
318195fab37eSRobert Watson }
318295fab37eSRobert Watson 
318395fab37eSRobert Watson /*
318495fab37eSRobert Watson  * MPSAFE
318595fab37eSRobert Watson  */
318695fab37eSRobert Watson int
318795fab37eSRobert Watson __mac_get_file(struct thread *td, struct __mac_get_file_args *uap)
318895fab37eSRobert Watson {
318995fab37eSRobert Watson 	struct nameidata nd;
319095fab37eSRobert Watson 	struct mac extmac;
319195fab37eSRobert Watson 	int error;
319295fab37eSRobert Watson 
319395fab37eSRobert Watson 	mtx_lock(&Giant);
319495fab37eSRobert Watson 	NDINIT(&nd, LOOKUP, LOCKLEAF | FOLLOW, UIO_USERSPACE,
319595fab37eSRobert Watson 	    SCARG(uap, path_p), td);
319695fab37eSRobert Watson 	error = namei(&nd);
319795fab37eSRobert Watson 	if (error)
319895fab37eSRobert Watson 		goto out;
319995fab37eSRobert Watson 
320095fab37eSRobert Watson 	error = vn_refreshlabel(nd.ni_vp, td->td_ucred);
320195fab37eSRobert Watson 	if (error == 0)
320295fab37eSRobert Watson 		error = mac_externalize(&nd.ni_vp->v_label, &extmac);
320395fab37eSRobert Watson 	NDFREE(&nd, 0);
320495fab37eSRobert Watson 	if (error)
320595fab37eSRobert Watson 		goto out;
320695fab37eSRobert Watson 
320795fab37eSRobert Watson 	error = copyout(&extmac, SCARG(uap, mac_p), sizeof(extmac));
320895fab37eSRobert Watson 
320995fab37eSRobert Watson out:
321095fab37eSRobert Watson 	mtx_unlock(&Giant);
321195fab37eSRobert Watson 	return (error);
321295fab37eSRobert Watson }
321395fab37eSRobert Watson 
321495fab37eSRobert Watson /*
321595fab37eSRobert Watson  * MPSAFE
321695fab37eSRobert Watson  */
321795fab37eSRobert Watson int
321895fab37eSRobert Watson __mac_set_fd(struct thread *td, struct __mac_set_fd_args *uap)
321995fab37eSRobert Watson {
322095fab37eSRobert Watson 	struct file *fp;
322195fab37eSRobert Watson 	struct mac extmac;
322295fab37eSRobert Watson 	struct label intlabel;
322395fab37eSRobert Watson 	struct mount *mp;
322495fab37eSRobert Watson 	struct vnode *vp;
322595fab37eSRobert Watson 	struct pipe *pipe;
322695fab37eSRobert Watson 	int error;
322795fab37eSRobert Watson 
322895fab37eSRobert Watson 	mtx_lock(&Giant);
322995fab37eSRobert Watson 	error = fget(td, SCARG(uap, fd), &fp);
323095fab37eSRobert Watson 	if (error)
323195fab37eSRobert Watson 		goto out1;
323295fab37eSRobert Watson 
323395fab37eSRobert Watson 	error = copyin(SCARG(uap, mac_p), &extmac, sizeof(extmac));
323495fab37eSRobert Watson 	if (error)
323595fab37eSRobert Watson 		goto out2;
323695fab37eSRobert Watson 
323795fab37eSRobert Watson 	error = mac_internalize(&intlabel, &extmac);
323895fab37eSRobert Watson 	if (error)
323995fab37eSRobert Watson 		goto out2;
324095fab37eSRobert Watson 
324195fab37eSRobert Watson 	switch (fp->f_type) {
324295fab37eSRobert Watson 	case DTYPE_FIFO:
324395fab37eSRobert Watson 	case DTYPE_VNODE:
324495fab37eSRobert Watson 		vp = (struct vnode *)fp->f_data;
324595fab37eSRobert Watson 		error = vn_start_write(vp, &mp, V_WAIT | PCATCH);
324695fab37eSRobert Watson 		if (error != 0)
324795fab37eSRobert Watson 			break;
324895fab37eSRobert Watson 
324995fab37eSRobert Watson 		vn_lock(vp, LK_EXCLUSIVE | LK_RETRY, td);
325095fab37eSRobert Watson 		error = vn_setlabel(vp, &intlabel, td->td_ucred);
325195fab37eSRobert Watson 		VOP_UNLOCK(vp, 0, td);
325295fab37eSRobert Watson 		vn_finished_write(mp);
325395fab37eSRobert Watson 		mac_destroy_temp(&intlabel);
325495fab37eSRobert Watson 		break;
325595fab37eSRobert Watson 	case DTYPE_PIPE:
325695fab37eSRobert Watson 		pipe = (struct pipe *)fp->f_data;
32571aa37f53SRobert Watson 		PIPE_LOCK(pipe);
325895fab37eSRobert Watson 		error = mac_pipe_label_set(td->td_ucred, pipe, &intlabel);
32591aa37f53SRobert Watson 		PIPE_UNLOCK(pipe);
326095fab37eSRobert Watson 		break;
326195fab37eSRobert Watson 	default:
326295fab37eSRobert Watson 		error = EINVAL;
326395fab37eSRobert Watson 	}
326495fab37eSRobert Watson 
326595fab37eSRobert Watson out2:
326695fab37eSRobert Watson 	fdrop(fp, td);
326795fab37eSRobert Watson out1:
326895fab37eSRobert Watson 	mtx_unlock(&Giant);
326995fab37eSRobert Watson 	return (error);
327095fab37eSRobert Watson }
327195fab37eSRobert Watson 
327295fab37eSRobert Watson /*
327395fab37eSRobert Watson  * MPSAFE
327495fab37eSRobert Watson  */
327595fab37eSRobert Watson int
327695fab37eSRobert Watson __mac_set_file(struct thread *td, struct __mac_set_file_args *uap)
327795fab37eSRobert Watson {
327895fab37eSRobert Watson 	struct nameidata nd;
327995fab37eSRobert Watson 	struct mac extmac;
328095fab37eSRobert Watson 	struct label intlabel;
328195fab37eSRobert Watson 	struct mount *mp;
328295fab37eSRobert Watson 	int error;
328395fab37eSRobert Watson 
328495fab37eSRobert Watson 	mtx_lock(&Giant);
328595fab37eSRobert Watson 
328695fab37eSRobert Watson 	error = copyin(SCARG(uap, mac_p), &extmac, sizeof(extmac));
328795fab37eSRobert Watson 	if (error)
328895fab37eSRobert Watson 		goto out;
328995fab37eSRobert Watson 
329095fab37eSRobert Watson 	error = mac_internalize(&intlabel, &extmac);
329195fab37eSRobert Watson 	if (error)
329295fab37eSRobert Watson 		goto out;
329395fab37eSRobert Watson 
329495fab37eSRobert Watson 	NDINIT(&nd, LOOKUP, LOCKLEAF | FOLLOW, UIO_USERSPACE,
329595fab37eSRobert Watson 	    SCARG(uap, path_p), td);
329695fab37eSRobert Watson 	error = namei(&nd);
329795fab37eSRobert Watson 	if (error)
329895fab37eSRobert Watson 		goto out2;
329995fab37eSRobert Watson 	error = vn_start_write(nd.ni_vp, &mp, V_WAIT | PCATCH);
330095fab37eSRobert Watson 	if (error)
330195fab37eSRobert Watson 		goto out2;
330295fab37eSRobert Watson 
330395fab37eSRobert Watson 	error = vn_setlabel(nd.ni_vp, &intlabel, td->td_ucred);
330495fab37eSRobert Watson 
330595fab37eSRobert Watson 	vn_finished_write(mp);
330695fab37eSRobert Watson out2:
330795fab37eSRobert Watson 	mac_destroy_temp(&intlabel);
330895fab37eSRobert Watson 	NDFREE(&nd, 0);
330995fab37eSRobert Watson out:
331095fab37eSRobert Watson 	mtx_unlock(&Giant);
331195fab37eSRobert Watson 	return (error);
331295fab37eSRobert Watson }
331395fab37eSRobert Watson 
331427f2eac7SRobert Watson int
331527f2eac7SRobert Watson mac_syscall(struct thread *td, struct mac_syscall_args *uap)
331627f2eac7SRobert Watson {
331727f2eac7SRobert Watson 	struct mac_policy_conf *mpc;
331827f2eac7SRobert Watson 	char target[MAC_MAX_POLICY_NAME];
331927f2eac7SRobert Watson 	int error;
332027f2eac7SRobert Watson 
332127f2eac7SRobert Watson 	error = copyinstr(SCARG(uap, policy), target, sizeof(target), NULL);
332227f2eac7SRobert Watson 	if (error)
332327f2eac7SRobert Watson 		return (error);
332427f2eac7SRobert Watson 
332527f2eac7SRobert Watson 	error = ENOSYS;
332627f2eac7SRobert Watson 	MAC_POLICY_LIST_BUSY();
332727f2eac7SRobert Watson 	LIST_FOREACH(mpc, &mac_policy_list, mpc_list) {
332827f2eac7SRobert Watson 		if (strcmp(mpc->mpc_name, target) == 0 &&
332927f2eac7SRobert Watson 		    mpc->mpc_ops->mpo_syscall != NULL) {
333027f2eac7SRobert Watson 			error = mpc->mpc_ops->mpo_syscall(td,
333127f2eac7SRobert Watson 			    SCARG(uap, call), SCARG(uap, arg));
333227f2eac7SRobert Watson 			goto out;
333327f2eac7SRobert Watson 		}
333427f2eac7SRobert Watson 	}
333527f2eac7SRobert Watson 
333627f2eac7SRobert Watson out:
333727f2eac7SRobert Watson 	MAC_POLICY_LIST_UNBUSY();
333827f2eac7SRobert Watson 	return (error);
333927f2eac7SRobert Watson }
334027f2eac7SRobert Watson 
334195fab37eSRobert Watson SYSINIT(mac, SI_SUB_MAC, SI_ORDER_FIRST, mac_init, NULL);
334295fab37eSRobert Watson SYSINIT(mac_late, SI_SUB_MAC_LATE, SI_ORDER_FIRST, mac_late_init, NULL);
334395fab37eSRobert Watson 
334495fab37eSRobert Watson #else /* !MAC */
33457bc82500SRobert Watson 
33467bc82500SRobert Watson int
33477bc82500SRobert Watson __mac_get_proc(struct thread *td, struct __mac_get_proc_args *uap)
33487bc82500SRobert Watson {
33497bc82500SRobert Watson 
33507bc82500SRobert Watson 	return (ENOSYS);
33517bc82500SRobert Watson }
33527bc82500SRobert Watson 
33537bc82500SRobert Watson int
33547bc82500SRobert Watson __mac_set_proc(struct thread *td, struct __mac_set_proc_args *uap)
33557bc82500SRobert Watson {
33567bc82500SRobert Watson 
33577bc82500SRobert Watson 	return (ENOSYS);
33587bc82500SRobert Watson }
33597bc82500SRobert Watson 
33607bc82500SRobert Watson int
33617bc82500SRobert Watson __mac_get_fd(struct thread *td, struct __mac_get_fd_args *uap)
33627bc82500SRobert Watson {
33637bc82500SRobert Watson 
33647bc82500SRobert Watson 	return (ENOSYS);
33657bc82500SRobert Watson }
33667bc82500SRobert Watson 
33677bc82500SRobert Watson int
33687bc82500SRobert Watson __mac_get_file(struct thread *td, struct __mac_get_file_args *uap)
33697bc82500SRobert Watson {
33707bc82500SRobert Watson 
33717bc82500SRobert Watson 	return (ENOSYS);
33727bc82500SRobert Watson }
33737bc82500SRobert Watson 
33747bc82500SRobert Watson int
33757bc82500SRobert Watson __mac_set_fd(struct thread *td, struct __mac_set_fd_args *uap)
33767bc82500SRobert Watson {
33777bc82500SRobert Watson 
33787bc82500SRobert Watson 	return (ENOSYS);
33797bc82500SRobert Watson }
33807bc82500SRobert Watson 
33817bc82500SRobert Watson int
33827bc82500SRobert Watson __mac_set_file(struct thread *td, struct __mac_set_file_args *uap)
33837bc82500SRobert Watson {
33847bc82500SRobert Watson 
33857bc82500SRobert Watson 	return (ENOSYS);
33867bc82500SRobert Watson }
338795fab37eSRobert Watson 
338827f2eac7SRobert Watson int
338927f2eac7SRobert Watson mac_syscall(struct thread *td, struct mac_syscall_args *uap)
339027f2eac7SRobert Watson {
339127f2eac7SRobert Watson 
339227f2eac7SRobert Watson 	return (ENOSYS);
339327f2eac7SRobert Watson }
339427f2eac7SRobert Watson 
339595fab37eSRobert Watson #endif /* !MAC */
3396