xref: /freebsd/sys/security/mac/mac_system.c (revision b2f0927a)
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");
101b2f0927aSRobert Watson 
10295fab37eSRobert Watson #ifndef MAC_MAX_POLICIES
10395fab37eSRobert Watson #define	MAC_MAX_POLICIES	8
10495fab37eSRobert Watson #endif
10595fab37eSRobert Watson #if MAC_MAX_POLICIES > 32
10695fab37eSRobert Watson #error "MAC_MAX_POLICIES too large"
10795fab37eSRobert Watson #endif
10895fab37eSRobert Watson static unsigned int mac_max_policies = MAC_MAX_POLICIES;
10995fab37eSRobert Watson static unsigned int mac_policy_offsets_free = (1 << MAC_MAX_POLICIES) - 1;
11095fab37eSRobert Watson SYSCTL_UINT(_security_mac, OID_AUTO, max_policies, CTLFLAG_RD,
11195fab37eSRobert Watson     &mac_max_policies, 0, "");
11295fab37eSRobert Watson 
11395fab37eSRobert Watson static int	mac_late = 0;
11495fab37eSRobert Watson 
11595fab37eSRobert Watson static int	mac_enforce_fs = 1;
11695fab37eSRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, enforce_fs, CTLFLAG_RW,
11795fab37eSRobert Watson     &mac_enforce_fs, 0, "Enforce MAC policy on file system objects");
11895fab37eSRobert Watson TUNABLE_INT("security.mac.enforce_fs", &mac_enforce_fs);
11995fab37eSRobert Watson 
12095fab37eSRobert Watson static int	mac_enforce_network = 1;
12195fab37eSRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, enforce_network, CTLFLAG_RW,
12295fab37eSRobert Watson     &mac_enforce_network, 0, "Enforce MAC policy on network packets");
12395fab37eSRobert Watson TUNABLE_INT("security.mac.enforce_network", &mac_enforce_network);
12495fab37eSRobert Watson 
125b88c98f6SRobert Watson static int	mac_enforce_pipe = 1;
126b88c98f6SRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, enforce_pipe, CTLFLAG_RW,
127b88c98f6SRobert Watson     &mac_enforce_pipe, 0, "Enforce MAC policy on pipe operations");
128c031391bSRobert Watson TUNABLE_INT("security.mac.enforce_pipe", &mac_enforce_pipe);
129b88c98f6SRobert Watson 
13095fab37eSRobert Watson static int	mac_enforce_process = 1;
13195fab37eSRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, enforce_process, CTLFLAG_RW,
13295fab37eSRobert Watson     &mac_enforce_process, 0, "Enforce MAC policy on inter-process operations");
13395fab37eSRobert Watson TUNABLE_INT("security.mac.enforce_process", &mac_enforce_process);
13495fab37eSRobert Watson 
13595fab37eSRobert Watson static int	mac_enforce_socket = 1;
13695fab37eSRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, enforce_socket, CTLFLAG_RW,
13795fab37eSRobert Watson     &mac_enforce_socket, 0, "Enforce MAC policy on socket operations");
13895fab37eSRobert Watson TUNABLE_INT("security.mac.enforce_socket", &mac_enforce_socket);
13995fab37eSRobert Watson 
140ca7850c3SRobert Watson static int     mac_enforce_vm = 1;
141ca7850c3SRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, enforce_vm, CTLFLAG_RW,
142ca7850c3SRobert Watson     &mac_enforce_vm, 0, "Enforce MAC policy on vm operations");
143c031391bSRobert Watson TUNABLE_INT("security.mac.enforce_vm", &mac_enforce_vm);
144ca7850c3SRobert Watson 
14595fab37eSRobert Watson static int	mac_label_size = sizeof(struct mac);
14695fab37eSRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, label_size, CTLFLAG_RD,
14795fab37eSRobert Watson     &mac_label_size, 0, "Pre-compiled MAC label size");
14895fab37eSRobert Watson 
14995fab37eSRobert Watson static int	mac_cache_fslabel_in_vnode = 1;
15095fab37eSRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, cache_fslabel_in_vnode, CTLFLAG_RW,
15195fab37eSRobert Watson     &mac_cache_fslabel_in_vnode, 0, "Cache mount fslabel in vnode");
15295fab37eSRobert Watson TUNABLE_INT("security.mac.cache_fslabel_in_vnode",
15395fab37eSRobert Watson     &mac_cache_fslabel_in_vnode);
15495fab37eSRobert Watson 
15595fab37eSRobert Watson static int	mac_vnode_label_cache_hits = 0;
15695fab37eSRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, vnode_label_cache_hits, CTLFLAG_RD,
15795fab37eSRobert Watson     &mac_vnode_label_cache_hits, 0, "Cache hits on vnode labels");
15895fab37eSRobert Watson static int	mac_vnode_label_cache_misses = 0;
15995fab37eSRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, vnode_label_cache_misses, CTLFLAG_RD,
16095fab37eSRobert Watson     &mac_vnode_label_cache_misses, 0, "Cache misses on vnode labels");
161c0f39905SRobert Watson 
162c0f39905SRobert Watson static int	mac_mmap_revocation = 1;
163c0f39905SRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, mmap_revocation, CTLFLAG_RW,
164c0f39905SRobert Watson     &mac_mmap_revocation, 0, "Revoke mmap access to files on subject "
165c0f39905SRobert Watson     "relabel");
16699fa64f8SRobert Watson static int	mac_mmap_revocation_via_cow = 0;
16795fab37eSRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, mmap_revocation_via_cow, CTLFLAG_RW,
16895fab37eSRobert Watson     &mac_mmap_revocation_via_cow, 0, "Revoke mmap access to files via "
16995fab37eSRobert Watson     "copy-on-write semantics, or by removing all write access");
17095fab37eSRobert Watson 
171f050add5SRobert Watson #ifdef MAC_DEBUG
1726be0c25eSRobert Watson SYSCTL_NODE(_security_mac, OID_AUTO, debug, CTLFLAG_RW, 0,
1736be0c25eSRobert Watson     "TrustedBSD MAC debug info");
1746be0c25eSRobert Watson 
1756be0c25eSRobert Watson static int	mac_debug_label_fallback = 0;
1766be0c25eSRobert Watson SYSCTL_INT(_security_mac_debug, OID_AUTO, label_fallback, CTLFLAG_RW,
1776be0c25eSRobert Watson     &mac_debug_label_fallback, 0, "Filesystems should fall back to fs label"
1786be0c25eSRobert Watson     "when label is corrupted.");
1796be0c25eSRobert Watson TUNABLE_INT("security.mac.debug_label_fallback",
1806be0c25eSRobert Watson     &mac_debug_label_fallback);
1816be0c25eSRobert Watson 
182b2f0927aSRobert Watson SYSCTL_NODE(_security_mac_debug, OID_AUTO, counters, CTLFLAG_RW, 0,
183b2f0927aSRobert Watson     "TrustedBSD MAC object counters");
184b2f0927aSRobert Watson 
18595fab37eSRobert Watson static unsigned int nmacmbufs, nmaccreds, nmacifnets, nmacbpfdescs,
18695fab37eSRobert Watson     nmacsockets, nmacmounts, nmactemp, nmacvnodes, nmacdevfsdirents,
18795fab37eSRobert Watson     nmacipqs, nmacpipes;
188b2f0927aSRobert Watson 
189b2f0927aSRobert Watson SYSCTL_UINT(_security_mac_debug_counters, OID_AUTO, mbufs, CTLFLAG_RD,
19095fab37eSRobert Watson     &nmacmbufs, 0, "number of mbufs in use");
191b2f0927aSRobert Watson SYSCTL_UINT(_security_mac_debug_counters, OID_AUTO, creds, CTLFLAG_RD,
19295fab37eSRobert Watson     &nmaccreds, 0, "number of ucreds in use");
193b2f0927aSRobert Watson SYSCTL_UINT(_security_mac_debug_counters, OID_AUTO, ifnets, CTLFLAG_RD,
19495fab37eSRobert Watson     &nmacifnets, 0, "number of ifnets in use");
195b2f0927aSRobert Watson SYSCTL_UINT(_security_mac_debug_counters, OID_AUTO, ipqs, CTLFLAG_RD,
19695fab37eSRobert Watson     &nmacipqs, 0, "number of ipqs in use");
197b2f0927aSRobert Watson SYSCTL_UINT(_security_mac_debug_counters, OID_AUTO, bpfdescs, CTLFLAG_RD,
19895fab37eSRobert Watson     &nmacbpfdescs, 0, "number of bpfdescs in use");
199b2f0927aSRobert Watson SYSCTL_UINT(_security_mac_debug_counters, OID_AUTO, sockets, CTLFLAG_RD,
20095fab37eSRobert Watson     &nmacsockets, 0, "number of sockets in use");
201b2f0927aSRobert Watson SYSCTL_UINT(_security_mac_debug_counters, OID_AUTO, pipes, CTLFLAG_RD,
20295fab37eSRobert Watson     &nmacpipes, 0, "number of pipes in use");
203b2f0927aSRobert Watson SYSCTL_UINT(_security_mac_debug_counters, OID_AUTO, mounts, CTLFLAG_RD,
20495fab37eSRobert Watson     &nmacmounts, 0, "number of mounts in use");
205b2f0927aSRobert Watson SYSCTL_UINT(_security_mac_debug_counters, OID_AUTO, temp, CTLFLAG_RD,
20695fab37eSRobert Watson     &nmactemp, 0, "number of temporary labels in use");
207b2f0927aSRobert Watson SYSCTL_UINT(_security_mac_debug_counters, OID_AUTO, vnodes, CTLFLAG_RD,
20895fab37eSRobert Watson     &nmacvnodes, 0, "number of vnodes in use");
209b2f0927aSRobert Watson SYSCTL_UINT(_security_mac_debug_counters, OID_AUTO, devfsdirents, CTLFLAG_RD,
21095fab37eSRobert Watson     &nmacdevfsdirents, 0, "number of devfs dirents inuse");
211f050add5SRobert Watson #endif
21295fab37eSRobert Watson 
21395fab37eSRobert Watson static int	error_select(int error1, int error2);
21495fab37eSRobert Watson static int	mac_externalize(struct label *label, struct mac *mac);
21595fab37eSRobert Watson static int	mac_policy_register(struct mac_policy_conf *mpc);
21695fab37eSRobert Watson static int	mac_policy_unregister(struct mac_policy_conf *mpc);
21795fab37eSRobert Watson 
21895fab37eSRobert Watson static int	mac_stdcreatevnode_ea(struct vnode *vp);
21995fab37eSRobert Watson static void	mac_cred_mmapped_drop_perms(struct thread *td,
22095fab37eSRobert Watson 		    struct ucred *cred);
22195fab37eSRobert Watson static void	mac_cred_mmapped_drop_perms_recurse(struct thread *td,
22295fab37eSRobert Watson 		    struct ucred *cred, struct vm_map *map);
22395fab37eSRobert Watson 
22495fab37eSRobert Watson MALLOC_DEFINE(M_MACOPVEC, "macopvec", "MAC policy operation vector");
22595fab37eSRobert Watson MALLOC_DEFINE(M_MACPIPELABEL, "macpipelabel", "MAC labels for pipes");
22695fab37eSRobert Watson 
22795fab37eSRobert Watson /*
22895fab37eSRobert Watson  * mac_policy_list_lock protects the consistency of 'mac_policy_list',
22995fab37eSRobert Watson  * the linked list of attached policy modules.  Read-only consumers of
23095fab37eSRobert Watson  * the list must acquire a shared lock for the duration of their use;
23195fab37eSRobert Watson  * writers must acquire an exclusive lock.  Note that for compound
23295fab37eSRobert Watson  * operations, locks should be held for the entire compound operation,
23395fab37eSRobert Watson  * and that this is not yet done for relabel requests.
23495fab37eSRobert Watson  */
23595fab37eSRobert Watson static struct mtx mac_policy_list_lock;
23695fab37eSRobert Watson static LIST_HEAD(, mac_policy_conf) mac_policy_list;
23795fab37eSRobert Watson static int mac_policy_list_busy;
23895fab37eSRobert Watson #define	MAC_POLICY_LIST_LOCKINIT()	mtx_init(&mac_policy_list_lock,	\
23995fab37eSRobert Watson 	"mac_policy_list_lock", NULL, MTX_DEF);
24095fab37eSRobert Watson #define	MAC_POLICY_LIST_LOCK()	mtx_lock(&mac_policy_list_lock);
24195fab37eSRobert Watson #define	MAC_POLICY_LIST_UNLOCK()	mtx_unlock(&mac_policy_list_lock);
24295fab37eSRobert Watson 
24395fab37eSRobert Watson #define	MAC_POLICY_LIST_BUSY() do {					\
24495fab37eSRobert Watson 	MAC_POLICY_LIST_LOCK();						\
24595fab37eSRobert Watson 	mac_policy_list_busy++;						\
24695fab37eSRobert Watson 	MAC_POLICY_LIST_UNLOCK();					\
24795fab37eSRobert Watson } while (0)
24895fab37eSRobert Watson 
24995fab37eSRobert Watson #define	MAC_POLICY_LIST_UNBUSY() do {					\
25095fab37eSRobert Watson 	MAC_POLICY_LIST_LOCK();						\
25195fab37eSRobert Watson 	mac_policy_list_busy--;						\
25295fab37eSRobert Watson 	if (mac_policy_list_busy < 0)					\
25395fab37eSRobert Watson 		panic("Extra mac_policy_list_busy--");			\
25495fab37eSRobert Watson 	MAC_POLICY_LIST_UNLOCK();					\
25595fab37eSRobert Watson } while (0)
25695fab37eSRobert Watson 
25795fab37eSRobert Watson /*
25895fab37eSRobert Watson  * MAC_CHECK performs the designated check by walking the policy
25995fab37eSRobert Watson  * module list and checking with each as to how it feels about the
26095fab37eSRobert Watson  * request.  Note that it returns its value via 'error' in the scope
26195fab37eSRobert Watson  * of the caller.
26295fab37eSRobert Watson  */
26395fab37eSRobert Watson #define	MAC_CHECK(check, args...) do {					\
26495fab37eSRobert Watson 	struct mac_policy_conf *mpc;					\
26595fab37eSRobert Watson 									\
26695fab37eSRobert Watson 	error = 0;							\
26795fab37eSRobert Watson 	MAC_POLICY_LIST_BUSY();						\
26895fab37eSRobert Watson 	LIST_FOREACH(mpc, &mac_policy_list, mpc_list) {			\
26995fab37eSRobert Watson 		if (mpc->mpc_ops->mpo_ ## check != NULL)		\
27095fab37eSRobert Watson 			error = error_select(				\
27195fab37eSRobert Watson 			    mpc->mpc_ops->mpo_ ## check (args),		\
27295fab37eSRobert Watson 			    error);					\
27395fab37eSRobert Watson 	}								\
27495fab37eSRobert Watson 	MAC_POLICY_LIST_UNBUSY();					\
27595fab37eSRobert Watson } while (0)
27695fab37eSRobert Watson 
27795fab37eSRobert Watson /*
27895fab37eSRobert Watson  * MAC_BOOLEAN performs the designated boolean composition by walking
27995fab37eSRobert Watson  * the module list, invoking each instance of the operation, and
28095fab37eSRobert Watson  * combining the results using the passed C operator.  Note that it
28195fab37eSRobert Watson  * returns its value via 'result' in the scope of the caller, which
28295fab37eSRobert Watson  * should be initialized by the caller in a meaningful way to get
28395fab37eSRobert Watson  * a meaningful result.
28495fab37eSRobert Watson  */
28595fab37eSRobert Watson #define	MAC_BOOLEAN(operation, composition, args...) do {		\
28695fab37eSRobert Watson 	struct mac_policy_conf *mpc;					\
28795fab37eSRobert Watson 									\
28895fab37eSRobert Watson 	MAC_POLICY_LIST_BUSY();						\
28995fab37eSRobert Watson 	LIST_FOREACH(mpc, &mac_policy_list, mpc_list) {			\
29095fab37eSRobert Watson 		if (mpc->mpc_ops->mpo_ ## operation != NULL)		\
29195fab37eSRobert Watson 			result = result composition			\
29295fab37eSRobert Watson 			    mpc->mpc_ops->mpo_ ## operation (args);	\
29395fab37eSRobert Watson 	}								\
29495fab37eSRobert Watson 	MAC_POLICY_LIST_UNBUSY();					\
29595fab37eSRobert Watson } while (0)
29695fab37eSRobert Watson 
29795fab37eSRobert Watson /*
29895fab37eSRobert Watson  * MAC_PERFORM performs the designated operation by walking the policy
29995fab37eSRobert Watson  * module list and invoking that operation for each policy.
30095fab37eSRobert Watson  */
30195fab37eSRobert Watson #define	MAC_PERFORM(operation, args...) do {				\
30295fab37eSRobert Watson 	struct mac_policy_conf *mpc;					\
30395fab37eSRobert Watson 									\
30495fab37eSRobert Watson 	MAC_POLICY_LIST_BUSY();						\
30595fab37eSRobert Watson 	LIST_FOREACH(mpc, &mac_policy_list, mpc_list) {			\
30695fab37eSRobert Watson 		if (mpc->mpc_ops->mpo_ ## operation != NULL)		\
30795fab37eSRobert Watson 			mpc->mpc_ops->mpo_ ## operation (args);		\
30895fab37eSRobert Watson 	}								\
30995fab37eSRobert Watson 	MAC_POLICY_LIST_UNBUSY();					\
31095fab37eSRobert Watson } while (0)
31195fab37eSRobert Watson 
31295fab37eSRobert Watson /*
31395fab37eSRobert Watson  * Initialize the MAC subsystem, including appropriate SMP locks.
31495fab37eSRobert Watson  */
31595fab37eSRobert Watson static void
31695fab37eSRobert Watson mac_init(void)
31795fab37eSRobert Watson {
31895fab37eSRobert Watson 
31995fab37eSRobert Watson 	LIST_INIT(&mac_policy_list);
32095fab37eSRobert Watson 	MAC_POLICY_LIST_LOCKINIT();
32195fab37eSRobert Watson }
32295fab37eSRobert Watson 
32395fab37eSRobert Watson /*
32495fab37eSRobert Watson  * For the purposes of modules that want to know if they were loaded
32595fab37eSRobert Watson  * "early", set the mac_late flag once we've processed modules either
32695fab37eSRobert Watson  * linked into the kernel, or loaded before the kernel startup.
32795fab37eSRobert Watson  */
32895fab37eSRobert Watson static void
32995fab37eSRobert Watson mac_late_init(void)
33095fab37eSRobert Watson {
33195fab37eSRobert Watson 
33295fab37eSRobert Watson 	mac_late = 1;
33395fab37eSRobert Watson }
33495fab37eSRobert Watson 
33595fab37eSRobert Watson /*
33695fab37eSRobert Watson  * Allow MAC policy modules to register during boot, etc.
33795fab37eSRobert Watson  */
33895fab37eSRobert Watson int
33995fab37eSRobert Watson mac_policy_modevent(module_t mod, int type, void *data)
34095fab37eSRobert Watson {
34195fab37eSRobert Watson 	struct mac_policy_conf *mpc;
34295fab37eSRobert Watson 	int error;
34395fab37eSRobert Watson 
34495fab37eSRobert Watson 	error = 0;
34595fab37eSRobert Watson 	mpc = (struct mac_policy_conf *) data;
34695fab37eSRobert Watson 
34795fab37eSRobert Watson 	switch (type) {
34895fab37eSRobert Watson 	case MOD_LOAD:
34995fab37eSRobert Watson 		if (mpc->mpc_loadtime_flags & MPC_LOADTIME_FLAG_NOTLATE &&
35095fab37eSRobert Watson 		    mac_late) {
35195fab37eSRobert Watson 			printf("mac_policy_modevent: can't load %s policy "
35295fab37eSRobert Watson 			    "after booting\n", mpc->mpc_name);
35395fab37eSRobert Watson 			error = EBUSY;
35495fab37eSRobert Watson 			break;
35595fab37eSRobert Watson 		}
35695fab37eSRobert Watson 		error = mac_policy_register(mpc);
35795fab37eSRobert Watson 		break;
35895fab37eSRobert Watson 	case MOD_UNLOAD:
35995fab37eSRobert Watson 		/* Don't unregister the module if it was never registered. */
36095fab37eSRobert Watson 		if ((mpc->mpc_runtime_flags & MPC_RUNTIME_FLAG_REGISTERED)
36195fab37eSRobert Watson 		    != 0)
36295fab37eSRobert Watson 			error = mac_policy_unregister(mpc);
36395fab37eSRobert Watson 		else
36495fab37eSRobert Watson 			error = 0;
36595fab37eSRobert Watson 		break;
36695fab37eSRobert Watson 	default:
36795fab37eSRobert Watson 		break;
36895fab37eSRobert Watson 	}
36995fab37eSRobert Watson 
37095fab37eSRobert Watson 	return (error);
37195fab37eSRobert Watson }
37295fab37eSRobert Watson 
37395fab37eSRobert Watson static int
37495fab37eSRobert Watson mac_policy_register(struct mac_policy_conf *mpc)
37595fab37eSRobert Watson {
37695fab37eSRobert Watson 	struct mac_policy_conf *tmpc;
37795fab37eSRobert Watson 	struct mac_policy_op_entry *mpe;
37895fab37eSRobert Watson 	int slot;
37995fab37eSRobert Watson 
380cc51a2b5SRobert Watson 	MALLOC(mpc->mpc_ops, struct mac_policy_ops *, sizeof(*mpc->mpc_ops),
381cc51a2b5SRobert Watson 	    M_MACOPVEC, M_WAITOK | M_ZERO);
38295fab37eSRobert Watson 	for (mpe = mpc->mpc_entries; mpe->mpe_constant != MAC_OP_LAST; mpe++) {
38395fab37eSRobert Watson 		switch (mpe->mpe_constant) {
38495fab37eSRobert Watson 		case MAC_OP_LAST:
38595fab37eSRobert Watson 			/*
38695fab37eSRobert Watson 			 * Doesn't actually happen, but this allows checking
38795fab37eSRobert Watson 			 * that all enumerated values are handled.
38895fab37eSRobert Watson 			 */
38995fab37eSRobert Watson 			break;
39095fab37eSRobert Watson 		case MAC_DESTROY:
39195fab37eSRobert Watson 			mpc->mpc_ops->mpo_destroy =
39295fab37eSRobert Watson 			    mpe->mpe_function;
39395fab37eSRobert Watson 			break;
39495fab37eSRobert Watson 		case MAC_INIT:
39595fab37eSRobert Watson 			mpc->mpc_ops->mpo_init =
39695fab37eSRobert Watson 			    mpe->mpe_function;
39795fab37eSRobert Watson 			break;
39827f2eac7SRobert Watson 		case MAC_SYSCALL:
39927f2eac7SRobert Watson 			mpc->mpc_ops->mpo_syscall =
40027f2eac7SRobert Watson 			    mpe->mpe_function;
40127f2eac7SRobert Watson 			break;
40296adb909SRobert Watson 		case MAC_INIT_BPFDESC_LABEL:
40396adb909SRobert Watson 			mpc->mpc_ops->mpo_init_bpfdesc_label =
40495fab37eSRobert Watson 			    mpe->mpe_function;
40595fab37eSRobert Watson 			break;
40696adb909SRobert Watson 		case MAC_INIT_CRED_LABEL:
40796adb909SRobert Watson 			mpc->mpc_ops->mpo_init_cred_label =
40895fab37eSRobert Watson 			    mpe->mpe_function;
40995fab37eSRobert Watson 			break;
41096adb909SRobert Watson 		case MAC_INIT_DEVFSDIRENT_LABEL:
41196adb909SRobert Watson 			mpc->mpc_ops->mpo_init_devfsdirent_label =
41295fab37eSRobert Watson 			    mpe->mpe_function;
41395fab37eSRobert Watson 			break;
41496adb909SRobert Watson 		case MAC_INIT_IFNET_LABEL:
41596adb909SRobert Watson 			mpc->mpc_ops->mpo_init_ifnet_label =
41695fab37eSRobert Watson 			    mpe->mpe_function;
41795fab37eSRobert Watson 			break;
41896adb909SRobert Watson 		case MAC_INIT_IPQ_LABEL:
41996adb909SRobert Watson 			mpc->mpc_ops->mpo_init_ipq_label =
42095fab37eSRobert Watson 			    mpe->mpe_function;
42195fab37eSRobert Watson 			break;
42296adb909SRobert Watson 		case MAC_INIT_MBUF_LABEL:
42396adb909SRobert Watson 			mpc->mpc_ops->mpo_init_mbuf_label =
42495fab37eSRobert Watson 			    mpe->mpe_function;
42595fab37eSRobert Watson 			break;
42696adb909SRobert Watson 		case MAC_INIT_MOUNT_LABEL:
42796adb909SRobert Watson 			mpc->mpc_ops->mpo_init_mount_label =
42895fab37eSRobert Watson 			    mpe->mpe_function;
42995fab37eSRobert Watson 			break;
43096adb909SRobert Watson 		case MAC_INIT_MOUNT_FS_LABEL:
43196adb909SRobert Watson 			mpc->mpc_ops->mpo_init_mount_fs_label =
43295fab37eSRobert Watson 			    mpe->mpe_function;
43395fab37eSRobert Watson 			break;
43496adb909SRobert Watson 		case MAC_INIT_PIPE_LABEL:
43596adb909SRobert Watson 			mpc->mpc_ops->mpo_init_pipe_label =
43695fab37eSRobert Watson 			    mpe->mpe_function;
43795fab37eSRobert Watson 			break;
43896adb909SRobert Watson 		case MAC_INIT_SOCKET_LABEL:
43996adb909SRobert Watson 			mpc->mpc_ops->mpo_init_socket_label =
44095fab37eSRobert Watson 			    mpe->mpe_function;
44195fab37eSRobert Watson 			break;
44296adb909SRobert Watson 		case MAC_INIT_SOCKET_PEER_LABEL:
44396adb909SRobert Watson 			mpc->mpc_ops->mpo_init_socket_peer_label =
44495fab37eSRobert Watson 			    mpe->mpe_function;
44595fab37eSRobert Watson 			break;
44696adb909SRobert Watson 		case MAC_INIT_TEMP_LABEL:
44796adb909SRobert Watson 			mpc->mpc_ops->mpo_init_temp_label =
44895fab37eSRobert Watson 			    mpe->mpe_function;
44995fab37eSRobert Watson 			break;
45096adb909SRobert Watson 		case MAC_INIT_VNODE_LABEL:
45196adb909SRobert Watson 			mpc->mpc_ops->mpo_init_vnode_label =
45295fab37eSRobert Watson 			    mpe->mpe_function;
45395fab37eSRobert Watson 			break;
45496adb909SRobert Watson 		case MAC_DESTROY_BPFDESC_LABEL:
45596adb909SRobert Watson 			mpc->mpc_ops->mpo_destroy_bpfdesc_label =
45695fab37eSRobert Watson 			    mpe->mpe_function;
45795fab37eSRobert Watson 			break;
45896adb909SRobert Watson 		case MAC_DESTROY_CRED_LABEL:
45996adb909SRobert Watson 			mpc->mpc_ops->mpo_destroy_cred_label =
46095fab37eSRobert Watson 			    mpe->mpe_function;
46195fab37eSRobert Watson 			break;
46296adb909SRobert Watson 		case MAC_DESTROY_DEVFSDIRENT_LABEL:
46396adb909SRobert Watson 			mpc->mpc_ops->mpo_destroy_devfsdirent_label =
46495fab37eSRobert Watson 			    mpe->mpe_function;
46595fab37eSRobert Watson 			break;
46696adb909SRobert Watson 		case MAC_DESTROY_IFNET_LABEL:
46796adb909SRobert Watson 			mpc->mpc_ops->mpo_destroy_ifnet_label =
46895fab37eSRobert Watson 			    mpe->mpe_function;
46995fab37eSRobert Watson 			break;
47096adb909SRobert Watson 		case MAC_DESTROY_IPQ_LABEL:
47196adb909SRobert Watson 			mpc->mpc_ops->mpo_destroy_ipq_label =
47295fab37eSRobert Watson 			    mpe->mpe_function;
47395fab37eSRobert Watson 			break;
47496adb909SRobert Watson 		case MAC_DESTROY_MBUF_LABEL:
47596adb909SRobert Watson 			mpc->mpc_ops->mpo_destroy_mbuf_label =
47695fab37eSRobert Watson 			    mpe->mpe_function;
47795fab37eSRobert Watson 			break;
47896adb909SRobert Watson 		case MAC_DESTROY_MOUNT_LABEL:
47996adb909SRobert Watson 			mpc->mpc_ops->mpo_destroy_mount_label =
48095fab37eSRobert Watson 			    mpe->mpe_function;
48195fab37eSRobert Watson 			break;
48296adb909SRobert Watson 		case MAC_DESTROY_MOUNT_FS_LABEL:
48396adb909SRobert Watson 			mpc->mpc_ops->mpo_destroy_mount_fs_label =
48495fab37eSRobert Watson 			    mpe->mpe_function;
48595fab37eSRobert Watson 			break;
48696adb909SRobert Watson 		case MAC_DESTROY_PIPE_LABEL:
48796adb909SRobert Watson 			mpc->mpc_ops->mpo_destroy_pipe_label =
48896adb909SRobert Watson 			    mpe->mpe_function;
48996adb909SRobert Watson 			break;
49096adb909SRobert Watson 		case MAC_DESTROY_SOCKET_LABEL:
49196adb909SRobert Watson 			mpc->mpc_ops->mpo_destroy_socket_label =
49296adb909SRobert Watson 			    mpe->mpe_function;
49396adb909SRobert Watson 			break;
49496adb909SRobert Watson 		case MAC_DESTROY_SOCKET_PEER_LABEL:
49596adb909SRobert Watson 			mpc->mpc_ops->mpo_destroy_socket_peer_label =
49696adb909SRobert Watson 			    mpe->mpe_function;
49796adb909SRobert Watson 			break;
49896adb909SRobert Watson 		case MAC_DESTROY_TEMP_LABEL:
49996adb909SRobert Watson 			mpc->mpc_ops->mpo_destroy_temp_label =
50096adb909SRobert Watson 			    mpe->mpe_function;
50196adb909SRobert Watson 			break;
50296adb909SRobert Watson 		case MAC_DESTROY_VNODE_LABEL:
50396adb909SRobert Watson 			mpc->mpc_ops->mpo_destroy_vnode_label =
50495fab37eSRobert Watson 			    mpe->mpe_function;
50595fab37eSRobert Watson 			break;
50695fab37eSRobert Watson 		case MAC_EXTERNALIZE:
50795fab37eSRobert Watson 			mpc->mpc_ops->mpo_externalize =
50895fab37eSRobert Watson 			    mpe->mpe_function;
50995fab37eSRobert Watson 			break;
51095fab37eSRobert Watson 		case MAC_INTERNALIZE:
51195fab37eSRobert Watson 			mpc->mpc_ops->mpo_internalize =
51295fab37eSRobert Watson 			    mpe->mpe_function;
51395fab37eSRobert Watson 			break;
51495fab37eSRobert Watson 		case MAC_CREATE_DEVFS_DEVICE:
51595fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_devfs_device =
51695fab37eSRobert Watson 			    mpe->mpe_function;
51795fab37eSRobert Watson 			break;
51895fab37eSRobert Watson 		case MAC_CREATE_DEVFS_DIRECTORY:
51995fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_devfs_directory =
52095fab37eSRobert Watson 			    mpe->mpe_function;
52195fab37eSRobert Watson 			break;
52295fab37eSRobert Watson 		case MAC_CREATE_DEVFS_VNODE:
52395fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_devfs_vnode =
52495fab37eSRobert Watson 			    mpe->mpe_function;
52595fab37eSRobert Watson 			break;
52695fab37eSRobert Watson 		case MAC_STDCREATEVNODE_EA:
52795fab37eSRobert Watson 			mpc->mpc_ops->mpo_stdcreatevnode_ea =
52895fab37eSRobert Watson 			    mpe->mpe_function;
52995fab37eSRobert Watson 			break;
53095fab37eSRobert Watson 		case MAC_CREATE_VNODE:
53195fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_vnode =
53295fab37eSRobert Watson 			    mpe->mpe_function;
53395fab37eSRobert Watson 			break;
53495fab37eSRobert Watson 		case MAC_CREATE_MOUNT:
53595fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_mount =
53695fab37eSRobert Watson 			    mpe->mpe_function;
53795fab37eSRobert Watson 			break;
53895fab37eSRobert Watson 		case MAC_CREATE_ROOT_MOUNT:
53995fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_root_mount =
54095fab37eSRobert Watson 			    mpe->mpe_function;
54195fab37eSRobert Watson 			break;
54295fab37eSRobert Watson 		case MAC_RELABEL_VNODE:
54395fab37eSRobert Watson 			mpc->mpc_ops->mpo_relabel_vnode =
54495fab37eSRobert Watson 			    mpe->mpe_function;
54595fab37eSRobert Watson 			break;
54695fab37eSRobert Watson 		case MAC_UPDATE_DEVFSDIRENT:
54795fab37eSRobert Watson 			mpc->mpc_ops->mpo_update_devfsdirent =
54895fab37eSRobert Watson 			    mpe->mpe_function;
54995fab37eSRobert Watson 			break;
55095fab37eSRobert Watson 		case MAC_UPDATE_PROCFSVNODE:
55195fab37eSRobert Watson 			mpc->mpc_ops->mpo_update_procfsvnode =
55295fab37eSRobert Watson 			    mpe->mpe_function;
55395fab37eSRobert Watson 			break;
55495fab37eSRobert Watson 		case MAC_UPDATE_VNODE_FROM_EXTATTR:
55595fab37eSRobert Watson 			mpc->mpc_ops->mpo_update_vnode_from_extattr =
55695fab37eSRobert Watson 			    mpe->mpe_function;
55795fab37eSRobert Watson 			break;
55895fab37eSRobert Watson 		case MAC_UPDATE_VNODE_FROM_EXTERNALIZED:
55995fab37eSRobert Watson 			mpc->mpc_ops->mpo_update_vnode_from_externalized =
56095fab37eSRobert Watson 			    mpe->mpe_function;
56195fab37eSRobert Watson 			break;
56295fab37eSRobert Watson 		case MAC_UPDATE_VNODE_FROM_MOUNT:
56395fab37eSRobert Watson 			mpc->mpc_ops->mpo_update_vnode_from_mount =
56495fab37eSRobert Watson 			    mpe->mpe_function;
56595fab37eSRobert Watson 			break;
56695fab37eSRobert Watson 		case MAC_CREATE_MBUF_FROM_SOCKET:
56795fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_mbuf_from_socket =
56895fab37eSRobert Watson 			    mpe->mpe_function;
56995fab37eSRobert Watson 			break;
57095fab37eSRobert Watson 		case MAC_CREATE_PIPE:
57195fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_pipe =
57295fab37eSRobert Watson 			    mpe->mpe_function;
57395fab37eSRobert Watson 			break;
57495fab37eSRobert Watson 		case MAC_CREATE_SOCKET:
57595fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_socket =
57695fab37eSRobert Watson 			    mpe->mpe_function;
57795fab37eSRobert Watson 			break;
57895fab37eSRobert Watson 		case MAC_CREATE_SOCKET_FROM_SOCKET:
57995fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_socket_from_socket =
58095fab37eSRobert Watson 			    mpe->mpe_function;
58195fab37eSRobert Watson 			break;
58295fab37eSRobert Watson 		case MAC_RELABEL_PIPE:
58395fab37eSRobert Watson 			mpc->mpc_ops->mpo_relabel_pipe =
58495fab37eSRobert Watson 			    mpe->mpe_function;
58595fab37eSRobert Watson 			break;
58695fab37eSRobert Watson 		case MAC_RELABEL_SOCKET:
58795fab37eSRobert Watson 			mpc->mpc_ops->mpo_relabel_socket =
58895fab37eSRobert Watson 			    mpe->mpe_function;
58995fab37eSRobert Watson 			break;
59095fab37eSRobert Watson 		case MAC_SET_SOCKET_PEER_FROM_MBUF:
59195fab37eSRobert Watson 			mpc->mpc_ops->mpo_set_socket_peer_from_mbuf =
59295fab37eSRobert Watson 			    mpe->mpe_function;
59395fab37eSRobert Watson 			break;
59495fab37eSRobert Watson 		case MAC_SET_SOCKET_PEER_FROM_SOCKET:
59595fab37eSRobert Watson 			mpc->mpc_ops->mpo_set_socket_peer_from_socket =
59695fab37eSRobert Watson 			    mpe->mpe_function;
59795fab37eSRobert Watson 			break;
59895fab37eSRobert Watson 		case MAC_CREATE_BPFDESC:
59995fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_bpfdesc =
60095fab37eSRobert Watson 			    mpe->mpe_function;
60195fab37eSRobert Watson 			break;
60295fab37eSRobert Watson 		case MAC_CREATE_DATAGRAM_FROM_IPQ:
60395fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_datagram_from_ipq =
60495fab37eSRobert Watson 			    mpe->mpe_function;
60595fab37eSRobert Watson 			break;
60695fab37eSRobert Watson 		case MAC_CREATE_FRAGMENT:
60795fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_fragment =
60895fab37eSRobert Watson 			    mpe->mpe_function;
60995fab37eSRobert Watson 			break;
61095fab37eSRobert Watson 		case MAC_CREATE_IFNET:
61195fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_ifnet =
61295fab37eSRobert Watson 			    mpe->mpe_function;
61395fab37eSRobert Watson 			break;
61495fab37eSRobert Watson 		case MAC_CREATE_IPQ:
61595fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_ipq =
61695fab37eSRobert Watson 			    mpe->mpe_function;
61795fab37eSRobert Watson 			break;
61895fab37eSRobert Watson 		case MAC_CREATE_MBUF_FROM_MBUF:
61995fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_mbuf_from_mbuf =
62095fab37eSRobert Watson 			    mpe->mpe_function;
62195fab37eSRobert Watson 			break;
62295fab37eSRobert Watson 		case MAC_CREATE_MBUF_LINKLAYER:
62395fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_mbuf_linklayer =
62495fab37eSRobert Watson 			    mpe->mpe_function;
62595fab37eSRobert Watson 			break;
62695fab37eSRobert Watson 		case MAC_CREATE_MBUF_FROM_BPFDESC:
62795fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_mbuf_from_bpfdesc =
62895fab37eSRobert Watson 			    mpe->mpe_function;
62995fab37eSRobert Watson 			break;
63095fab37eSRobert Watson 		case MAC_CREATE_MBUF_FROM_IFNET:
63195fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_mbuf_from_ifnet =
63295fab37eSRobert Watson 			    mpe->mpe_function;
63395fab37eSRobert Watson 			break;
63495fab37eSRobert Watson 		case MAC_CREATE_MBUF_MULTICAST_ENCAP:
63595fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_mbuf_multicast_encap =
63695fab37eSRobert Watson 			    mpe->mpe_function;
63795fab37eSRobert Watson 			break;
63895fab37eSRobert Watson 		case MAC_CREATE_MBUF_NETLAYER:
63995fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_mbuf_netlayer =
64095fab37eSRobert Watson 			    mpe->mpe_function;
64195fab37eSRobert Watson 			break;
64295fab37eSRobert Watson 		case MAC_FRAGMENT_MATCH:
64395fab37eSRobert Watson 			mpc->mpc_ops->mpo_fragment_match =
64495fab37eSRobert Watson 			    mpe->mpe_function;
64595fab37eSRobert Watson 			break;
64695fab37eSRobert Watson 		case MAC_RELABEL_IFNET:
64795fab37eSRobert Watson 			mpc->mpc_ops->mpo_relabel_ifnet =
64895fab37eSRobert Watson 			    mpe->mpe_function;
64995fab37eSRobert Watson 			break;
65095fab37eSRobert Watson 		case MAC_UPDATE_IPQ:
65195fab37eSRobert Watson 			mpc->mpc_ops->mpo_update_ipq =
65295fab37eSRobert Watson 			    mpe->mpe_function;
65395fab37eSRobert Watson 			break;
65495fab37eSRobert Watson 		case MAC_CREATE_CRED:
65595fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_cred =
65695fab37eSRobert Watson 			    mpe->mpe_function;
65795fab37eSRobert Watson 			break;
65895fab37eSRobert Watson 		case MAC_EXECVE_TRANSITION:
65995fab37eSRobert Watson 			mpc->mpc_ops->mpo_execve_transition =
66095fab37eSRobert Watson 			    mpe->mpe_function;
66195fab37eSRobert Watson 			break;
66295fab37eSRobert Watson 		case MAC_EXECVE_WILL_TRANSITION:
66395fab37eSRobert Watson 			mpc->mpc_ops->mpo_execve_will_transition =
66495fab37eSRobert Watson 			    mpe->mpe_function;
66595fab37eSRobert Watson 			break;
66695fab37eSRobert Watson 		case MAC_CREATE_PROC0:
66795fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_proc0 = mpe->mpe_function;
66895fab37eSRobert Watson 			break;
66995fab37eSRobert Watson 		case MAC_CREATE_PROC1:
67095fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_proc1 = mpe->mpe_function;
67195fab37eSRobert Watson 			break;
67295fab37eSRobert Watson 		case MAC_RELABEL_CRED:
67395fab37eSRobert Watson 			mpc->mpc_ops->mpo_relabel_cred =
67495fab37eSRobert Watson 			    mpe->mpe_function;
67595fab37eSRobert Watson 			break;
67692dbb82aSRobert Watson 		case MAC_THREAD_USERRET:
67792dbb82aSRobert Watson 			mpc->mpc_ops->mpo_thread_userret =
67892dbb82aSRobert Watson 			    mpe->mpe_function;
67992dbb82aSRobert Watson 			break;
68095fab37eSRobert Watson 		case MAC_CHECK_BPFDESC_RECEIVE:
68195fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_bpfdesc_receive =
68295fab37eSRobert Watson 			    mpe->mpe_function;
68395fab37eSRobert Watson 			break;
68495fab37eSRobert Watson 		case MAC_CHECK_CRED_RELABEL:
68595fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_cred_relabel =
68695fab37eSRobert Watson 			    mpe->mpe_function;
68795fab37eSRobert Watson 			break;
68895fab37eSRobert Watson 		case MAC_CHECK_CRED_VISIBLE:
68995fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_cred_visible =
69095fab37eSRobert Watson 			    mpe->mpe_function;
69195fab37eSRobert Watson 			break;
69295fab37eSRobert Watson 		case MAC_CHECK_IFNET_RELABEL:
69395fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_ifnet_relabel =
69495fab37eSRobert Watson 			    mpe->mpe_function;
69595fab37eSRobert Watson 			break;
69695fab37eSRobert Watson 		case MAC_CHECK_IFNET_TRANSMIT:
69795fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_ifnet_transmit =
69895fab37eSRobert Watson 			    mpe->mpe_function;
69995fab37eSRobert Watson 			break;
70095fab37eSRobert Watson 		case MAC_CHECK_MOUNT_STAT:
70195fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_mount_stat =
70295fab37eSRobert Watson 			    mpe->mpe_function;
70395fab37eSRobert Watson 			break;
70495fab37eSRobert Watson 		case MAC_CHECK_PIPE_IOCTL:
70595fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_pipe_ioctl =
70695fab37eSRobert Watson 			    mpe->mpe_function;
70795fab37eSRobert Watson 			break;
708c024c3eeSRobert Watson 		case MAC_CHECK_PIPE_POLL:
709c024c3eeSRobert Watson 			mpc->mpc_ops->mpo_check_pipe_poll =
710c024c3eeSRobert Watson 			    mpe->mpe_function;
711c024c3eeSRobert Watson 			break;
712c024c3eeSRobert Watson 		case MAC_CHECK_PIPE_READ:
713c024c3eeSRobert Watson 			mpc->mpc_ops->mpo_check_pipe_read =
71495fab37eSRobert Watson 			    mpe->mpe_function;
71595fab37eSRobert Watson 			break;
71695fab37eSRobert Watson 		case MAC_CHECK_PIPE_RELABEL:
71795fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_pipe_relabel =
71895fab37eSRobert Watson 			    mpe->mpe_function;
71995fab37eSRobert Watson 			break;
720c024c3eeSRobert Watson 		case MAC_CHECK_PIPE_STAT:
721c024c3eeSRobert Watson 			mpc->mpc_ops->mpo_check_pipe_stat =
722c024c3eeSRobert Watson 			    mpe->mpe_function;
723c024c3eeSRobert Watson 			break;
724c024c3eeSRobert Watson 		case MAC_CHECK_PIPE_WRITE:
725c024c3eeSRobert Watson 			mpc->mpc_ops->mpo_check_pipe_write =
726c024c3eeSRobert Watson 			    mpe->mpe_function;
727c024c3eeSRobert Watson 			break;
72895fab37eSRobert Watson 		case MAC_CHECK_PROC_DEBUG:
72995fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_proc_debug =
73095fab37eSRobert Watson 			    mpe->mpe_function;
73195fab37eSRobert Watson 			break;
73295fab37eSRobert Watson 		case MAC_CHECK_PROC_SCHED:
73395fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_proc_sched =
73495fab37eSRobert Watson 			    mpe->mpe_function;
73595fab37eSRobert Watson 			break;
73695fab37eSRobert Watson 		case MAC_CHECK_PROC_SIGNAL:
73795fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_proc_signal =
73895fab37eSRobert Watson 			    mpe->mpe_function;
73995fab37eSRobert Watson 			break;
74095fab37eSRobert Watson 		case MAC_CHECK_SOCKET_BIND:
74195fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_socket_bind =
74295fab37eSRobert Watson 			    mpe->mpe_function;
74395fab37eSRobert Watson 			break;
74495fab37eSRobert Watson 		case MAC_CHECK_SOCKET_CONNECT:
74595fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_socket_connect =
74695fab37eSRobert Watson 			    mpe->mpe_function;
74795fab37eSRobert Watson 			break;
748d61198e4SRobert Watson 		case MAC_CHECK_SOCKET_DELIVER:
749d61198e4SRobert Watson 			mpc->mpc_ops->mpo_check_socket_deliver =
75095fab37eSRobert Watson 			    mpe->mpe_function;
75195fab37eSRobert Watson 			break;
752d61198e4SRobert Watson 		case MAC_CHECK_SOCKET_LISTEN:
753d61198e4SRobert Watson 			mpc->mpc_ops->mpo_check_socket_listen =
75495fab37eSRobert Watson 			    mpe->mpe_function;
75595fab37eSRobert Watson 			break;
75695fab37eSRobert Watson 		case MAC_CHECK_SOCKET_RELABEL:
75795fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_socket_relabel =
75895fab37eSRobert Watson 			    mpe->mpe_function;
75995fab37eSRobert Watson 			break;
76095fab37eSRobert Watson 		case MAC_CHECK_SOCKET_VISIBLE:
76195fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_socket_visible =
76295fab37eSRobert Watson 			    mpe->mpe_function;
76395fab37eSRobert Watson 			break;
76495fab37eSRobert Watson 		case MAC_CHECK_VNODE_ACCESS:
76595fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_access =
76695fab37eSRobert Watson 			    mpe->mpe_function;
76795fab37eSRobert Watson 			break;
76895fab37eSRobert Watson 		case MAC_CHECK_VNODE_CHDIR:
76995fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_chdir =
77095fab37eSRobert Watson 			    mpe->mpe_function;
77195fab37eSRobert Watson 			break;
77295fab37eSRobert Watson 		case MAC_CHECK_VNODE_CHROOT:
77395fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_chroot =
77495fab37eSRobert Watson 			    mpe->mpe_function;
77595fab37eSRobert Watson 			break;
77695fab37eSRobert Watson 		case MAC_CHECK_VNODE_CREATE:
77795fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_create =
77895fab37eSRobert Watson 			    mpe->mpe_function;
77995fab37eSRobert Watson 			break;
78095fab37eSRobert Watson 		case MAC_CHECK_VNODE_DELETE:
78195fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_delete =
78295fab37eSRobert Watson 			    mpe->mpe_function;
78395fab37eSRobert Watson 			break;
78495fab37eSRobert Watson 		case MAC_CHECK_VNODE_DELETEACL:
78595fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_deleteacl =
78695fab37eSRobert Watson 			    mpe->mpe_function;
78795fab37eSRobert Watson 			break;
78895fab37eSRobert Watson 		case MAC_CHECK_VNODE_EXEC:
78995fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_exec =
79095fab37eSRobert Watson 			    mpe->mpe_function;
79195fab37eSRobert Watson 			break;
79295fab37eSRobert Watson 		case MAC_CHECK_VNODE_GETACL:
79395fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_getacl =
79495fab37eSRobert Watson 			    mpe->mpe_function;
79595fab37eSRobert Watson 			break;
79695fab37eSRobert Watson 		case MAC_CHECK_VNODE_GETEXTATTR:
79795fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_getextattr =
79895fab37eSRobert Watson 			    mpe->mpe_function;
79995fab37eSRobert Watson 			break;
80095fab37eSRobert Watson 		case MAC_CHECK_VNODE_LOOKUP:
80195fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_lookup =
80295fab37eSRobert Watson 			    mpe->mpe_function;
80395fab37eSRobert Watson 			break;
80495fab37eSRobert Watson 		case MAC_CHECK_VNODE_MMAP_PERMS:
80595fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_mmap_perms =
80695fab37eSRobert Watson 			    mpe->mpe_function;
80795fab37eSRobert Watson 			break;
80895fab37eSRobert Watson 		case MAC_CHECK_VNODE_OPEN:
80995fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_open =
81095fab37eSRobert Watson 			    mpe->mpe_function;
81195fab37eSRobert Watson 			break;
8127f724f8bSRobert Watson 		case MAC_CHECK_VNODE_POLL:
8137f724f8bSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_poll =
8147f724f8bSRobert Watson 			    mpe->mpe_function;
8157f724f8bSRobert Watson 			break;
8167f724f8bSRobert Watson 		case MAC_CHECK_VNODE_READ:
8177f724f8bSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_read =
8187f724f8bSRobert Watson 			    mpe->mpe_function;
8197f724f8bSRobert Watson 			break;
82095fab37eSRobert Watson 		case MAC_CHECK_VNODE_READDIR:
82195fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_readdir =
82295fab37eSRobert Watson 			    mpe->mpe_function;
82395fab37eSRobert Watson 			break;
82495fab37eSRobert Watson 		case MAC_CHECK_VNODE_READLINK:
82595fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_readlink =
82695fab37eSRobert Watson 			    mpe->mpe_function;
82795fab37eSRobert Watson 			break;
82895fab37eSRobert Watson 		case MAC_CHECK_VNODE_RELABEL:
82995fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_relabel =
83095fab37eSRobert Watson 			    mpe->mpe_function;
83195fab37eSRobert Watson 			break;
83295fab37eSRobert Watson 		case MAC_CHECK_VNODE_RENAME_FROM:
83395fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_rename_from =
83495fab37eSRobert Watson 			    mpe->mpe_function;
83595fab37eSRobert Watson 			break;
83695fab37eSRobert Watson 		case MAC_CHECK_VNODE_RENAME_TO:
83795fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_rename_to =
83895fab37eSRobert Watson 			    mpe->mpe_function;
83995fab37eSRobert Watson 			break;
84095fab37eSRobert Watson 		case MAC_CHECK_VNODE_REVOKE:
84195fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_revoke =
84295fab37eSRobert Watson 			    mpe->mpe_function;
84395fab37eSRobert Watson 			break;
84495fab37eSRobert Watson 		case MAC_CHECK_VNODE_SETACL:
84595fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_setacl =
84695fab37eSRobert Watson 			    mpe->mpe_function;
84795fab37eSRobert Watson 			break;
84895fab37eSRobert Watson 		case MAC_CHECK_VNODE_SETEXTATTR:
84995fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_setextattr =
85095fab37eSRobert Watson 			    mpe->mpe_function;
85195fab37eSRobert Watson 			break;
85295fab37eSRobert Watson 		case MAC_CHECK_VNODE_SETFLAGS:
85395fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_setflags =
85495fab37eSRobert Watson 			    mpe->mpe_function;
85595fab37eSRobert Watson 			break;
85695fab37eSRobert Watson 		case MAC_CHECK_VNODE_SETMODE:
85795fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_setmode =
85895fab37eSRobert Watson 			    mpe->mpe_function;
85995fab37eSRobert Watson 			break;
86095fab37eSRobert Watson 		case MAC_CHECK_VNODE_SETOWNER:
86195fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_setowner =
86295fab37eSRobert Watson 			    mpe->mpe_function;
86395fab37eSRobert Watson 			break;
86495fab37eSRobert Watson 		case MAC_CHECK_VNODE_SETUTIMES:
86595fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_setutimes =
86695fab37eSRobert Watson 			    mpe->mpe_function;
86795fab37eSRobert Watson 			break;
86895fab37eSRobert Watson 		case MAC_CHECK_VNODE_STAT:
86995fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_stat =
87095fab37eSRobert Watson 			    mpe->mpe_function;
87195fab37eSRobert Watson 			break;
8727f724f8bSRobert Watson 		case MAC_CHECK_VNODE_WRITE:
8737f724f8bSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_write =
8747f724f8bSRobert Watson 			    mpe->mpe_function;
8757f724f8bSRobert Watson 			break;
87695fab37eSRobert Watson /*
87795fab37eSRobert Watson 		default:
87895fab37eSRobert Watson 			printf("MAC policy `%s': unknown operation %d\n",
87995fab37eSRobert Watson 			    mpc->mpc_name, mpe->mpe_constant);
88095fab37eSRobert Watson 			return (EINVAL);
88195fab37eSRobert Watson */
88295fab37eSRobert Watson 		}
88395fab37eSRobert Watson 	}
88495fab37eSRobert Watson 	MAC_POLICY_LIST_LOCK();
88595fab37eSRobert Watson 	if (mac_policy_list_busy > 0) {
88695fab37eSRobert Watson 		MAC_POLICY_LIST_UNLOCK();
88795fab37eSRobert Watson 		FREE(mpc->mpc_ops, M_MACOPVEC);
88895fab37eSRobert Watson 		mpc->mpc_ops = NULL;
88995fab37eSRobert Watson 		return (EBUSY);
89095fab37eSRobert Watson 	}
89195fab37eSRobert Watson 	LIST_FOREACH(tmpc, &mac_policy_list, mpc_list) {
89295fab37eSRobert Watson 		if (strcmp(tmpc->mpc_name, mpc->mpc_name) == 0) {
89395fab37eSRobert Watson 			MAC_POLICY_LIST_UNLOCK();
89495fab37eSRobert Watson 			FREE(mpc->mpc_ops, M_MACOPVEC);
89595fab37eSRobert Watson 			mpc->mpc_ops = NULL;
89695fab37eSRobert Watson 			return (EEXIST);
89795fab37eSRobert Watson 		}
89895fab37eSRobert Watson 	}
89995fab37eSRobert Watson 	if (mpc->mpc_field_off != NULL) {
90095fab37eSRobert Watson 		slot = ffs(mac_policy_offsets_free);
90195fab37eSRobert Watson 		if (slot == 0) {
90295fab37eSRobert Watson 			MAC_POLICY_LIST_UNLOCK();
90395fab37eSRobert Watson 			FREE(mpc->mpc_ops, M_MACOPVEC);
90495fab37eSRobert Watson 			mpc->mpc_ops = NULL;
90595fab37eSRobert Watson 			return (ENOMEM);
90695fab37eSRobert Watson 		}
90795fab37eSRobert Watson 		slot--;
90895fab37eSRobert Watson 		mac_policy_offsets_free &= ~(1 << slot);
90995fab37eSRobert Watson 		*mpc->mpc_field_off = slot;
91095fab37eSRobert Watson 	}
91195fab37eSRobert Watson 	mpc->mpc_runtime_flags |= MPC_RUNTIME_FLAG_REGISTERED;
91295fab37eSRobert Watson 	LIST_INSERT_HEAD(&mac_policy_list, mpc, mpc_list);
91395fab37eSRobert Watson 
91495fab37eSRobert Watson 	/* Per-policy initialization. */
91595fab37eSRobert Watson 	if (mpc->mpc_ops->mpo_init != NULL)
91695fab37eSRobert Watson 		(*(mpc->mpc_ops->mpo_init))(mpc);
91795fab37eSRobert Watson 	MAC_POLICY_LIST_UNLOCK();
91895fab37eSRobert Watson 
91995fab37eSRobert Watson 	printf("Security policy loaded: %s (%s)\n", mpc->mpc_fullname,
92095fab37eSRobert Watson 	    mpc->mpc_name);
92195fab37eSRobert Watson 
92295fab37eSRobert Watson 	return (0);
92395fab37eSRobert Watson }
92495fab37eSRobert Watson 
92595fab37eSRobert Watson static int
92695fab37eSRobert Watson mac_policy_unregister(struct mac_policy_conf *mpc)
92795fab37eSRobert Watson {
92895fab37eSRobert Watson 
92995fab37eSRobert Watson #if 0
93095fab37eSRobert Watson 	/*
93195fab37eSRobert Watson 	 * Don't allow unloading modules with private data.
93295fab37eSRobert Watson 	 */
93395fab37eSRobert Watson 	if (mpc->mpc_field_off != NULL)
93495fab37eSRobert Watson 		return (EBUSY);
93595fab37eSRobert Watson #endif
93695fab37eSRobert Watson 	if ((mpc->mpc_loadtime_flags & MPC_LOADTIME_FLAG_UNLOADOK) == 0)
93795fab37eSRobert Watson 		return (EBUSY);
93895fab37eSRobert Watson 	MAC_POLICY_LIST_LOCK();
93995fab37eSRobert Watson 	if (mac_policy_list_busy > 0) {
94095fab37eSRobert Watson 		MAC_POLICY_LIST_UNLOCK();
94195fab37eSRobert Watson 		return (EBUSY);
94295fab37eSRobert Watson 	}
94395fab37eSRobert Watson 	if (mpc->mpc_ops->mpo_destroy != NULL)
94495fab37eSRobert Watson 		(*(mpc->mpc_ops->mpo_destroy))(mpc);
94595fab37eSRobert Watson 
94695fab37eSRobert Watson 	LIST_REMOVE(mpc, mpc_list);
94795fab37eSRobert Watson 	MAC_POLICY_LIST_UNLOCK();
94895fab37eSRobert Watson 
94995fab37eSRobert Watson 	FREE(mpc->mpc_ops, M_MACOPVEC);
95095fab37eSRobert Watson 	mpc->mpc_ops = NULL;
95195fab37eSRobert Watson 
95295fab37eSRobert Watson 	printf("Security policy unload: %s (%s)\n", mpc->mpc_fullname,
95395fab37eSRobert Watson 	    mpc->mpc_name);
95495fab37eSRobert Watson 
95595fab37eSRobert Watson 	return (0);
95695fab37eSRobert Watson }
95795fab37eSRobert Watson 
95895fab37eSRobert Watson /*
95995fab37eSRobert Watson  * Define an error value precedence, and given two arguments, selects the
96095fab37eSRobert Watson  * value with the higher precedence.
96195fab37eSRobert Watson  */
96295fab37eSRobert Watson static int
96395fab37eSRobert Watson error_select(int error1, int error2)
96495fab37eSRobert Watson {
96595fab37eSRobert Watson 
96695fab37eSRobert Watson 	/* Certain decision-making errors take top priority. */
96795fab37eSRobert Watson 	if (error1 == EDEADLK || error2 == EDEADLK)
96895fab37eSRobert Watson 		return (EDEADLK);
96995fab37eSRobert Watson 
97095fab37eSRobert Watson 	/* Invalid arguments should be reported where possible. */
97195fab37eSRobert Watson 	if (error1 == EINVAL || error2 == EINVAL)
97295fab37eSRobert Watson 		return (EINVAL);
97395fab37eSRobert Watson 
97495fab37eSRobert Watson 	/* Precedence goes to "visibility", with both process and file. */
97595fab37eSRobert Watson 	if (error1 == ESRCH || error2 == ESRCH)
97695fab37eSRobert Watson 		return (ESRCH);
97795fab37eSRobert Watson 
97895fab37eSRobert Watson 	if (error1 == ENOENT || error2 == ENOENT)
97995fab37eSRobert Watson 		return (ENOENT);
98095fab37eSRobert Watson 
98195fab37eSRobert Watson 	/* Precedence goes to DAC/MAC protections. */
98295fab37eSRobert Watson 	if (error1 == EACCES || error2 == EACCES)
98395fab37eSRobert Watson 		return (EACCES);
98495fab37eSRobert Watson 
98595fab37eSRobert Watson 	/* Precedence goes to privilege. */
98695fab37eSRobert Watson 	if (error1 == EPERM || error2 == EPERM)
98795fab37eSRobert Watson 		return (EPERM);
98895fab37eSRobert Watson 
98995fab37eSRobert Watson 	/* Precedence goes to error over success; otherwise, arbitrary. */
99095fab37eSRobert Watson 	if (error1 != 0)
99195fab37eSRobert Watson 		return (error1);
99295fab37eSRobert Watson 	return (error2);
99395fab37eSRobert Watson }
99495fab37eSRobert Watson 
99595fab37eSRobert Watson void
99695fab37eSRobert Watson mac_update_devfsdirent(struct devfs_dirent *de, struct vnode *vp)
99795fab37eSRobert Watson {
99895fab37eSRobert Watson 
99995fab37eSRobert Watson 	MAC_PERFORM(update_devfsdirent, de, &de->de_label, vp, &vp->v_label);
100095fab37eSRobert Watson }
100195fab37eSRobert Watson 
100295fab37eSRobert Watson void
100395fab37eSRobert Watson mac_update_procfsvnode(struct vnode *vp, struct ucred *cred)
100495fab37eSRobert Watson {
100595fab37eSRobert Watson 
100695fab37eSRobert Watson 	MAC_PERFORM(update_procfsvnode, vp, &vp->v_label, cred);
100795fab37eSRobert Watson }
100895fab37eSRobert Watson 
100995fab37eSRobert Watson /*
101095fab37eSRobert Watson  * Support callout for policies that manage their own externalization
101195fab37eSRobert Watson  * using extended attributes.
101295fab37eSRobert Watson  */
101395fab37eSRobert Watson static int
101495fab37eSRobert Watson mac_update_vnode_from_extattr(struct vnode *vp, struct mount *mp)
101595fab37eSRobert Watson {
101695fab37eSRobert Watson 	int error;
101795fab37eSRobert Watson 
101895fab37eSRobert Watson 	MAC_CHECK(update_vnode_from_extattr, vp, &vp->v_label, mp,
101995fab37eSRobert Watson 	    &mp->mnt_fslabel);
102095fab37eSRobert Watson 
102195fab37eSRobert Watson 	return (error);
102295fab37eSRobert Watson }
102395fab37eSRobert Watson 
102495fab37eSRobert Watson /*
102595fab37eSRobert Watson  * Given an externalized mac label, internalize it and stamp it on a
102695fab37eSRobert Watson  * vnode.
102795fab37eSRobert Watson  */
102895fab37eSRobert Watson static int
102995fab37eSRobert Watson mac_update_vnode_from_externalized(struct vnode *vp, struct mac *extmac)
103095fab37eSRobert Watson {
103195fab37eSRobert Watson 	int error;
103295fab37eSRobert Watson 
103395fab37eSRobert Watson 	MAC_CHECK(update_vnode_from_externalized, vp, &vp->v_label, extmac);
103495fab37eSRobert Watson 
103595fab37eSRobert Watson 	return (error);
103695fab37eSRobert Watson }
103795fab37eSRobert Watson 
103895fab37eSRobert Watson /*
103995fab37eSRobert Watson  * Call out to individual policies to update the label in a vnode from
104095fab37eSRobert Watson  * the mountpoint.
104195fab37eSRobert Watson  */
104295fab37eSRobert Watson void
104395fab37eSRobert Watson mac_update_vnode_from_mount(struct vnode *vp, struct mount *mp)
104495fab37eSRobert Watson {
104595fab37eSRobert Watson 
104695fab37eSRobert Watson 	MAC_PERFORM(update_vnode_from_mount, vp, &vp->v_label, mp,
104795fab37eSRobert Watson 	    &mp->mnt_fslabel);
104895fab37eSRobert Watson 
1049e6e370a7SJeff Roberson 	ASSERT_VOP_LOCKED(vp, "mac_update_vnode_from_mount");
105095fab37eSRobert Watson 	if (mac_cache_fslabel_in_vnode)
1051e6e370a7SJeff Roberson 		vp->v_vflag |= VV_CACHEDLABEL;
105295fab37eSRobert Watson }
105395fab37eSRobert Watson 
105495fab37eSRobert Watson /*
105595fab37eSRobert Watson  * Implementation of VOP_REFRESHLABEL() that relies on extended attributes
105695fab37eSRobert Watson  * to store label data.  Can be referenced by filesystems supporting
105795fab37eSRobert Watson  * extended attributes.
105895fab37eSRobert Watson  */
105995fab37eSRobert Watson int
106095fab37eSRobert Watson vop_stdrefreshlabel_ea(struct vop_refreshlabel_args *ap)
106195fab37eSRobert Watson {
106295fab37eSRobert Watson 	struct vnode *vp = ap->a_vp;
106395fab37eSRobert Watson 	struct mac extmac;
106495fab37eSRobert Watson 	int buflen, error;
106595fab37eSRobert Watson 
106695fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "vop_stdrefreshlabel_ea");
106795fab37eSRobert Watson 
106895fab37eSRobert Watson 	/*
106995fab37eSRobert Watson 	 * Call out to external policies first.  Order doesn't really
107095fab37eSRobert Watson 	 * matter, as long as failure of one assures failure of all.
107195fab37eSRobert Watson 	 */
107295fab37eSRobert Watson 	error = mac_update_vnode_from_extattr(vp, vp->v_mount);
107395fab37eSRobert Watson 	if (error)
107495fab37eSRobert Watson 		return (error);
107595fab37eSRobert Watson 
107695fab37eSRobert Watson 	buflen = sizeof(extmac);
107795fab37eSRobert Watson 	error = vn_extattr_get(vp, IO_NODELOCKED,
107895fab37eSRobert Watson 	    FREEBSD_MAC_EXTATTR_NAMESPACE, FREEBSD_MAC_EXTATTR_NAME, &buflen,
107995fab37eSRobert Watson 	    (char *)&extmac, curthread);
108095fab37eSRobert Watson 	switch (error) {
108195fab37eSRobert Watson 	case 0:
108295fab37eSRobert Watson 		/* Got it */
108395fab37eSRobert Watson 		break;
108495fab37eSRobert Watson 
108595fab37eSRobert Watson 	case ENOATTR:
108695fab37eSRobert Watson 		/*
108795fab37eSRobert Watson 		 * Use the label from the mount point.
108895fab37eSRobert Watson 		 */
108995fab37eSRobert Watson 		mac_update_vnode_from_mount(vp, vp->v_mount);
109095fab37eSRobert Watson 		return (0);
109195fab37eSRobert Watson 
109295fab37eSRobert Watson 	case EOPNOTSUPP:
109395fab37eSRobert Watson 	default:
109495fab37eSRobert Watson 		/* Fail horribly. */
109595fab37eSRobert Watson 		return (error);
109695fab37eSRobert Watson 	}
109795fab37eSRobert Watson 
109895fab37eSRobert Watson 	if (buflen != sizeof(extmac))
109995fab37eSRobert Watson 		error = EPERM;		/* Fail very closed. */
110095fab37eSRobert Watson 	if (error == 0)
110195fab37eSRobert Watson 		error = mac_update_vnode_from_externalized(vp, &extmac);
110295fab37eSRobert Watson 	if (error == 0)
1103e6e370a7SJeff Roberson 		vp->v_vflag |= VV_CACHEDLABEL;
110495fab37eSRobert Watson 	else {
110595fab37eSRobert Watson 		struct vattr va;
110695fab37eSRobert Watson 
110795fab37eSRobert Watson 		printf("Corrupted label on %s",
110895fab37eSRobert Watson 		    vp->v_mount->mnt_stat.f_mntonname);
110995fab37eSRobert Watson 		if (VOP_GETATTR(vp, &va, curthread->td_ucred, curthread) == 0)
111095fab37eSRobert Watson 			printf(" inum %ld", va.va_fileid);
11116be0c25eSRobert Watson #ifdef MAC_DEBUG
111295fab37eSRobert Watson 		if (mac_debug_label_fallback) {
111395fab37eSRobert Watson 			printf(", falling back.\n");
111495fab37eSRobert Watson 			mac_update_vnode_from_mount(vp, vp->v_mount);
111595fab37eSRobert Watson 			error = 0;
111695fab37eSRobert Watson 		} else {
11176be0c25eSRobert Watson #endif
111895fab37eSRobert Watson 			printf(".\n");
111995fab37eSRobert Watson 			error = EPERM;
11206be0c25eSRobert Watson #ifdef MAC_DEBUG
112195fab37eSRobert Watson 		}
11226be0c25eSRobert Watson #endif
112395fab37eSRobert Watson 	}
112495fab37eSRobert Watson 
112595fab37eSRobert Watson 	return (error);
112695fab37eSRobert Watson }
112795fab37eSRobert Watson 
112895fab37eSRobert Watson /*
112995fab37eSRobert Watson  * Make sure the vnode label is up-to-date.  If EOPNOTSUPP, then we handle
113095fab37eSRobert Watson  * the labeling activity outselves.  Filesystems should be careful not
113195fab37eSRobert Watson  * to change their minds regarding whether they support vop_refreshlabel()
113295fab37eSRobert Watson  * for a vnode or not.  Don't cache the vnode here, allow the file
113395fab37eSRobert Watson  * system code to determine if it's safe to cache.  If we update from
113495fab37eSRobert Watson  * the mount, don't cache since a change to the mount label should affect
113595fab37eSRobert Watson  * all vnodes.
113695fab37eSRobert Watson  */
113795fab37eSRobert Watson static int
113895fab37eSRobert Watson vn_refreshlabel(struct vnode *vp, struct ucred *cred)
113995fab37eSRobert Watson {
114095fab37eSRobert Watson 	int error;
114195fab37eSRobert Watson 
114295fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "vn_refreshlabel");
114395fab37eSRobert Watson 
114495fab37eSRobert Watson 	if (vp->v_mount == NULL) {
114595fab37eSRobert Watson /*
114695fab37eSRobert Watson 		Eventually, we probably want to special-case refreshing
114795fab37eSRobert Watson 		of deadfs vnodes, and if there's a lock-free race somewhere,
114895fab37eSRobert Watson 		that case might be handled here.
114995fab37eSRobert Watson 
115095fab37eSRobert Watson 		mac_update_vnode_deadfs(vp);
115195fab37eSRobert Watson 		return (0);
115295fab37eSRobert Watson  */
115395fab37eSRobert Watson 		/* printf("vn_refreshlabel: null v_mount\n"); */
115406be2aaaSNate Lawson 		if (vp->v_type != VNON)
115595fab37eSRobert Watson 			printf(
115606be2aaaSNate Lawson 			    "vn_refreshlabel: null v_mount with non-VNON\n");
115795fab37eSRobert Watson 		return (EBADF);
115895fab37eSRobert Watson 	}
115995fab37eSRobert Watson 
1160e6e370a7SJeff Roberson 	if (vp->v_vflag & VV_CACHEDLABEL) {
116195fab37eSRobert Watson 		mac_vnode_label_cache_hits++;
116295fab37eSRobert Watson 		return (0);
116395fab37eSRobert Watson 	} else
116495fab37eSRobert Watson 		mac_vnode_label_cache_misses++;
116595fab37eSRobert Watson 
116695fab37eSRobert Watson 	if ((vp->v_mount->mnt_flag & MNT_MULTILABEL) == 0) {
116795fab37eSRobert Watson 		mac_update_vnode_from_mount(vp, vp->v_mount);
116895fab37eSRobert Watson 		return (0);
116995fab37eSRobert Watson 	}
117095fab37eSRobert Watson 
117195fab37eSRobert Watson 	error = VOP_REFRESHLABEL(vp, cred, curthread);
117295fab37eSRobert Watson 	switch (error) {
117395fab37eSRobert Watson 	case EOPNOTSUPP:
117495fab37eSRobert Watson 		/*
117595fab37eSRobert Watson 		 * If labels are not supported on this vnode, fall back to
117695fab37eSRobert Watson 		 * the label in the mount and propagate it to the vnode.
117795fab37eSRobert Watson 		 * There should probably be some sort of policy/flag/decision
117895fab37eSRobert Watson 		 * about doing this.
117995fab37eSRobert Watson 		 */
118095fab37eSRobert Watson 		mac_update_vnode_from_mount(vp, vp->v_mount);
118195fab37eSRobert Watson 		error = 0;
118295fab37eSRobert Watson 	default:
118395fab37eSRobert Watson 		return (error);
118495fab37eSRobert Watson 	}
118595fab37eSRobert Watson }
118695fab37eSRobert Watson 
118795fab37eSRobert Watson /*
118895fab37eSRobert Watson  * Helper function for file systems using the vop_std*_ea() calls.  This
118995fab37eSRobert Watson  * function must be called after EA service is available for the vnode,
119095fab37eSRobert Watson  * but before it's hooked up to the namespace so that the node persists
119195fab37eSRobert Watson  * if there's a crash, or before it can be accessed.  On successful
119295fab37eSRobert Watson  * commit of the label to disk (etc), do cache the label.
119395fab37eSRobert Watson  */
119495fab37eSRobert Watson int
119595fab37eSRobert Watson vop_stdcreatevnode_ea(struct vnode *dvp, struct vnode *tvp, struct ucred *cred)
119695fab37eSRobert Watson {
119795fab37eSRobert Watson 	struct mac extmac;
119895fab37eSRobert Watson 	int error;
119995fab37eSRobert Watson 
1200e6e370a7SJeff Roberson 	ASSERT_VOP_LOCKED(tvp, "vop_stdcreatevnode_ea");
120195fab37eSRobert Watson 	if ((dvp->v_mount->mnt_flag & MNT_MULTILABEL) == 0) {
120295fab37eSRobert Watson 		mac_update_vnode_from_mount(tvp, tvp->v_mount);
120395fab37eSRobert Watson 	} else {
120495fab37eSRobert Watson 		error = vn_refreshlabel(dvp, cred);
120595fab37eSRobert Watson 		if (error)
120695fab37eSRobert Watson 			return (error);
120795fab37eSRobert Watson 
120895fab37eSRobert Watson 		/*
120995fab37eSRobert Watson 		 * Stick the label in the vnode.  Then try to write to
121095fab37eSRobert Watson 		 * disk.  If we fail, return a failure to abort the
121195fab37eSRobert Watson 		 * create operation.  Really, this failure shouldn't
121295fab37eSRobert Watson 		 * happen except in fairly unusual circumstances (out
121395fab37eSRobert Watson 		 * of disk, etc).
121495fab37eSRobert Watson 		 */
121595fab37eSRobert Watson 		mac_create_vnode(cred, dvp, tvp);
121695fab37eSRobert Watson 
121795fab37eSRobert Watson 		error = mac_stdcreatevnode_ea(tvp);
121895fab37eSRobert Watson 		if (error)
121995fab37eSRobert Watson 			return (error);
122095fab37eSRobert Watson 
122195fab37eSRobert Watson 		/*
122295fab37eSRobert Watson 		 * XXX: Eventually this will go away and all policies will
122395fab37eSRobert Watson 		 * directly manage their extended attributes.
122495fab37eSRobert Watson 		 */
122595fab37eSRobert Watson 		error = mac_externalize(&tvp->v_label, &extmac);
122695fab37eSRobert Watson 		if (error)
122795fab37eSRobert Watson 			return (error);
122895fab37eSRobert Watson 
122995fab37eSRobert Watson 		error = vn_extattr_set(tvp, IO_NODELOCKED,
123095fab37eSRobert Watson 		    FREEBSD_MAC_EXTATTR_NAMESPACE, FREEBSD_MAC_EXTATTR_NAME,
123195fab37eSRobert Watson 		    sizeof(extmac), (char *)&extmac, curthread);
123295fab37eSRobert Watson 		if (error == 0)
1233e6e370a7SJeff Roberson 			tvp->v_vflag |= VV_CACHEDLABEL;
123495fab37eSRobert Watson 		else {
123595fab37eSRobert Watson #if 0
123695fab37eSRobert Watson 			/*
123795fab37eSRobert Watson 			 * In theory, we could have fall-back behavior here.
123895fab37eSRobert Watson 			 * It would probably be incorrect.
123995fab37eSRobert Watson 			 */
124095fab37eSRobert Watson #endif
124195fab37eSRobert Watson 			return (error);
124295fab37eSRobert Watson 		}
124395fab37eSRobert Watson 	}
124495fab37eSRobert Watson 
124595fab37eSRobert Watson 	return (0);
124695fab37eSRobert Watson }
124795fab37eSRobert Watson 
124895fab37eSRobert Watson void
124995fab37eSRobert Watson mac_execve_transition(struct ucred *old, struct ucred *new, struct vnode *vp)
125095fab37eSRobert Watson {
125195fab37eSRobert Watson 	int error;
125295fab37eSRobert Watson 
125395fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_execve_transition");
125495fab37eSRobert Watson 
125595fab37eSRobert Watson 	error = vn_refreshlabel(vp, old);
125695fab37eSRobert Watson 	if (error) {
125795fab37eSRobert Watson 		printf("mac_execve_transition: vn_refreshlabel returned %d\n",
125895fab37eSRobert Watson 		    error);
125995fab37eSRobert Watson 		printf("mac_execve_transition: using old vnode label\n");
126095fab37eSRobert Watson 	}
126195fab37eSRobert Watson 
126295fab37eSRobert Watson 	MAC_PERFORM(execve_transition, old, new, vp, &vp->v_label);
126395fab37eSRobert Watson }
126495fab37eSRobert Watson 
126595fab37eSRobert Watson int
126695fab37eSRobert Watson mac_execve_will_transition(struct ucred *old, struct vnode *vp)
126795fab37eSRobert Watson {
126895fab37eSRobert Watson 	int error, result;
126995fab37eSRobert Watson 
127095fab37eSRobert Watson 	error = vn_refreshlabel(vp, old);
127195fab37eSRobert Watson 	if (error)
127295fab37eSRobert Watson 		return (error);
127395fab37eSRobert Watson 
127495fab37eSRobert Watson 	result = 0;
127595fab37eSRobert Watson 	MAC_BOOLEAN(execve_will_transition, ||, old, vp, &vp->v_label);
127695fab37eSRobert Watson 
127795fab37eSRobert Watson 	return (result);
127895fab37eSRobert Watson }
127995fab37eSRobert Watson 
128095fab37eSRobert Watson static void
128195fab37eSRobert Watson mac_init_label(struct label *label)
128295fab37eSRobert Watson {
128395fab37eSRobert Watson 
128495fab37eSRobert Watson 	bzero(label, sizeof(*label));
128595fab37eSRobert Watson 	label->l_flags = MAC_FLAG_INITIALIZED;
128695fab37eSRobert Watson }
128795fab37eSRobert Watson 
128895fab37eSRobert Watson static void
128995fab37eSRobert Watson mac_init_structmac(struct mac *mac)
129095fab37eSRobert Watson {
129195fab37eSRobert Watson 
129295fab37eSRobert Watson 	bzero(mac, sizeof(*mac));
129395fab37eSRobert Watson 	mac->m_macflags = MAC_FLAG_INITIALIZED;
129495fab37eSRobert Watson }
129595fab37eSRobert Watson 
129695fab37eSRobert Watson static void
129795fab37eSRobert Watson mac_destroy_label(struct label *label)
129895fab37eSRobert Watson {
129995fab37eSRobert Watson 
130095fab37eSRobert Watson 	KASSERT(label->l_flags & MAC_FLAG_INITIALIZED,
130195fab37eSRobert Watson 	    ("destroying uninitialized label"));
130295fab37eSRobert Watson 
130395fab37eSRobert Watson 	bzero(label, sizeof(*label));
130495fab37eSRobert Watson 	/* implicit: label->l_flags &= ~MAC_FLAG_INITIALIZED; */
130595fab37eSRobert Watson }
130695fab37eSRobert Watson 
130795fab37eSRobert Watson int
130895fab37eSRobert Watson mac_init_mbuf(struct mbuf *m, int how)
130995fab37eSRobert Watson {
131095fab37eSRobert Watson 	KASSERT(m->m_flags & M_PKTHDR, ("mac_init_mbuf on non-header mbuf"));
131195fab37eSRobert Watson 
131295fab37eSRobert Watson 	/* "how" is one of M_(TRY|DONT)WAIT */
131395fab37eSRobert Watson 	mac_init_label(&m->m_pkthdr.label);
131496adb909SRobert Watson 	MAC_PERFORM(init_mbuf_label, &m->m_pkthdr.label, how);
1315f050add5SRobert Watson #ifdef MAC_DEBUG
131695fab37eSRobert Watson 	atomic_add_int(&nmacmbufs, 1);
1317f050add5SRobert Watson #endif
131895fab37eSRobert Watson 	return (0);
131995fab37eSRobert Watson }
132095fab37eSRobert Watson 
132195fab37eSRobert Watson void
132295fab37eSRobert Watson mac_destroy_mbuf(struct mbuf *m)
132395fab37eSRobert Watson {
132495fab37eSRobert Watson 
132596adb909SRobert Watson 	MAC_PERFORM(destroy_mbuf_label, &m->m_pkthdr.label);
132695fab37eSRobert Watson 	mac_destroy_label(&m->m_pkthdr.label);
1327f050add5SRobert Watson #ifdef MAC_DEBUG
132895fab37eSRobert Watson 	atomic_subtract_int(&nmacmbufs, 1);
1329f050add5SRobert Watson #endif
133095fab37eSRobert Watson }
133195fab37eSRobert Watson 
133295fab37eSRobert Watson void
133395fab37eSRobert Watson mac_init_cred(struct ucred *cr)
133495fab37eSRobert Watson {
133595fab37eSRobert Watson 
133695fab37eSRobert Watson 	mac_init_label(&cr->cr_label);
133796adb909SRobert Watson 	MAC_PERFORM(init_cred_label, &cr->cr_label);
1338f050add5SRobert Watson #ifdef MAC_DEBUG
133995fab37eSRobert Watson 	atomic_add_int(&nmaccreds, 1);
1340f050add5SRobert Watson #endif
134195fab37eSRobert Watson }
134295fab37eSRobert Watson 
134395fab37eSRobert Watson void
134495fab37eSRobert Watson mac_destroy_cred(struct ucred *cr)
134595fab37eSRobert Watson {
134695fab37eSRobert Watson 
134796adb909SRobert Watson 	MAC_PERFORM(destroy_cred_label, &cr->cr_label);
134895fab37eSRobert Watson 	mac_destroy_label(&cr->cr_label);
1349f050add5SRobert Watson #ifdef MAC_DEBUG
135095fab37eSRobert Watson 	atomic_subtract_int(&nmaccreds, 1);
1351f050add5SRobert Watson #endif
135295fab37eSRobert Watson }
135395fab37eSRobert Watson 
135495fab37eSRobert Watson void
135595fab37eSRobert Watson mac_init_ifnet(struct ifnet *ifp)
135695fab37eSRobert Watson {
135795fab37eSRobert Watson 
135895fab37eSRobert Watson 	mac_init_label(&ifp->if_label);
135996adb909SRobert Watson 	MAC_PERFORM(init_ifnet_label, &ifp->if_label);
1360f050add5SRobert Watson #ifdef MAC_DEBUG
136195fab37eSRobert Watson 	atomic_add_int(&nmacifnets, 1);
1362f050add5SRobert Watson #endif
136395fab37eSRobert Watson }
136495fab37eSRobert Watson 
136595fab37eSRobert Watson void
136695fab37eSRobert Watson mac_destroy_ifnet(struct ifnet *ifp)
136795fab37eSRobert Watson {
136895fab37eSRobert Watson 
136996adb909SRobert Watson 	MAC_PERFORM(destroy_ifnet_label, &ifp->if_label);
137095fab37eSRobert Watson 	mac_destroy_label(&ifp->if_label);
1371f050add5SRobert Watson #ifdef MAC_DEBUG
137295fab37eSRobert Watson 	atomic_subtract_int(&nmacifnets, 1);
1373f050add5SRobert Watson #endif
137495fab37eSRobert Watson }
137595fab37eSRobert Watson 
137695fab37eSRobert Watson void
137795fab37eSRobert Watson mac_init_ipq(struct ipq *ipq)
137895fab37eSRobert Watson {
137995fab37eSRobert Watson 
138095fab37eSRobert Watson 	mac_init_label(&ipq->ipq_label);
138196adb909SRobert Watson 	MAC_PERFORM(init_ipq_label, &ipq->ipq_label);
1382f050add5SRobert Watson #ifdef MAC_DEBUG
138395fab37eSRobert Watson 	atomic_add_int(&nmacipqs, 1);
1384f050add5SRobert Watson #endif
138595fab37eSRobert Watson }
138695fab37eSRobert Watson 
138795fab37eSRobert Watson void
138895fab37eSRobert Watson mac_destroy_ipq(struct ipq *ipq)
138995fab37eSRobert Watson {
139095fab37eSRobert Watson 
139196adb909SRobert Watson 	MAC_PERFORM(destroy_ipq_label, &ipq->ipq_label);
139295fab37eSRobert Watson 	mac_destroy_label(&ipq->ipq_label);
1393f050add5SRobert Watson #ifdef MAC_DEBUG
139495fab37eSRobert Watson 	atomic_subtract_int(&nmacipqs, 1);
1395f050add5SRobert Watson #endif
139695fab37eSRobert Watson }
139795fab37eSRobert Watson 
139895fab37eSRobert Watson void
139995fab37eSRobert Watson mac_init_socket(struct socket *socket)
140095fab37eSRobert Watson {
140195fab37eSRobert Watson 
140295fab37eSRobert Watson 	mac_init_label(&socket->so_label);
140395fab37eSRobert Watson 	mac_init_label(&socket->so_peerlabel);
140496adb909SRobert Watson 	MAC_PERFORM(init_socket_label, &socket->so_label);
140596adb909SRobert Watson 	MAC_PERFORM(init_socket_peer_label, &socket->so_peerlabel);
1406f050add5SRobert Watson #ifdef MAC_DEBUG
140795fab37eSRobert Watson 	atomic_add_int(&nmacsockets, 1);
1408f050add5SRobert Watson #endif
140995fab37eSRobert Watson }
141095fab37eSRobert Watson 
141195fab37eSRobert Watson void
141295fab37eSRobert Watson mac_destroy_socket(struct socket *socket)
141395fab37eSRobert Watson {
141495fab37eSRobert Watson 
141596adb909SRobert Watson 	MAC_PERFORM(destroy_socket_label, &socket->so_label);
141696adb909SRobert Watson 	MAC_PERFORM(destroy_socket_peer_label, &socket->so_peerlabel);
141795fab37eSRobert Watson 	mac_destroy_label(&socket->so_label);
141895fab37eSRobert Watson 	mac_destroy_label(&socket->so_peerlabel);
1419f050add5SRobert Watson #ifdef MAC_DEBUG
142095fab37eSRobert Watson 	atomic_subtract_int(&nmacsockets, 1);
1421f050add5SRobert Watson #endif
142295fab37eSRobert Watson }
142395fab37eSRobert Watson 
142495fab37eSRobert Watson void
142595fab37eSRobert Watson mac_init_pipe(struct pipe *pipe)
142695fab37eSRobert Watson {
142795fab37eSRobert Watson 	struct label *label;
142895fab37eSRobert Watson 
142995fab37eSRobert Watson 	label = malloc(sizeof(struct label), M_MACPIPELABEL, M_ZERO|M_WAITOK);
143095fab37eSRobert Watson 	mac_init_label(label);
143195fab37eSRobert Watson 	pipe->pipe_label = label;
143295fab37eSRobert Watson 	pipe->pipe_peer->pipe_label = label;
143396adb909SRobert Watson 	MAC_PERFORM(init_pipe_label, pipe->pipe_label);
1434f050add5SRobert Watson #ifdef MAC_DEBUG
143595fab37eSRobert Watson 	atomic_add_int(&nmacpipes, 1);
1436f050add5SRobert Watson #endif
143795fab37eSRobert Watson }
143895fab37eSRobert Watson 
143995fab37eSRobert Watson void
144095fab37eSRobert Watson mac_destroy_pipe(struct pipe *pipe)
144195fab37eSRobert Watson {
144295fab37eSRobert Watson 
144396adb909SRobert Watson 	MAC_PERFORM(destroy_pipe_label, pipe->pipe_label);
144495fab37eSRobert Watson 	mac_destroy_label(pipe->pipe_label);
144595fab37eSRobert Watson 	free(pipe->pipe_label, M_MACPIPELABEL);
1446f050add5SRobert Watson #ifdef MAC_DEBUG
144795fab37eSRobert Watson 	atomic_subtract_int(&nmacpipes, 1);
1448f050add5SRobert Watson #endif
144995fab37eSRobert Watson }
145095fab37eSRobert Watson 
145195fab37eSRobert Watson void
145295fab37eSRobert Watson mac_init_bpfdesc(struct bpf_d *bpf_d)
145395fab37eSRobert Watson {
145495fab37eSRobert Watson 
145595fab37eSRobert Watson 	mac_init_label(&bpf_d->bd_label);
145696adb909SRobert Watson 	MAC_PERFORM(init_bpfdesc_label, &bpf_d->bd_label);
1457f050add5SRobert Watson #ifdef MAC_DEBUG
145895fab37eSRobert Watson 	atomic_add_int(&nmacbpfdescs, 1);
1459f050add5SRobert Watson #endif
146095fab37eSRobert Watson }
146195fab37eSRobert Watson 
146295fab37eSRobert Watson void
146395fab37eSRobert Watson mac_destroy_bpfdesc(struct bpf_d *bpf_d)
146495fab37eSRobert Watson {
146595fab37eSRobert Watson 
146696adb909SRobert Watson 	MAC_PERFORM(destroy_bpfdesc_label, &bpf_d->bd_label);
146795fab37eSRobert Watson 	mac_destroy_label(&bpf_d->bd_label);
1468f050add5SRobert Watson #ifdef MAC_DEBUG
146995fab37eSRobert Watson 	atomic_subtract_int(&nmacbpfdescs, 1);
1470f050add5SRobert Watson #endif
147195fab37eSRobert Watson }
147295fab37eSRobert Watson 
147395fab37eSRobert Watson void
147495fab37eSRobert Watson mac_init_mount(struct mount *mp)
147595fab37eSRobert Watson {
147695fab37eSRobert Watson 
147795fab37eSRobert Watson 	mac_init_label(&mp->mnt_mntlabel);
147895fab37eSRobert Watson 	mac_init_label(&mp->mnt_fslabel);
147996adb909SRobert Watson 	MAC_PERFORM(init_mount_label, &mp->mnt_mntlabel);
148096adb909SRobert Watson 	MAC_PERFORM(init_mount_fs_label, &mp->mnt_fslabel);
1481f050add5SRobert Watson #ifdef MAC_DEBUG
148295fab37eSRobert Watson 	atomic_add_int(&nmacmounts, 1);
1483f050add5SRobert Watson #endif
148495fab37eSRobert Watson }
148595fab37eSRobert Watson 
148695fab37eSRobert Watson void
148795fab37eSRobert Watson mac_destroy_mount(struct mount *mp)
148895fab37eSRobert Watson {
148995fab37eSRobert Watson 
149096adb909SRobert Watson 	MAC_PERFORM(destroy_mount_label, &mp->mnt_mntlabel);
149196adb909SRobert Watson 	MAC_PERFORM(destroy_mount_fs_label, &mp->mnt_fslabel);
149295fab37eSRobert Watson 	mac_destroy_label(&mp->mnt_fslabel);
149395fab37eSRobert Watson 	mac_destroy_label(&mp->mnt_mntlabel);
1494f050add5SRobert Watson #ifdef MAC_DEBUG
149595fab37eSRobert Watson 	atomic_subtract_int(&nmacmounts, 1);
1496f050add5SRobert Watson #endif
149795fab37eSRobert Watson }
149895fab37eSRobert Watson 
149995fab37eSRobert Watson static void
150095fab37eSRobert Watson mac_init_temp(struct label *label)
150195fab37eSRobert Watson {
150295fab37eSRobert Watson 
150395fab37eSRobert Watson 	mac_init_label(label);
150496adb909SRobert Watson 	MAC_PERFORM(init_temp_label, label);
1505f050add5SRobert Watson #ifdef MAC_DEBUG
150695fab37eSRobert Watson 	atomic_add_int(&nmactemp, 1);
1507f050add5SRobert Watson #endif
150895fab37eSRobert Watson }
150995fab37eSRobert Watson 
151095fab37eSRobert Watson static void
151195fab37eSRobert Watson mac_destroy_temp(struct label *label)
151295fab37eSRobert Watson {
151395fab37eSRobert Watson 
151496adb909SRobert Watson 	MAC_PERFORM(destroy_temp_label, label);
151595fab37eSRobert Watson 	mac_destroy_label(label);
1516f050add5SRobert Watson #ifdef MAC_DEBUG
151795fab37eSRobert Watson 	atomic_subtract_int(&nmactemp, 1);
1518f050add5SRobert Watson #endif
151995fab37eSRobert Watson }
152095fab37eSRobert Watson 
152195fab37eSRobert Watson void
152295fab37eSRobert Watson mac_init_vnode(struct vnode *vp)
152395fab37eSRobert Watson {
152495fab37eSRobert Watson 
152595fab37eSRobert Watson 	mac_init_label(&vp->v_label);
152696adb909SRobert Watson 	MAC_PERFORM(init_vnode_label, &vp->v_label);
1527f050add5SRobert Watson #ifdef MAC_DEBUG
152895fab37eSRobert Watson 	atomic_add_int(&nmacvnodes, 1);
1529f050add5SRobert Watson #endif
153095fab37eSRobert Watson }
153195fab37eSRobert Watson 
153295fab37eSRobert Watson void
153395fab37eSRobert Watson mac_destroy_vnode(struct vnode *vp)
153495fab37eSRobert Watson {
153595fab37eSRobert Watson 
153696adb909SRobert Watson 	MAC_PERFORM(destroy_vnode_label, &vp->v_label);
153795fab37eSRobert Watson 	mac_destroy_label(&vp->v_label);
1538f050add5SRobert Watson #ifdef MAC_DEBUG
153995fab37eSRobert Watson 	atomic_subtract_int(&nmacvnodes, 1);
1540f050add5SRobert Watson #endif
154195fab37eSRobert Watson }
154295fab37eSRobert Watson 
154395fab37eSRobert Watson void
154495fab37eSRobert Watson mac_init_devfsdirent(struct devfs_dirent *de)
154595fab37eSRobert Watson {
154695fab37eSRobert Watson 
154795fab37eSRobert Watson 	mac_init_label(&de->de_label);
154896adb909SRobert Watson 	MAC_PERFORM(init_devfsdirent_label, &de->de_label);
1549f050add5SRobert Watson #ifdef MAC_DEBUG
155095fab37eSRobert Watson 	atomic_add_int(&nmacdevfsdirents, 1);
1551f050add5SRobert Watson #endif
155295fab37eSRobert Watson }
155395fab37eSRobert Watson 
155495fab37eSRobert Watson void
155595fab37eSRobert Watson mac_destroy_devfsdirent(struct devfs_dirent *de)
155695fab37eSRobert Watson {
155795fab37eSRobert Watson 
155896adb909SRobert Watson 	MAC_PERFORM(destroy_devfsdirent_label, &de->de_label);
155995fab37eSRobert Watson 	mac_destroy_label(&de->de_label);
1560f050add5SRobert Watson #ifdef MAC_DEBUG
156195fab37eSRobert Watson 	atomic_subtract_int(&nmacdevfsdirents, 1);
1562f050add5SRobert Watson #endif
156395fab37eSRobert Watson }
156495fab37eSRobert Watson 
156595fab37eSRobert Watson static int
156695fab37eSRobert Watson mac_externalize(struct label *label, struct mac *mac)
156795fab37eSRobert Watson {
156895fab37eSRobert Watson 	int error;
156995fab37eSRobert Watson 
157095fab37eSRobert Watson 	mac_init_structmac(mac);
157195fab37eSRobert Watson 	MAC_CHECK(externalize, label, mac);
157295fab37eSRobert Watson 
157395fab37eSRobert Watson 	return (error);
157495fab37eSRobert Watson }
157595fab37eSRobert Watson 
157695fab37eSRobert Watson static int
157795fab37eSRobert Watson mac_internalize(struct label *label, struct mac *mac)
157895fab37eSRobert Watson {
157995fab37eSRobert Watson 	int error;
158095fab37eSRobert Watson 
158195fab37eSRobert Watson 	mac_init_temp(label);
158295fab37eSRobert Watson 	MAC_CHECK(internalize, label, mac);
158395fab37eSRobert Watson 	if (error)
158495fab37eSRobert Watson 		mac_destroy_temp(label);
158595fab37eSRobert Watson 
158695fab37eSRobert Watson 	return (error);
158795fab37eSRobert Watson }
158895fab37eSRobert Watson 
158995fab37eSRobert Watson /*
159095fab37eSRobert Watson  * Initialize MAC label for the first kernel process, from which other
159195fab37eSRobert Watson  * kernel processes and threads are spawned.
159295fab37eSRobert Watson  */
159395fab37eSRobert Watson void
159495fab37eSRobert Watson mac_create_proc0(struct ucred *cred)
159595fab37eSRobert Watson {
159695fab37eSRobert Watson 
159795fab37eSRobert Watson 	MAC_PERFORM(create_proc0, cred);
159895fab37eSRobert Watson }
159995fab37eSRobert Watson 
160095fab37eSRobert Watson /*
160195fab37eSRobert Watson  * Initialize MAC label for the first userland process, from which other
160295fab37eSRobert Watson  * userland processes and threads are spawned.
160395fab37eSRobert Watson  */
160495fab37eSRobert Watson void
160595fab37eSRobert Watson mac_create_proc1(struct ucred *cred)
160695fab37eSRobert Watson {
160795fab37eSRobert Watson 
160895fab37eSRobert Watson 	MAC_PERFORM(create_proc1, cred);
160995fab37eSRobert Watson }
161095fab37eSRobert Watson 
161192dbb82aSRobert Watson void
161292dbb82aSRobert Watson mac_thread_userret(struct thread *td)
161392dbb82aSRobert Watson {
161492dbb82aSRobert Watson 
161592dbb82aSRobert Watson 	MAC_PERFORM(thread_userret, td);
161692dbb82aSRobert Watson }
161792dbb82aSRobert Watson 
161895fab37eSRobert Watson /*
161995fab37eSRobert Watson  * When a new process is created, its label must be initialized.  Generally,
162095fab37eSRobert Watson  * this involves inheritence from the parent process, modulo possible
162195fab37eSRobert Watson  * deltas.  This function allows that processing to take place.
162295fab37eSRobert Watson  */
162395fab37eSRobert Watson void
162495fab37eSRobert Watson mac_create_cred(struct ucred *parent_cred, struct ucred *child_cred)
162595fab37eSRobert Watson {
162695fab37eSRobert Watson 
162795fab37eSRobert Watson 	MAC_PERFORM(create_cred, parent_cred, child_cred);
162895fab37eSRobert Watson }
162995fab37eSRobert Watson 
163095fab37eSRobert Watson int
163195fab37eSRobert Watson mac_check_vnode_access(struct ucred *cred, struct vnode *vp, int flags)
163295fab37eSRobert Watson {
163395fab37eSRobert Watson 	int error;
163495fab37eSRobert Watson 
163595fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_access");
163695fab37eSRobert Watson 
163795fab37eSRobert Watson 	if (!mac_enforce_fs)
163895fab37eSRobert Watson 		return (0);
163995fab37eSRobert Watson 
164095fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
164195fab37eSRobert Watson 	if (error)
164295fab37eSRobert Watson 		return (error);
164395fab37eSRobert Watson 
164495fab37eSRobert Watson 	MAC_CHECK(check_vnode_access, cred, vp, &vp->v_label, flags);
164595fab37eSRobert Watson 	return (error);
164695fab37eSRobert Watson }
164795fab37eSRobert Watson 
164895fab37eSRobert Watson int
164995fab37eSRobert Watson mac_check_vnode_chdir(struct ucred *cred, struct vnode *dvp)
165095fab37eSRobert Watson {
165195fab37eSRobert Watson 	int error;
165295fab37eSRobert Watson 
165395fab37eSRobert Watson 	ASSERT_VOP_LOCKED(dvp, "mac_check_vnode_chdir");
165495fab37eSRobert Watson 
165595fab37eSRobert Watson 	if (!mac_enforce_fs)
165695fab37eSRobert Watson 		return (0);
165795fab37eSRobert Watson 
165895fab37eSRobert Watson 	error = vn_refreshlabel(dvp, cred);
165995fab37eSRobert Watson 	if (error)
166095fab37eSRobert Watson 		return (error);
166195fab37eSRobert Watson 
166295fab37eSRobert Watson 	MAC_CHECK(check_vnode_chdir, cred, dvp, &dvp->v_label);
166395fab37eSRobert Watson 	return (error);
166495fab37eSRobert Watson }
166595fab37eSRobert Watson 
166695fab37eSRobert Watson int
166795fab37eSRobert Watson mac_check_vnode_chroot(struct ucred *cred, struct vnode *dvp)
166895fab37eSRobert Watson {
166995fab37eSRobert Watson 	int error;
167095fab37eSRobert Watson 
167195fab37eSRobert Watson 	ASSERT_VOP_LOCKED(dvp, "mac_check_vnode_chroot");
167295fab37eSRobert Watson 
167395fab37eSRobert Watson 	if (!mac_enforce_fs)
167495fab37eSRobert Watson 		return (0);
167595fab37eSRobert Watson 
167695fab37eSRobert Watson 	error = vn_refreshlabel(dvp, cred);
167795fab37eSRobert Watson 	if (error)
167895fab37eSRobert Watson 		return (error);
167995fab37eSRobert Watson 
168095fab37eSRobert Watson 	MAC_CHECK(check_vnode_chroot, cred, dvp, &dvp->v_label);
168195fab37eSRobert Watson 	return (error);
168295fab37eSRobert Watson }
168395fab37eSRobert Watson 
168495fab37eSRobert Watson int
168595fab37eSRobert Watson mac_check_vnode_create(struct ucred *cred, struct vnode *dvp,
168695fab37eSRobert Watson     struct componentname *cnp, struct vattr *vap)
168795fab37eSRobert Watson {
168895fab37eSRobert Watson 	int error;
168995fab37eSRobert Watson 
169095fab37eSRobert Watson 	ASSERT_VOP_LOCKED(dvp, "mac_check_vnode_create");
169195fab37eSRobert Watson 
169295fab37eSRobert Watson 	if (!mac_enforce_fs)
169395fab37eSRobert Watson 		return (0);
169495fab37eSRobert Watson 
169595fab37eSRobert Watson 	error = vn_refreshlabel(dvp, cred);
169695fab37eSRobert Watson 	if (error)
169795fab37eSRobert Watson 		return (error);
169895fab37eSRobert Watson 
169995fab37eSRobert Watson 	MAC_CHECK(check_vnode_create, cred, dvp, &dvp->v_label, cnp, vap);
170095fab37eSRobert Watson 	return (error);
170195fab37eSRobert Watson }
170295fab37eSRobert Watson 
170395fab37eSRobert Watson int
170495fab37eSRobert Watson mac_check_vnode_delete(struct ucred *cred, struct vnode *dvp, struct vnode *vp,
170595fab37eSRobert Watson     struct componentname *cnp)
170695fab37eSRobert Watson {
170795fab37eSRobert Watson 	int error;
170895fab37eSRobert Watson 
170995fab37eSRobert Watson 	ASSERT_VOP_LOCKED(dvp, "mac_check_vnode_delete");
171095fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_delete");
171195fab37eSRobert Watson 
171295fab37eSRobert Watson 	if (!mac_enforce_fs)
171395fab37eSRobert Watson 		return (0);
171495fab37eSRobert Watson 
171595fab37eSRobert Watson 	error = vn_refreshlabel(dvp, cred);
171695fab37eSRobert Watson 	if (error)
171795fab37eSRobert Watson 		return (error);
171895fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
171995fab37eSRobert Watson 	if (error)
172095fab37eSRobert Watson 		return (error);
172195fab37eSRobert Watson 
172295fab37eSRobert Watson 	MAC_CHECK(check_vnode_delete, cred, dvp, &dvp->v_label, vp,
172395fab37eSRobert Watson 	    &vp->v_label, cnp);
172495fab37eSRobert Watson 	return (error);
172595fab37eSRobert Watson }
172695fab37eSRobert Watson 
172795fab37eSRobert Watson int
172895fab37eSRobert Watson mac_check_vnode_deleteacl(struct ucred *cred, struct vnode *vp,
172995fab37eSRobert Watson     acl_type_t type)
173095fab37eSRobert Watson {
173195fab37eSRobert Watson 	int error;
173295fab37eSRobert Watson 
173395fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_deleteacl");
173495fab37eSRobert Watson 
173595fab37eSRobert Watson 	if (!mac_enforce_fs)
173695fab37eSRobert Watson 		return (0);
173795fab37eSRobert Watson 
173895fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
173995fab37eSRobert Watson 	if (error)
174095fab37eSRobert Watson 		return (error);
174195fab37eSRobert Watson 
174295fab37eSRobert Watson 	MAC_CHECK(check_vnode_deleteacl, cred, vp, &vp->v_label, type);
174395fab37eSRobert Watson 	return (error);
174495fab37eSRobert Watson }
174595fab37eSRobert Watson 
174695fab37eSRobert Watson int
174795fab37eSRobert Watson mac_check_vnode_exec(struct ucred *cred, struct vnode *vp)
174895fab37eSRobert Watson {
174995fab37eSRobert Watson 	int error;
175095fab37eSRobert Watson 
1751851704bbSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_exec");
1752851704bbSRobert Watson 
175395fab37eSRobert Watson 	if (!mac_enforce_process && !mac_enforce_fs)
175495fab37eSRobert Watson 		return (0);
175595fab37eSRobert Watson 
175695fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
175795fab37eSRobert Watson 	if (error)
175895fab37eSRobert Watson 		return (error);
175995fab37eSRobert Watson 	MAC_CHECK(check_vnode_exec, cred, vp, &vp->v_label);
176095fab37eSRobert Watson 
176195fab37eSRobert Watson 	return (error);
176295fab37eSRobert Watson }
176395fab37eSRobert Watson 
176495fab37eSRobert Watson int
176595fab37eSRobert Watson mac_check_vnode_getacl(struct ucred *cred, struct vnode *vp, acl_type_t type)
176695fab37eSRobert Watson {
176795fab37eSRobert Watson 	int error;
176895fab37eSRobert Watson 
176995fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_getacl");
177095fab37eSRobert Watson 
177195fab37eSRobert Watson 	if (!mac_enforce_fs)
177295fab37eSRobert Watson 		return (0);
177395fab37eSRobert Watson 
177495fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
177595fab37eSRobert Watson 	if (error)
177695fab37eSRobert Watson 		return (error);
177795fab37eSRobert Watson 
177895fab37eSRobert Watson 	MAC_CHECK(check_vnode_getacl, cred, vp, &vp->v_label, type);
177995fab37eSRobert Watson 	return (error);
178095fab37eSRobert Watson }
178195fab37eSRobert Watson 
178295fab37eSRobert Watson int
178395fab37eSRobert Watson mac_check_vnode_getextattr(struct ucred *cred, struct vnode *vp,
178495fab37eSRobert Watson     int attrnamespace, const char *name, struct uio *uio)
178595fab37eSRobert Watson {
178695fab37eSRobert Watson 	int error;
178795fab37eSRobert Watson 
178895fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_getextattr");
178995fab37eSRobert Watson 
179095fab37eSRobert Watson 	if (!mac_enforce_fs)
179195fab37eSRobert Watson 		return (0);
179295fab37eSRobert Watson 
179395fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
179495fab37eSRobert Watson 	if (error)
179595fab37eSRobert Watson 		return (error);
179695fab37eSRobert Watson 
179795fab37eSRobert Watson 	MAC_CHECK(check_vnode_getextattr, cred, vp, &vp->v_label,
179895fab37eSRobert Watson 	    attrnamespace, name, uio);
179995fab37eSRobert Watson 	return (error);
180095fab37eSRobert Watson }
180195fab37eSRobert Watson 
180295fab37eSRobert Watson int
180395fab37eSRobert Watson mac_check_vnode_lookup(struct ucred *cred, struct vnode *dvp,
180495fab37eSRobert Watson     struct componentname *cnp)
180595fab37eSRobert Watson {
180695fab37eSRobert Watson 	int error;
180795fab37eSRobert Watson 
180895fab37eSRobert Watson 	ASSERT_VOP_LOCKED(dvp, "mac_check_vnode_lookup");
180995fab37eSRobert Watson 
181095fab37eSRobert Watson 	if (!mac_enforce_fs)
181195fab37eSRobert Watson 		return (0);
181295fab37eSRobert Watson 
181395fab37eSRobert Watson 	error = vn_refreshlabel(dvp, cred);
181495fab37eSRobert Watson 	if (error)
181595fab37eSRobert Watson 		return (error);
181695fab37eSRobert Watson 
181795fab37eSRobert Watson 	MAC_CHECK(check_vnode_lookup, cred, dvp, &dvp->v_label, cnp);
181895fab37eSRobert Watson 	return (error);
181995fab37eSRobert Watson }
182095fab37eSRobert Watson 
182195fab37eSRobert Watson vm_prot_t
182295fab37eSRobert Watson mac_check_vnode_mmap_prot(struct ucred *cred, struct vnode *vp, int newmapping)
182395fab37eSRobert Watson {
182495fab37eSRobert Watson 	vm_prot_t result = VM_PROT_ALL;
182595fab37eSRobert Watson 
1826ca7850c3SRobert Watson 	if (!mac_enforce_vm)
1827ca7850c3SRobert Watson 		return (result);
1828ca7850c3SRobert Watson 
182995fab37eSRobert Watson 	/*
183095fab37eSRobert Watson 	 * This should be some sort of MAC_BITWISE, maybe :)
183195fab37eSRobert Watson 	 */
183295fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_mmap_perms");
183395fab37eSRobert Watson 	MAC_BOOLEAN(check_vnode_mmap_perms, &, cred, vp, &vp->v_label,
183495fab37eSRobert Watson 	    newmapping);
183595fab37eSRobert Watson 	return (result);
183695fab37eSRobert Watson }
183795fab37eSRobert Watson 
183895fab37eSRobert Watson int
183995fab37eSRobert Watson mac_check_vnode_open(struct ucred *cred, struct vnode *vp, mode_t acc_mode)
184095fab37eSRobert Watson {
184195fab37eSRobert Watson 	int error;
184295fab37eSRobert Watson 
184395fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_open");
184495fab37eSRobert Watson 
184595fab37eSRobert Watson 	if (!mac_enforce_fs)
184695fab37eSRobert Watson 		return (0);
184795fab37eSRobert Watson 
184895fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
184995fab37eSRobert Watson 	if (error)
185095fab37eSRobert Watson 		return (error);
185195fab37eSRobert Watson 
185295fab37eSRobert Watson 	MAC_CHECK(check_vnode_open, cred, vp, &vp->v_label, acc_mode);
185395fab37eSRobert Watson 	return (error);
185495fab37eSRobert Watson }
185595fab37eSRobert Watson 
185695fab37eSRobert Watson int
1857177142e4SRobert Watson mac_check_vnode_poll(struct ucred *active_cred, struct ucred *file_cred,
1858177142e4SRobert Watson     struct vnode *vp)
18597f724f8bSRobert Watson {
18607f724f8bSRobert Watson 	int error;
18617f724f8bSRobert Watson 
18627f724f8bSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_poll");
18637f724f8bSRobert Watson 
18647f724f8bSRobert Watson 	if (!mac_enforce_fs)
18657f724f8bSRobert Watson 		return (0);
18667f724f8bSRobert Watson 
1867177142e4SRobert Watson 	error = vn_refreshlabel(vp, active_cred);
18687f724f8bSRobert Watson 	if (error)
18697f724f8bSRobert Watson 		return (error);
18707f724f8bSRobert Watson 
1871177142e4SRobert Watson 	MAC_CHECK(check_vnode_poll, active_cred, file_cred, vp,
1872177142e4SRobert Watson 	    &vp->v_label);
18737f724f8bSRobert Watson 
18747f724f8bSRobert Watson 	return (error);
18757f724f8bSRobert Watson }
18767f724f8bSRobert Watson 
18777f724f8bSRobert Watson int
1878177142e4SRobert Watson mac_check_vnode_read(struct ucred *active_cred, struct ucred *file_cred,
1879177142e4SRobert Watson     struct vnode *vp)
18807f724f8bSRobert Watson {
18817f724f8bSRobert Watson 	int error;
18827f724f8bSRobert Watson 
18837f724f8bSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_read");
18847f724f8bSRobert Watson 
18857f724f8bSRobert Watson 	if (!mac_enforce_fs)
18867f724f8bSRobert Watson 		return (0);
18877f724f8bSRobert Watson 
1888177142e4SRobert Watson 	error = vn_refreshlabel(vp, active_cred);
18897f724f8bSRobert Watson 	if (error)
18907f724f8bSRobert Watson 		return (error);
18917f724f8bSRobert Watson 
1892177142e4SRobert Watson 	MAC_CHECK(check_vnode_read, active_cred, file_cred, vp,
1893177142e4SRobert Watson 	    &vp->v_label);
18947f724f8bSRobert Watson 
18957f724f8bSRobert Watson 	return (error);
18967f724f8bSRobert Watson }
18977f724f8bSRobert Watson 
18987f724f8bSRobert Watson int
189995fab37eSRobert Watson mac_check_vnode_readdir(struct ucred *cred, struct vnode *dvp)
190095fab37eSRobert Watson {
190195fab37eSRobert Watson 	int error;
190295fab37eSRobert Watson 
190395fab37eSRobert Watson 	ASSERT_VOP_LOCKED(dvp, "mac_check_vnode_readdir");
190495fab37eSRobert Watson 
190595fab37eSRobert Watson 	if (!mac_enforce_fs)
190695fab37eSRobert Watson 		return (0);
190795fab37eSRobert Watson 
190895fab37eSRobert Watson 	error = vn_refreshlabel(dvp, cred);
190995fab37eSRobert Watson 	if (error)
191095fab37eSRobert Watson 		return (error);
191195fab37eSRobert Watson 
191295fab37eSRobert Watson 	MAC_CHECK(check_vnode_readdir, cred, dvp, &dvp->v_label);
191395fab37eSRobert Watson 	return (error);
191495fab37eSRobert Watson }
191595fab37eSRobert Watson 
191695fab37eSRobert Watson int
191795fab37eSRobert Watson mac_check_vnode_readlink(struct ucred *cred, struct vnode *vp)
191895fab37eSRobert Watson {
191995fab37eSRobert Watson 	int error;
192095fab37eSRobert Watson 
192195fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_readlink");
192295fab37eSRobert Watson 
192395fab37eSRobert Watson 	if (!mac_enforce_fs)
192495fab37eSRobert Watson 		return (0);
192595fab37eSRobert Watson 
192695fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
192795fab37eSRobert Watson 	if (error)
192895fab37eSRobert Watson 		return (error);
192995fab37eSRobert Watson 
193095fab37eSRobert Watson 	MAC_CHECK(check_vnode_readlink, cred, vp, &vp->v_label);
193195fab37eSRobert Watson 	return (error);
193295fab37eSRobert Watson }
193395fab37eSRobert Watson 
193495fab37eSRobert Watson static int
193595fab37eSRobert Watson mac_check_vnode_relabel(struct ucred *cred, struct vnode *vp,
193695fab37eSRobert Watson     struct label *newlabel)
193795fab37eSRobert Watson {
193895fab37eSRobert Watson 	int error;
193995fab37eSRobert Watson 
194095fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_relabel");
194195fab37eSRobert Watson 
194295fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
194395fab37eSRobert Watson 	if (error)
194495fab37eSRobert Watson 		return (error);
194595fab37eSRobert Watson 
194695fab37eSRobert Watson 	MAC_CHECK(check_vnode_relabel, cred, vp, &vp->v_label, newlabel);
194795fab37eSRobert Watson 
194895fab37eSRobert Watson 	return (error);
194995fab37eSRobert Watson }
195095fab37eSRobert Watson 
195195fab37eSRobert Watson int
195295fab37eSRobert Watson mac_check_vnode_rename_from(struct ucred *cred, struct vnode *dvp,
195395fab37eSRobert Watson     struct vnode *vp, struct componentname *cnp)
195495fab37eSRobert Watson {
195595fab37eSRobert Watson 	int error;
195695fab37eSRobert Watson 
195795fab37eSRobert Watson 	ASSERT_VOP_LOCKED(dvp, "mac_check_vnode_rename_from");
195895fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_rename_from");
195995fab37eSRobert Watson 
196095fab37eSRobert Watson 	if (!mac_enforce_fs)
196195fab37eSRobert Watson 		return (0);
196295fab37eSRobert Watson 
196395fab37eSRobert Watson 	error = vn_refreshlabel(dvp, cred);
196495fab37eSRobert Watson 	if (error)
196595fab37eSRobert Watson 		return (error);
196695fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
196795fab37eSRobert Watson 	if (error)
196895fab37eSRobert Watson 		return (error);
196995fab37eSRobert Watson 
197095fab37eSRobert Watson 	MAC_CHECK(check_vnode_rename_from, cred, dvp, &dvp->v_label, vp,
197195fab37eSRobert Watson 	    &vp->v_label, cnp);
197295fab37eSRobert Watson 	return (error);
197395fab37eSRobert Watson }
197495fab37eSRobert Watson 
197595fab37eSRobert Watson int
197695fab37eSRobert Watson mac_check_vnode_rename_to(struct ucred *cred, struct vnode *dvp,
197795fab37eSRobert Watson     struct vnode *vp, int samedir, struct componentname *cnp)
197895fab37eSRobert Watson {
197995fab37eSRobert Watson 	int error;
198095fab37eSRobert Watson 
198195fab37eSRobert Watson 	ASSERT_VOP_LOCKED(dvp, "mac_check_vnode_rename_to");
198295fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_rename_to");
198395fab37eSRobert Watson 
198495fab37eSRobert Watson 	if (!mac_enforce_fs)
198595fab37eSRobert Watson 		return (0);
198695fab37eSRobert Watson 
198795fab37eSRobert Watson 	error = vn_refreshlabel(dvp, cred);
198895fab37eSRobert Watson 	if (error)
198995fab37eSRobert Watson 		return (error);
199095fab37eSRobert Watson 	if (vp != NULL) {
199195fab37eSRobert Watson 		error = vn_refreshlabel(vp, cred);
199295fab37eSRobert Watson 		if (error)
199395fab37eSRobert Watson 			return (error);
199495fab37eSRobert Watson 	}
199595fab37eSRobert Watson 	MAC_CHECK(check_vnode_rename_to, cred, dvp, &dvp->v_label, vp,
199695fab37eSRobert Watson 	    vp != NULL ? &vp->v_label : NULL, samedir, cnp);
199795fab37eSRobert Watson 	return (error);
199895fab37eSRobert Watson }
199995fab37eSRobert Watson 
200095fab37eSRobert Watson int
200195fab37eSRobert Watson mac_check_vnode_revoke(struct ucred *cred, struct vnode *vp)
200295fab37eSRobert Watson {
200395fab37eSRobert Watson 	int error;
200495fab37eSRobert Watson 
200595fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_revoke");
200695fab37eSRobert Watson 
200795fab37eSRobert Watson 	if (!mac_enforce_fs)
200895fab37eSRobert Watson 		return (0);
200995fab37eSRobert Watson 
201095fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
201195fab37eSRobert Watson 	if (error)
201295fab37eSRobert Watson 		return (error);
201395fab37eSRobert Watson 
201495fab37eSRobert Watson 	MAC_CHECK(check_vnode_revoke, cred, vp, &vp->v_label);
201595fab37eSRobert Watson 	return (error);
201695fab37eSRobert Watson }
201795fab37eSRobert Watson 
201895fab37eSRobert Watson int
201995fab37eSRobert Watson mac_check_vnode_setacl(struct ucred *cred, struct vnode *vp, acl_type_t type,
202095fab37eSRobert Watson     struct acl *acl)
202195fab37eSRobert Watson {
202295fab37eSRobert Watson 	int error;
202395fab37eSRobert Watson 
202495fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_setacl");
202595fab37eSRobert Watson 
202695fab37eSRobert Watson 	if (!mac_enforce_fs)
202795fab37eSRobert Watson 		return (0);
202895fab37eSRobert Watson 
202995fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
203095fab37eSRobert Watson 	if (error)
203195fab37eSRobert Watson 		return (error);
203295fab37eSRobert Watson 
203395fab37eSRobert Watson 	MAC_CHECK(check_vnode_setacl, cred, vp, &vp->v_label, type, acl);
203495fab37eSRobert Watson 	return (error);
203595fab37eSRobert Watson }
203695fab37eSRobert Watson 
203795fab37eSRobert Watson int
203895fab37eSRobert Watson mac_check_vnode_setextattr(struct ucred *cred, struct vnode *vp,
203995fab37eSRobert Watson     int attrnamespace, const char *name, struct uio *uio)
204095fab37eSRobert Watson {
204195fab37eSRobert Watson 	int error;
204295fab37eSRobert Watson 
204395fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_setextattr");
204495fab37eSRobert Watson 
204595fab37eSRobert Watson 	if (!mac_enforce_fs)
204695fab37eSRobert Watson 		return (0);
204795fab37eSRobert Watson 
204895fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
204995fab37eSRobert Watson 	if (error)
205095fab37eSRobert Watson 		return (error);
205195fab37eSRobert Watson 
205295fab37eSRobert Watson 	MAC_CHECK(check_vnode_setextattr, cred, vp, &vp->v_label,
205395fab37eSRobert Watson 	    attrnamespace, name, uio);
205495fab37eSRobert Watson 	return (error);
205595fab37eSRobert Watson }
205695fab37eSRobert Watson 
205795fab37eSRobert Watson int
205895fab37eSRobert Watson mac_check_vnode_setflags(struct ucred *cred, struct vnode *vp, u_long flags)
205995fab37eSRobert Watson {
206095fab37eSRobert Watson 	int error;
206195fab37eSRobert Watson 
206295fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_setflags");
206395fab37eSRobert Watson 
206495fab37eSRobert Watson 	if (!mac_enforce_fs)
206595fab37eSRobert Watson 		return (0);
206695fab37eSRobert Watson 
206795fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
206895fab37eSRobert Watson 	if (error)
206995fab37eSRobert Watson 		return (error);
207095fab37eSRobert Watson 
207195fab37eSRobert Watson 	MAC_CHECK(check_vnode_setflags, cred, vp, &vp->v_label, flags);
207295fab37eSRobert Watson 	return (error);
207395fab37eSRobert Watson }
207495fab37eSRobert Watson 
207595fab37eSRobert Watson int
207695fab37eSRobert Watson mac_check_vnode_setmode(struct ucred *cred, struct vnode *vp, mode_t mode)
207795fab37eSRobert Watson {
207895fab37eSRobert Watson 	int error;
207995fab37eSRobert Watson 
208095fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_setmode");
208195fab37eSRobert Watson 
208295fab37eSRobert Watson 	if (!mac_enforce_fs)
208395fab37eSRobert Watson 		return (0);
208495fab37eSRobert Watson 
208595fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
208695fab37eSRobert Watson 	if (error)
208795fab37eSRobert Watson 		return (error);
208895fab37eSRobert Watson 
208995fab37eSRobert Watson 	MAC_CHECK(check_vnode_setmode, cred, vp, &vp->v_label, mode);
209095fab37eSRobert Watson 	return (error);
209195fab37eSRobert Watson }
209295fab37eSRobert Watson 
209395fab37eSRobert Watson int
209495fab37eSRobert Watson mac_check_vnode_setowner(struct ucred *cred, struct vnode *vp, uid_t uid,
209595fab37eSRobert Watson     gid_t gid)
209695fab37eSRobert Watson {
209795fab37eSRobert Watson 	int error;
209895fab37eSRobert Watson 
209995fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_setowner");
210095fab37eSRobert Watson 
210195fab37eSRobert Watson 	if (!mac_enforce_fs)
210295fab37eSRobert Watson 		return (0);
210395fab37eSRobert Watson 
210495fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
210595fab37eSRobert Watson 	if (error)
210695fab37eSRobert Watson 		return (error);
210795fab37eSRobert Watson 
210895fab37eSRobert Watson 	MAC_CHECK(check_vnode_setowner, cred, vp, &vp->v_label, uid, gid);
210995fab37eSRobert Watson 	return (error);
211095fab37eSRobert Watson }
211195fab37eSRobert Watson 
211295fab37eSRobert Watson int
211395fab37eSRobert Watson mac_check_vnode_setutimes(struct ucred *cred, struct vnode *vp,
211495fab37eSRobert Watson     struct timespec atime, struct timespec mtime)
211595fab37eSRobert Watson {
211695fab37eSRobert Watson 	int error;
211795fab37eSRobert Watson 
211895fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_setutimes");
211995fab37eSRobert Watson 
212095fab37eSRobert Watson 	if (!mac_enforce_fs)
212195fab37eSRobert Watson 		return (0);
212295fab37eSRobert Watson 
212395fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
212495fab37eSRobert Watson 	if (error)
212595fab37eSRobert Watson 		return (error);
212695fab37eSRobert Watson 
212795fab37eSRobert Watson 	MAC_CHECK(check_vnode_setutimes, cred, vp, &vp->v_label, atime,
212895fab37eSRobert Watson 	    mtime);
212995fab37eSRobert Watson 	return (error);
213095fab37eSRobert Watson }
213195fab37eSRobert Watson 
213295fab37eSRobert Watson int
2133177142e4SRobert Watson mac_check_vnode_stat(struct ucred *active_cred, struct ucred *file_cred,
2134177142e4SRobert Watson     struct vnode *vp)
213595fab37eSRobert Watson {
213695fab37eSRobert Watson 	int error;
213795fab37eSRobert Watson 
213895fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_stat");
213995fab37eSRobert Watson 
214095fab37eSRobert Watson 	if (!mac_enforce_fs)
214195fab37eSRobert Watson 		return (0);
214295fab37eSRobert Watson 
2143177142e4SRobert Watson 	error = vn_refreshlabel(vp, active_cred);
214495fab37eSRobert Watson 	if (error)
214595fab37eSRobert Watson 		return (error);
214695fab37eSRobert Watson 
2147177142e4SRobert Watson 	MAC_CHECK(check_vnode_stat, active_cred, file_cred, vp,
2148177142e4SRobert Watson 	    &vp->v_label);
214995fab37eSRobert Watson 	return (error);
215095fab37eSRobert Watson }
215195fab37eSRobert Watson 
21527f724f8bSRobert Watson int
2153177142e4SRobert Watson mac_check_vnode_write(struct ucred *active_cred, struct ucred *file_cred,
2154177142e4SRobert Watson     struct vnode *vp)
21557f724f8bSRobert Watson {
21567f724f8bSRobert Watson 	int error;
21577f724f8bSRobert Watson 
21587f724f8bSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_write");
21597f724f8bSRobert Watson 
21607f724f8bSRobert Watson 	if (!mac_enforce_fs)
21617f724f8bSRobert Watson 		return (0);
21627f724f8bSRobert Watson 
2163177142e4SRobert Watson 	error = vn_refreshlabel(vp, active_cred);
21647f724f8bSRobert Watson 	if (error)
21657f724f8bSRobert Watson 		return (error);
21667f724f8bSRobert Watson 
2167177142e4SRobert Watson 	MAC_CHECK(check_vnode_write, active_cred, file_cred, vp,
2168177142e4SRobert Watson 	    &vp->v_label);
21697f724f8bSRobert Watson 
21707f724f8bSRobert Watson 	return (error);
21717f724f8bSRobert Watson }
21727f724f8bSRobert Watson 
217395fab37eSRobert Watson /*
217495fab37eSRobert Watson  * When relabeling a process, call out to the policies for the maximum
217595fab37eSRobert Watson  * permission allowed for each object type we know about in its
217695fab37eSRobert Watson  * memory space, and revoke access (in the least surprising ways we
217795fab37eSRobert Watson  * know) when necessary.  The process lock is not held here.
217895fab37eSRobert Watson  */
217995fab37eSRobert Watson static void
218095fab37eSRobert Watson mac_cred_mmapped_drop_perms(struct thread *td, struct ucred *cred)
218195fab37eSRobert Watson {
218295fab37eSRobert Watson 
218395fab37eSRobert Watson 	/* XXX freeze all other threads */
218495fab37eSRobert Watson 	mac_cred_mmapped_drop_perms_recurse(td, cred,
218595fab37eSRobert Watson 	    &td->td_proc->p_vmspace->vm_map);
218695fab37eSRobert Watson 	/* XXX allow other threads to continue */
218795fab37eSRobert Watson }
218895fab37eSRobert Watson 
218995fab37eSRobert Watson static __inline const char *
219095fab37eSRobert Watson prot2str(vm_prot_t prot)
219195fab37eSRobert Watson {
219295fab37eSRobert Watson 
219395fab37eSRobert Watson 	switch (prot & VM_PROT_ALL) {
219495fab37eSRobert Watson 	case VM_PROT_READ:
219595fab37eSRobert Watson 		return ("r--");
219695fab37eSRobert Watson 	case VM_PROT_READ | VM_PROT_WRITE:
219795fab37eSRobert Watson 		return ("rw-");
219895fab37eSRobert Watson 	case VM_PROT_READ | VM_PROT_EXECUTE:
219995fab37eSRobert Watson 		return ("r-x");
220095fab37eSRobert Watson 	case VM_PROT_READ | VM_PROT_WRITE | VM_PROT_EXECUTE:
220195fab37eSRobert Watson 		return ("rwx");
220295fab37eSRobert Watson 	case VM_PROT_WRITE:
220395fab37eSRobert Watson 		return ("-w-");
220495fab37eSRobert Watson 	case VM_PROT_EXECUTE:
220595fab37eSRobert Watson 		return ("--x");
220695fab37eSRobert Watson 	case VM_PROT_WRITE | VM_PROT_EXECUTE:
220795fab37eSRobert Watson 		return ("-wx");
220895fab37eSRobert Watson 	default:
220995fab37eSRobert Watson 		return ("---");
221095fab37eSRobert Watson 	}
221195fab37eSRobert Watson }
221295fab37eSRobert Watson 
221395fab37eSRobert Watson static void
221495fab37eSRobert Watson mac_cred_mmapped_drop_perms_recurse(struct thread *td, struct ucred *cred,
221595fab37eSRobert Watson     struct vm_map *map)
221695fab37eSRobert Watson {
221795fab37eSRobert Watson 	struct vm_map_entry *vme;
221895fab37eSRobert Watson 	vm_prot_t result, revokeperms;
221995fab37eSRobert Watson 	vm_object_t object;
222095fab37eSRobert Watson 	vm_ooffset_t offset;
222195fab37eSRobert Watson 	struct vnode *vp;
222295fab37eSRobert Watson 
2223c0f39905SRobert Watson 	if (!mac_mmap_revocation)
2224c0f39905SRobert Watson 		return;
2225c0f39905SRobert Watson 
222695fab37eSRobert Watson 	vm_map_lock_read(map);
222795fab37eSRobert Watson 	for (vme = map->header.next; vme != &map->header; vme = vme->next) {
222895fab37eSRobert Watson 		if (vme->eflags & MAP_ENTRY_IS_SUB_MAP) {
222995fab37eSRobert Watson 			mac_cred_mmapped_drop_perms_recurse(td, cred,
223095fab37eSRobert Watson 			    vme->object.sub_map);
223195fab37eSRobert Watson 			continue;
223295fab37eSRobert Watson 		}
223395fab37eSRobert Watson 		/*
223495fab37eSRobert Watson 		 * Skip over entries that obviously are not shared.
223595fab37eSRobert Watson 		 */
223695fab37eSRobert Watson 		if (vme->eflags & (MAP_ENTRY_COW | MAP_ENTRY_NOSYNC) ||
223795fab37eSRobert Watson 		    !vme->max_protection)
223895fab37eSRobert Watson 			continue;
223995fab37eSRobert Watson 		/*
224095fab37eSRobert Watson 		 * Drill down to the deepest backing object.
224195fab37eSRobert Watson 		 */
224295fab37eSRobert Watson 		offset = vme->offset;
224395fab37eSRobert Watson 		object = vme->object.vm_object;
224495fab37eSRobert Watson 		if (object == NULL)
224595fab37eSRobert Watson 			continue;
224695fab37eSRobert Watson 		while (object->backing_object != NULL) {
224795fab37eSRobert Watson 			object = object->backing_object;
224895fab37eSRobert Watson 			offset += object->backing_object_offset;
224995fab37eSRobert Watson 		}
225095fab37eSRobert Watson 		/*
225195fab37eSRobert Watson 		 * At the moment, vm_maps and objects aren't considered
225295fab37eSRobert Watson 		 * by the MAC system, so only things with backing by a
225395fab37eSRobert Watson 		 * normal object (read: vnodes) are checked.
225495fab37eSRobert Watson 		 */
225595fab37eSRobert Watson 		if (object->type != OBJT_VNODE)
225695fab37eSRobert Watson 			continue;
225795fab37eSRobert Watson 		vp = (struct vnode *)object->handle;
225895fab37eSRobert Watson 		vn_lock(vp, LK_EXCLUSIVE | LK_RETRY, td);
225995fab37eSRobert Watson 		result = mac_check_vnode_mmap_prot(cred, vp, 0);
226095fab37eSRobert Watson 		VOP_UNLOCK(vp, 0, td);
226195fab37eSRobert Watson 		/*
226295fab37eSRobert Watson 		 * Find out what maximum protection we may be allowing
226395fab37eSRobert Watson 		 * now but a policy needs to get removed.
226495fab37eSRobert Watson 		 */
226595fab37eSRobert Watson 		revokeperms = vme->max_protection & ~result;
226695fab37eSRobert Watson 		if (!revokeperms)
226795fab37eSRobert Watson 			continue;
2268b656366bSBruce Evans 		printf("pid %ld: revoking %s perms from %#lx:%ld "
2269b656366bSBruce Evans 		    "(max %s/cur %s)\n", (long)td->td_proc->p_pid,
2270b656366bSBruce Evans 		    prot2str(revokeperms), (u_long)vme->start,
2271b656366bSBruce Evans 		    (long)(vme->end - vme->start),
227295fab37eSRobert Watson 		    prot2str(vme->max_protection), prot2str(vme->protection));
227395fab37eSRobert Watson 		vm_map_lock_upgrade(map);
227495fab37eSRobert Watson 		/*
227595fab37eSRobert Watson 		 * This is the really simple case: if a map has more
227695fab37eSRobert Watson 		 * max_protection than is allowed, but it's not being
227795fab37eSRobert Watson 		 * actually used (that is, the current protection is
227895fab37eSRobert Watson 		 * still allowed), we can just wipe it out and do
227995fab37eSRobert Watson 		 * nothing more.
228095fab37eSRobert Watson 		 */
228195fab37eSRobert Watson 		if ((vme->protection & revokeperms) == 0) {
228295fab37eSRobert Watson 			vme->max_protection -= revokeperms;
228395fab37eSRobert Watson 		} else {
228495fab37eSRobert Watson 			if (revokeperms & VM_PROT_WRITE) {
228595fab37eSRobert Watson 				/*
228695fab37eSRobert Watson 				 * In the more complicated case, flush out all
228795fab37eSRobert Watson 				 * pending changes to the object then turn it
228895fab37eSRobert Watson 				 * copy-on-write.
228995fab37eSRobert Watson 				 */
229095fab37eSRobert Watson 				vm_object_reference(object);
229195fab37eSRobert Watson 				vn_lock(vp, LK_EXCLUSIVE | LK_RETRY, td);
229295fab37eSRobert Watson 				vm_object_page_clean(object,
229395fab37eSRobert Watson 				    OFF_TO_IDX(offset),
229495fab37eSRobert Watson 				    OFF_TO_IDX(offset + vme->end - vme->start +
229595fab37eSRobert Watson 					PAGE_MASK),
229695fab37eSRobert Watson 				    OBJPC_SYNC);
229795fab37eSRobert Watson 				VOP_UNLOCK(vp, 0, td);
229895fab37eSRobert Watson 				vm_object_deallocate(object);
229995fab37eSRobert Watson 				/*
230095fab37eSRobert Watson 				 * Why bother if there's no read permissions
230195fab37eSRobert Watson 				 * anymore?  For the rest, we need to leave
230295fab37eSRobert Watson 				 * the write permissions on for COW, or
230395fab37eSRobert Watson 				 * remove them entirely if configured to.
230495fab37eSRobert Watson 				 */
230595fab37eSRobert Watson 				if (!mac_mmap_revocation_via_cow) {
230695fab37eSRobert Watson 					vme->max_protection &= ~VM_PROT_WRITE;
230795fab37eSRobert Watson 					vme->protection &= ~VM_PROT_WRITE;
230895fab37eSRobert Watson 				} if ((revokeperms & VM_PROT_READ) == 0)
230995fab37eSRobert Watson 					vme->eflags |= MAP_ENTRY_COW |
231095fab37eSRobert Watson 					    MAP_ENTRY_NEEDS_COPY;
231195fab37eSRobert Watson 			}
231295fab37eSRobert Watson 			if (revokeperms & VM_PROT_EXECUTE) {
231395fab37eSRobert Watson 				vme->max_protection &= ~VM_PROT_EXECUTE;
231495fab37eSRobert Watson 				vme->protection &= ~VM_PROT_EXECUTE;
231595fab37eSRobert Watson 			}
231695fab37eSRobert Watson 			if (revokeperms & VM_PROT_READ) {
231795fab37eSRobert Watson 				vme->max_protection = 0;
231895fab37eSRobert Watson 				vme->protection = 0;
231995fab37eSRobert Watson 			}
232095fab37eSRobert Watson 			pmap_protect(map->pmap, vme->start, vme->end,
232195fab37eSRobert Watson 			    vme->protection & ~revokeperms);
232295fab37eSRobert Watson 			vm_map_simplify_entry(map, vme);
232395fab37eSRobert Watson 		}
232495fab37eSRobert Watson 		vm_map_lock_downgrade(map);
232595fab37eSRobert Watson 	}
232695fab37eSRobert Watson 	vm_map_unlock_read(map);
232795fab37eSRobert Watson }
232895fab37eSRobert Watson 
232995fab37eSRobert Watson /*
233095fab37eSRobert Watson  * When the subject's label changes, it may require revocation of privilege
233195fab37eSRobert Watson  * to mapped objects.  This can't be done on-the-fly later with a unified
233295fab37eSRobert Watson  * buffer cache.
233395fab37eSRobert Watson  */
233495fab37eSRobert Watson static void
233595fab37eSRobert Watson mac_relabel_cred(struct ucred *cred, struct label *newlabel)
233695fab37eSRobert Watson {
233795fab37eSRobert Watson 
233895fab37eSRobert Watson 	MAC_PERFORM(relabel_cred, cred, newlabel);
233995fab37eSRobert Watson }
234095fab37eSRobert Watson 
234195fab37eSRobert Watson void
234295fab37eSRobert Watson mac_relabel_vnode(struct ucred *cred, struct vnode *vp, struct label *newlabel)
234395fab37eSRobert Watson {
234495fab37eSRobert Watson 
234595fab37eSRobert Watson 	MAC_PERFORM(relabel_vnode, cred, vp, &vp->v_label, newlabel);
234695fab37eSRobert Watson }
234795fab37eSRobert Watson 
234895fab37eSRobert Watson void
234995fab37eSRobert Watson mac_create_ifnet(struct ifnet *ifnet)
235095fab37eSRobert Watson {
235195fab37eSRobert Watson 
235295fab37eSRobert Watson 	MAC_PERFORM(create_ifnet, ifnet, &ifnet->if_label);
235395fab37eSRobert Watson }
235495fab37eSRobert Watson 
235595fab37eSRobert Watson void
235695fab37eSRobert Watson mac_create_bpfdesc(struct ucred *cred, struct bpf_d *bpf_d)
235795fab37eSRobert Watson {
235895fab37eSRobert Watson 
235995fab37eSRobert Watson 	MAC_PERFORM(create_bpfdesc, cred, bpf_d, &bpf_d->bd_label);
236095fab37eSRobert Watson }
236195fab37eSRobert Watson 
236295fab37eSRobert Watson void
236395fab37eSRobert Watson mac_create_socket(struct ucred *cred, struct socket *socket)
236495fab37eSRobert Watson {
236595fab37eSRobert Watson 
236695fab37eSRobert Watson 	MAC_PERFORM(create_socket, cred, socket, &socket->so_label);
236795fab37eSRobert Watson }
236895fab37eSRobert Watson 
236995fab37eSRobert Watson void
237095fab37eSRobert Watson mac_create_pipe(struct ucred *cred, struct pipe *pipe)
237195fab37eSRobert Watson {
237295fab37eSRobert Watson 
237395fab37eSRobert Watson 	MAC_PERFORM(create_pipe, cred, pipe, pipe->pipe_label);
237495fab37eSRobert Watson }
237595fab37eSRobert Watson 
237695fab37eSRobert Watson void
237795fab37eSRobert Watson mac_create_socket_from_socket(struct socket *oldsocket,
237895fab37eSRobert Watson     struct socket *newsocket)
237995fab37eSRobert Watson {
238095fab37eSRobert Watson 
238195fab37eSRobert Watson 	MAC_PERFORM(create_socket_from_socket, oldsocket, &oldsocket->so_label,
238295fab37eSRobert Watson 	    newsocket, &newsocket->so_label);
238395fab37eSRobert Watson }
238495fab37eSRobert Watson 
238595fab37eSRobert Watson static void
238695fab37eSRobert Watson mac_relabel_socket(struct ucred *cred, struct socket *socket,
238795fab37eSRobert Watson     struct label *newlabel)
238895fab37eSRobert Watson {
238995fab37eSRobert Watson 
239095fab37eSRobert Watson 	MAC_PERFORM(relabel_socket, cred, socket, &socket->so_label, newlabel);
239195fab37eSRobert Watson }
239295fab37eSRobert Watson 
239395fab37eSRobert Watson static void
239495fab37eSRobert Watson mac_relabel_pipe(struct ucred *cred, struct pipe *pipe, struct label *newlabel)
239595fab37eSRobert Watson {
239695fab37eSRobert Watson 
239795fab37eSRobert Watson 	MAC_PERFORM(relabel_pipe, cred, pipe, pipe->pipe_label, newlabel);
239895fab37eSRobert Watson }
239995fab37eSRobert Watson 
240095fab37eSRobert Watson void
240195fab37eSRobert Watson mac_set_socket_peer_from_mbuf(struct mbuf *mbuf, struct socket *socket)
240295fab37eSRobert Watson {
240395fab37eSRobert Watson 
240495fab37eSRobert Watson 	MAC_PERFORM(set_socket_peer_from_mbuf, mbuf, &mbuf->m_pkthdr.label,
240595fab37eSRobert Watson 	    socket, &socket->so_peerlabel);
240695fab37eSRobert Watson }
240795fab37eSRobert Watson 
240895fab37eSRobert Watson void
240995fab37eSRobert Watson mac_set_socket_peer_from_socket(struct socket *oldsocket,
241095fab37eSRobert Watson     struct socket *newsocket)
241195fab37eSRobert Watson {
241295fab37eSRobert Watson 
241395fab37eSRobert Watson 	MAC_PERFORM(set_socket_peer_from_socket, oldsocket,
241495fab37eSRobert Watson 	    &oldsocket->so_label, newsocket, &newsocket->so_peerlabel);
241595fab37eSRobert Watson }
241695fab37eSRobert Watson 
241795fab37eSRobert Watson void
241895fab37eSRobert Watson mac_create_datagram_from_ipq(struct ipq *ipq, struct mbuf *datagram)
241995fab37eSRobert Watson {
242095fab37eSRobert Watson 
242195fab37eSRobert Watson 	MAC_PERFORM(create_datagram_from_ipq, ipq, &ipq->ipq_label,
242295fab37eSRobert Watson 	    datagram, &datagram->m_pkthdr.label);
242395fab37eSRobert Watson }
242495fab37eSRobert Watson 
242595fab37eSRobert Watson void
242695fab37eSRobert Watson mac_create_fragment(struct mbuf *datagram, struct mbuf *fragment)
242795fab37eSRobert Watson {
242895fab37eSRobert Watson 
242995fab37eSRobert Watson 	MAC_PERFORM(create_fragment, datagram, &datagram->m_pkthdr.label,
243095fab37eSRobert Watson 	    fragment, &fragment->m_pkthdr.label);
243195fab37eSRobert Watson }
243295fab37eSRobert Watson 
243395fab37eSRobert Watson void
243495fab37eSRobert Watson mac_create_ipq(struct mbuf *fragment, struct ipq *ipq)
243595fab37eSRobert Watson {
243695fab37eSRobert Watson 
243795fab37eSRobert Watson 	MAC_PERFORM(create_ipq, fragment, &fragment->m_pkthdr.label, ipq,
243895fab37eSRobert Watson 	    &ipq->ipq_label);
243995fab37eSRobert Watson }
244095fab37eSRobert Watson 
244195fab37eSRobert Watson void
244295fab37eSRobert Watson mac_create_mbuf_from_mbuf(struct mbuf *oldmbuf, struct mbuf *newmbuf)
244395fab37eSRobert Watson {
244495fab37eSRobert Watson 
244595fab37eSRobert Watson 	MAC_PERFORM(create_mbuf_from_mbuf, oldmbuf, &oldmbuf->m_pkthdr.label,
244695fab37eSRobert Watson 	    newmbuf, &newmbuf->m_pkthdr.label);
244795fab37eSRobert Watson }
244895fab37eSRobert Watson 
244995fab37eSRobert Watson void
245095fab37eSRobert Watson mac_create_mbuf_from_bpfdesc(struct bpf_d *bpf_d, struct mbuf *mbuf)
245195fab37eSRobert Watson {
245295fab37eSRobert Watson 
245395fab37eSRobert Watson 	MAC_PERFORM(create_mbuf_from_bpfdesc, bpf_d, &bpf_d->bd_label, mbuf,
245495fab37eSRobert Watson 	    &mbuf->m_pkthdr.label);
245595fab37eSRobert Watson }
245695fab37eSRobert Watson 
245795fab37eSRobert Watson void
245895fab37eSRobert Watson mac_create_mbuf_linklayer(struct ifnet *ifnet, struct mbuf *mbuf)
245995fab37eSRobert Watson {
246095fab37eSRobert Watson 
246195fab37eSRobert Watson 	MAC_PERFORM(create_mbuf_linklayer, ifnet, &ifnet->if_label, mbuf,
246295fab37eSRobert Watson 	    &mbuf->m_pkthdr.label);
246395fab37eSRobert Watson }
246495fab37eSRobert Watson 
246595fab37eSRobert Watson void
246695fab37eSRobert Watson mac_create_mbuf_from_ifnet(struct ifnet *ifnet, struct mbuf *mbuf)
246795fab37eSRobert Watson {
246895fab37eSRobert Watson 
246995fab37eSRobert Watson 	MAC_PERFORM(create_mbuf_from_ifnet, ifnet, &ifnet->if_label, mbuf,
247095fab37eSRobert Watson 	    &mbuf->m_pkthdr.label);
247195fab37eSRobert Watson }
247295fab37eSRobert Watson 
247395fab37eSRobert Watson void
247495fab37eSRobert Watson mac_create_mbuf_multicast_encap(struct mbuf *oldmbuf, struct ifnet *ifnet,
247595fab37eSRobert Watson     struct mbuf *newmbuf)
247695fab37eSRobert Watson {
247795fab37eSRobert Watson 
247895fab37eSRobert Watson 	MAC_PERFORM(create_mbuf_multicast_encap, oldmbuf,
247995fab37eSRobert Watson 	    &oldmbuf->m_pkthdr.label, ifnet, &ifnet->if_label, newmbuf,
248095fab37eSRobert Watson 	    &newmbuf->m_pkthdr.label);
248195fab37eSRobert Watson }
248295fab37eSRobert Watson 
248395fab37eSRobert Watson void
248495fab37eSRobert Watson mac_create_mbuf_netlayer(struct mbuf *oldmbuf, struct mbuf *newmbuf)
248595fab37eSRobert Watson {
248695fab37eSRobert Watson 
248795fab37eSRobert Watson 	MAC_PERFORM(create_mbuf_netlayer, oldmbuf, &oldmbuf->m_pkthdr.label,
248895fab37eSRobert Watson 	    newmbuf, &newmbuf->m_pkthdr.label);
248995fab37eSRobert Watson }
249095fab37eSRobert Watson 
249195fab37eSRobert Watson int
249295fab37eSRobert Watson mac_fragment_match(struct mbuf *fragment, struct ipq *ipq)
249395fab37eSRobert Watson {
249495fab37eSRobert Watson 	int result;
249595fab37eSRobert Watson 
249695fab37eSRobert Watson 	result = 1;
249795fab37eSRobert Watson 	MAC_BOOLEAN(fragment_match, &&, fragment, &fragment->m_pkthdr.label,
249895fab37eSRobert Watson 	    ipq, &ipq->ipq_label);
249995fab37eSRobert Watson 
250095fab37eSRobert Watson 	return (result);
250195fab37eSRobert Watson }
250295fab37eSRobert Watson 
250395fab37eSRobert Watson void
250495fab37eSRobert Watson mac_update_ipq(struct mbuf *fragment, struct ipq *ipq)
250595fab37eSRobert Watson {
250695fab37eSRobert Watson 
250795fab37eSRobert Watson 	MAC_PERFORM(update_ipq, fragment, &fragment->m_pkthdr.label, ipq,
250895fab37eSRobert Watson 	    &ipq->ipq_label);
250995fab37eSRobert Watson }
251095fab37eSRobert Watson 
251195fab37eSRobert Watson void
251295fab37eSRobert Watson mac_create_mbuf_from_socket(struct socket *socket, struct mbuf *mbuf)
251395fab37eSRobert Watson {
251495fab37eSRobert Watson 
251595fab37eSRobert Watson 	MAC_PERFORM(create_mbuf_from_socket, socket, &socket->so_label, mbuf,
251695fab37eSRobert Watson 	    &mbuf->m_pkthdr.label);
251795fab37eSRobert Watson }
251895fab37eSRobert Watson 
251995fab37eSRobert Watson void
252095fab37eSRobert Watson mac_create_mount(struct ucred *cred, struct mount *mp)
252195fab37eSRobert Watson {
252295fab37eSRobert Watson 
252395fab37eSRobert Watson 	MAC_PERFORM(create_mount, cred, mp, &mp->mnt_mntlabel,
252495fab37eSRobert Watson 	    &mp->mnt_fslabel);
252595fab37eSRobert Watson }
252695fab37eSRobert Watson 
252795fab37eSRobert Watson void
252895fab37eSRobert Watson mac_create_root_mount(struct ucred *cred, struct mount *mp)
252995fab37eSRobert Watson {
253095fab37eSRobert Watson 
253195fab37eSRobert Watson 	MAC_PERFORM(create_root_mount, cred, mp, &mp->mnt_mntlabel,
253295fab37eSRobert Watson 	    &mp->mnt_fslabel);
253395fab37eSRobert Watson }
253495fab37eSRobert Watson 
253595fab37eSRobert Watson int
253695fab37eSRobert Watson mac_check_bpfdesc_receive(struct bpf_d *bpf_d, struct ifnet *ifnet)
253795fab37eSRobert Watson {
253895fab37eSRobert Watson 	int error;
253995fab37eSRobert Watson 
254095fab37eSRobert Watson 	if (!mac_enforce_network)
254195fab37eSRobert Watson 		return (0);
254295fab37eSRobert Watson 
254395fab37eSRobert Watson 	MAC_CHECK(check_bpfdesc_receive, bpf_d, &bpf_d->bd_label, ifnet,
254495fab37eSRobert Watson 	    &ifnet->if_label);
254595fab37eSRobert Watson 
254695fab37eSRobert Watson 	return (error);
254795fab37eSRobert Watson }
254895fab37eSRobert Watson 
254995fab37eSRobert Watson static int
255095fab37eSRobert Watson mac_check_cred_relabel(struct ucred *cred, struct label *newlabel)
255195fab37eSRobert Watson {
255295fab37eSRobert Watson 	int error;
255395fab37eSRobert Watson 
255495fab37eSRobert Watson 	MAC_CHECK(check_cred_relabel, cred, newlabel);
255595fab37eSRobert Watson 
255695fab37eSRobert Watson 	return (error);
255795fab37eSRobert Watson }
255895fab37eSRobert Watson 
255995fab37eSRobert Watson int
256095fab37eSRobert Watson mac_check_cred_visible(struct ucred *u1, struct ucred *u2)
256195fab37eSRobert Watson {
256295fab37eSRobert Watson 	int error;
256395fab37eSRobert Watson 
256495fab37eSRobert Watson 	if (!mac_enforce_process)
256595fab37eSRobert Watson 		return (0);
256695fab37eSRobert Watson 
256795fab37eSRobert Watson 	MAC_CHECK(check_cred_visible, u1, u2);
256895fab37eSRobert Watson 
256995fab37eSRobert Watson 	return (error);
257095fab37eSRobert Watson }
257195fab37eSRobert Watson 
257295fab37eSRobert Watson int
257395fab37eSRobert Watson mac_check_ifnet_transmit(struct ifnet *ifnet, struct mbuf *mbuf)
257495fab37eSRobert Watson {
257595fab37eSRobert Watson 	int error;
257695fab37eSRobert Watson 
257795fab37eSRobert Watson 	if (!mac_enforce_network)
257895fab37eSRobert Watson 		return (0);
257995fab37eSRobert Watson 
258095fab37eSRobert Watson 	KASSERT(mbuf->m_flags & M_PKTHDR, ("packet has no pkthdr"));
258195fab37eSRobert Watson 	if (!(mbuf->m_pkthdr.label.l_flags & MAC_FLAG_INITIALIZED))
258295fab37eSRobert Watson 		printf("%s%d: not initialized\n", ifnet->if_name,
258395fab37eSRobert Watson 		    ifnet->if_unit);
258495fab37eSRobert Watson 
258595fab37eSRobert Watson 	MAC_CHECK(check_ifnet_transmit, ifnet, &ifnet->if_label, mbuf,
258695fab37eSRobert Watson 	    &mbuf->m_pkthdr.label);
258795fab37eSRobert Watson 
258895fab37eSRobert Watson 	return (error);
258995fab37eSRobert Watson }
259095fab37eSRobert Watson 
259195fab37eSRobert Watson int
259295fab37eSRobert Watson mac_check_mount_stat(struct ucred *cred, struct mount *mount)
259395fab37eSRobert Watson {
259495fab37eSRobert Watson 	int error;
259595fab37eSRobert Watson 
259695fab37eSRobert Watson 	if (!mac_enforce_fs)
259795fab37eSRobert Watson 		return (0);
259895fab37eSRobert Watson 
259995fab37eSRobert Watson 	MAC_CHECK(check_mount_stat, cred, mount, &mount->mnt_mntlabel);
260095fab37eSRobert Watson 
260195fab37eSRobert Watson 	return (error);
260295fab37eSRobert Watson }
260395fab37eSRobert Watson 
260495fab37eSRobert Watson int
260595fab37eSRobert Watson mac_check_pipe_ioctl(struct ucred *cred, struct pipe *pipe, unsigned long cmd,
260695fab37eSRobert Watson     void *data)
260795fab37eSRobert Watson {
260895fab37eSRobert Watson 	int error;
260995fab37eSRobert Watson 
26101aa37f53SRobert Watson 	PIPE_LOCK_ASSERT(pipe, MA_OWNED);
26111aa37f53SRobert Watson 
26121aa37f53SRobert Watson 	if (!mac_enforce_pipe)
26131aa37f53SRobert Watson 		return (0);
26141aa37f53SRobert Watson 
261595fab37eSRobert Watson 	MAC_CHECK(check_pipe_ioctl, cred, pipe, pipe->pipe_label, cmd, data);
261695fab37eSRobert Watson 
261795fab37eSRobert Watson 	return (error);
261895fab37eSRobert Watson }
261995fab37eSRobert Watson 
262095fab37eSRobert Watson int
2621c024c3eeSRobert Watson mac_check_pipe_poll(struct ucred *cred, struct pipe *pipe)
262295fab37eSRobert Watson {
262395fab37eSRobert Watson 	int error;
262495fab37eSRobert Watson 
26251aa37f53SRobert Watson 	PIPE_LOCK_ASSERT(pipe, MA_OWNED);
26261aa37f53SRobert Watson 
26271aa37f53SRobert Watson 	if (!mac_enforce_pipe)
26281aa37f53SRobert Watson 		return (0);
26291aa37f53SRobert Watson 
2630c024c3eeSRobert Watson 	MAC_CHECK(check_pipe_poll, cred, pipe, pipe->pipe_label);
2631c024c3eeSRobert Watson 
2632c024c3eeSRobert Watson 	return (error);
2633c024c3eeSRobert Watson }
2634c024c3eeSRobert Watson 
2635c024c3eeSRobert Watson int
2636c024c3eeSRobert Watson mac_check_pipe_read(struct ucred *cred, struct pipe *pipe)
2637c024c3eeSRobert Watson {
2638c024c3eeSRobert Watson 	int error;
2639c024c3eeSRobert Watson 
26401aa37f53SRobert Watson 	PIPE_LOCK_ASSERT(pipe, MA_OWNED);
26411aa37f53SRobert Watson 
26421aa37f53SRobert Watson 	if (!mac_enforce_pipe)
26431aa37f53SRobert Watson 		return (0);
26441aa37f53SRobert Watson 
2645c024c3eeSRobert Watson 	MAC_CHECK(check_pipe_read, cred, pipe, pipe->pipe_label);
264695fab37eSRobert Watson 
264795fab37eSRobert Watson 	return (error);
264895fab37eSRobert Watson }
264995fab37eSRobert Watson 
265095fab37eSRobert Watson static int
265195fab37eSRobert Watson mac_check_pipe_relabel(struct ucred *cred, struct pipe *pipe,
265295fab37eSRobert Watson     struct label *newlabel)
265395fab37eSRobert Watson {
265495fab37eSRobert Watson 	int error;
265595fab37eSRobert Watson 
26561aa37f53SRobert Watson 	PIPE_LOCK_ASSERT(pipe, MA_OWNED);
26571aa37f53SRobert Watson 
26581aa37f53SRobert Watson 	if (!mac_enforce_pipe)
26591aa37f53SRobert Watson 		return (0);
26601aa37f53SRobert Watson 
266195fab37eSRobert Watson 	MAC_CHECK(check_pipe_relabel, cred, pipe, pipe->pipe_label, newlabel);
266295fab37eSRobert Watson 
266395fab37eSRobert Watson 	return (error);
266495fab37eSRobert Watson }
266595fab37eSRobert Watson 
266695fab37eSRobert Watson int
2667c024c3eeSRobert Watson mac_check_pipe_stat(struct ucred *cred, struct pipe *pipe)
2668c024c3eeSRobert Watson {
2669c024c3eeSRobert Watson 	int error;
2670c024c3eeSRobert Watson 
26711aa37f53SRobert Watson 	PIPE_LOCK_ASSERT(pipe, MA_OWNED);
26721aa37f53SRobert Watson 
26731aa37f53SRobert Watson 	if (!mac_enforce_pipe)
26741aa37f53SRobert Watson 		return (0);
26751aa37f53SRobert Watson 
2676c024c3eeSRobert Watson 	MAC_CHECK(check_pipe_stat, cred, pipe, pipe->pipe_label);
2677c024c3eeSRobert Watson 
2678c024c3eeSRobert Watson 	return (error);
2679c024c3eeSRobert Watson }
2680c024c3eeSRobert Watson 
2681c024c3eeSRobert Watson int
2682c024c3eeSRobert Watson mac_check_pipe_write(struct ucred *cred, struct pipe *pipe)
2683c024c3eeSRobert Watson {
2684c024c3eeSRobert Watson 	int error;
2685c024c3eeSRobert Watson 
26861aa37f53SRobert Watson 	PIPE_LOCK_ASSERT(pipe, MA_OWNED);
26871aa37f53SRobert Watson 
26881aa37f53SRobert Watson 	if (!mac_enforce_pipe)
26891aa37f53SRobert Watson 		return (0);
26901aa37f53SRobert Watson 
2691c024c3eeSRobert Watson 	MAC_CHECK(check_pipe_write, cred, pipe, pipe->pipe_label);
2692c024c3eeSRobert Watson 
2693c024c3eeSRobert Watson 	return (error);
2694c024c3eeSRobert Watson }
2695c024c3eeSRobert Watson 
2696c024c3eeSRobert Watson int
269795fab37eSRobert Watson mac_check_proc_debug(struct ucred *cred, struct proc *proc)
269895fab37eSRobert Watson {
269995fab37eSRobert Watson 	int error;
270095fab37eSRobert Watson 
2701b12baf55SRobert Watson 	PROC_LOCK_ASSERT(proc, MA_OWNED);
2702b12baf55SRobert Watson 
270395fab37eSRobert Watson 	if (!mac_enforce_process)
270495fab37eSRobert Watson 		return (0);
270595fab37eSRobert Watson 
270695fab37eSRobert Watson 	MAC_CHECK(check_proc_debug, cred, proc);
270795fab37eSRobert Watson 
270895fab37eSRobert Watson 	return (error);
270995fab37eSRobert Watson }
271095fab37eSRobert Watson 
271195fab37eSRobert Watson int
271295fab37eSRobert Watson mac_check_proc_sched(struct ucred *cred, struct proc *proc)
271395fab37eSRobert Watson {
271495fab37eSRobert Watson 	int error;
271595fab37eSRobert Watson 
2716b12baf55SRobert Watson 	PROC_LOCK_ASSERT(proc, MA_OWNED);
2717b12baf55SRobert Watson 
271895fab37eSRobert Watson 	if (!mac_enforce_process)
271995fab37eSRobert Watson 		return (0);
272095fab37eSRobert Watson 
272195fab37eSRobert Watson 	MAC_CHECK(check_proc_sched, cred, proc);
272295fab37eSRobert Watson 
272395fab37eSRobert Watson 	return (error);
272495fab37eSRobert Watson }
272595fab37eSRobert Watson 
272695fab37eSRobert Watson int
272795fab37eSRobert Watson mac_check_proc_signal(struct ucred *cred, struct proc *proc, int signum)
272895fab37eSRobert Watson {
272995fab37eSRobert Watson 	int error;
273095fab37eSRobert Watson 
2731b12baf55SRobert Watson 	PROC_LOCK_ASSERT(proc, MA_OWNED);
2732b12baf55SRobert Watson 
273395fab37eSRobert Watson 	if (!mac_enforce_process)
273495fab37eSRobert Watson 		return (0);
273595fab37eSRobert Watson 
273695fab37eSRobert Watson 	MAC_CHECK(check_proc_signal, cred, proc, signum);
273795fab37eSRobert Watson 
273895fab37eSRobert Watson 	return (error);
273995fab37eSRobert Watson }
274095fab37eSRobert Watson 
274195fab37eSRobert Watson int
274295fab37eSRobert Watson mac_check_socket_bind(struct ucred *ucred, struct socket *socket,
274395fab37eSRobert Watson     struct sockaddr *sockaddr)
274495fab37eSRobert Watson {
274595fab37eSRobert Watson 	int error;
274695fab37eSRobert Watson 
274795fab37eSRobert Watson 	if (!mac_enforce_socket)
274895fab37eSRobert Watson 		return (0);
274995fab37eSRobert Watson 
275095fab37eSRobert Watson 	MAC_CHECK(check_socket_bind, ucred, socket, &socket->so_label,
275195fab37eSRobert Watson 	    sockaddr);
275295fab37eSRobert Watson 
275395fab37eSRobert Watson 	return (error);
275495fab37eSRobert Watson }
275595fab37eSRobert Watson 
275695fab37eSRobert Watson int
275795fab37eSRobert Watson mac_check_socket_connect(struct ucred *cred, struct socket *socket,
275895fab37eSRobert Watson     struct sockaddr *sockaddr)
275995fab37eSRobert Watson {
276095fab37eSRobert Watson 	int error;
276195fab37eSRobert Watson 
276295fab37eSRobert Watson 	if (!mac_enforce_socket)
276395fab37eSRobert Watson 		return (0);
276495fab37eSRobert Watson 
276595fab37eSRobert Watson 	MAC_CHECK(check_socket_connect, cred, socket, &socket->so_label,
276695fab37eSRobert Watson 	    sockaddr);
276795fab37eSRobert Watson 
276895fab37eSRobert Watson 	return (error);
276995fab37eSRobert Watson }
277095fab37eSRobert Watson 
277195fab37eSRobert Watson int
2772d61198e4SRobert Watson mac_check_socket_deliver(struct socket *socket, struct mbuf *mbuf)
2773d61198e4SRobert Watson {
2774d61198e4SRobert Watson 	int error;
2775d61198e4SRobert Watson 
2776d61198e4SRobert Watson 	if (!mac_enforce_socket)
2777d61198e4SRobert Watson 		return (0);
2778d61198e4SRobert Watson 
2779d61198e4SRobert Watson 	MAC_CHECK(check_socket_deliver, socket, &socket->so_label, mbuf,
2780d61198e4SRobert Watson 	    &mbuf->m_pkthdr.label);
2781d61198e4SRobert Watson 
2782d61198e4SRobert Watson 	return (error);
2783d61198e4SRobert Watson }
2784d61198e4SRobert Watson 
2785d61198e4SRobert Watson int
278695fab37eSRobert Watson mac_check_socket_listen(struct ucred *cred, struct socket *socket)
278795fab37eSRobert Watson {
278895fab37eSRobert Watson 	int error;
278995fab37eSRobert Watson 
279095fab37eSRobert Watson 	if (!mac_enforce_socket)
279195fab37eSRobert Watson 		return (0);
279295fab37eSRobert Watson 
279395fab37eSRobert Watson 	MAC_CHECK(check_socket_listen, cred, socket, &socket->so_label);
279495fab37eSRobert Watson 	return (error);
279595fab37eSRobert Watson }
279695fab37eSRobert Watson 
279795fab37eSRobert Watson static int
279895fab37eSRobert Watson mac_check_socket_relabel(struct ucred *cred, struct socket *socket,
279995fab37eSRobert Watson     struct label *newlabel)
280095fab37eSRobert Watson {
280195fab37eSRobert Watson 	int error;
280295fab37eSRobert Watson 
280395fab37eSRobert Watson 	MAC_CHECK(check_socket_relabel, cred, socket, &socket->so_label,
280495fab37eSRobert Watson 	    newlabel);
280595fab37eSRobert Watson 
280695fab37eSRobert Watson 	return (error);
280795fab37eSRobert Watson }
280895fab37eSRobert Watson 
280995fab37eSRobert Watson int
281095fab37eSRobert Watson mac_check_socket_visible(struct ucred *cred, struct socket *socket)
281195fab37eSRobert Watson {
281295fab37eSRobert Watson 	int error;
281395fab37eSRobert Watson 
281495fab37eSRobert Watson 	if (!mac_enforce_socket)
281595fab37eSRobert Watson 		return (0);
281695fab37eSRobert Watson 
281795fab37eSRobert Watson 	MAC_CHECK(check_socket_visible, cred, socket, &socket->so_label);
281895fab37eSRobert Watson 
281995fab37eSRobert Watson 	return (error);
282095fab37eSRobert Watson }
282195fab37eSRobert Watson 
282295fab37eSRobert Watson int
282395fab37eSRobert Watson mac_ioctl_ifnet_get(struct ucred *cred, struct ifreq *ifr,
282495fab37eSRobert Watson     struct ifnet *ifnet)
282595fab37eSRobert Watson {
282695fab37eSRobert Watson 	struct mac label;
282795fab37eSRobert Watson 	int error;
282895fab37eSRobert Watson 
282995fab37eSRobert Watson 	error = mac_externalize(&ifnet->if_label, &label);
283095fab37eSRobert Watson 	if (error)
283195fab37eSRobert Watson 		return (error);
283295fab37eSRobert Watson 
283395fab37eSRobert Watson 	return (copyout(&label, ifr->ifr_ifru.ifru_data, sizeof(label)));
283495fab37eSRobert Watson }
283595fab37eSRobert Watson 
283695fab37eSRobert Watson int
283795fab37eSRobert Watson mac_ioctl_ifnet_set(struct ucred *cred, struct ifreq *ifr,
283895fab37eSRobert Watson     struct ifnet *ifnet)
283995fab37eSRobert Watson {
284095fab37eSRobert Watson 	struct mac newlabel;
284195fab37eSRobert Watson 	struct label intlabel;
284295fab37eSRobert Watson 	int error;
284395fab37eSRobert Watson 
284495fab37eSRobert Watson 	error = copyin(ifr->ifr_ifru.ifru_data, &newlabel, sizeof(newlabel));
284595fab37eSRobert Watson 	if (error)
284695fab37eSRobert Watson 		return (error);
284795fab37eSRobert Watson 
284895fab37eSRobert Watson 	error = mac_internalize(&intlabel, &newlabel);
284995fab37eSRobert Watson 	if (error)
285095fab37eSRobert Watson 		return (error);
285195fab37eSRobert Watson 
285295fab37eSRobert Watson 	/*
285395fab37eSRobert Watson 	 * XXX: Note that this is a redundant privilege check, since
285495fab37eSRobert Watson 	 * policies impose this check themselves if required by the
285595fab37eSRobert Watson 	 * policy.  Eventually, this should go away.
285695fab37eSRobert Watson 	 */
285795fab37eSRobert Watson 	error = suser_cred(cred, 0);
285895fab37eSRobert Watson 	if (error)
285995fab37eSRobert Watson 		goto out;
286095fab37eSRobert Watson 
286195fab37eSRobert Watson 	MAC_CHECK(check_ifnet_relabel, cred, ifnet, &ifnet->if_label,
286295fab37eSRobert Watson 	    &intlabel);
286395fab37eSRobert Watson 	if (error)
286495fab37eSRobert Watson 		goto out;
286595fab37eSRobert Watson 
286695fab37eSRobert Watson 	MAC_PERFORM(relabel_ifnet, cred, ifnet, &ifnet->if_label, &intlabel);
286795fab37eSRobert Watson 
286895fab37eSRobert Watson out:
286995fab37eSRobert Watson 	mac_destroy_temp(&intlabel);
287095fab37eSRobert Watson 	return (error);
287195fab37eSRobert Watson }
287295fab37eSRobert Watson 
287395fab37eSRobert Watson void
287495fab37eSRobert Watson mac_create_devfs_vnode(struct devfs_dirent *de, struct vnode *vp)
287595fab37eSRobert Watson {
287695fab37eSRobert Watson 
287795fab37eSRobert Watson 	MAC_PERFORM(create_devfs_vnode, de, &de->de_label, vp, &vp->v_label);
287895fab37eSRobert Watson }
287995fab37eSRobert Watson 
288095fab37eSRobert Watson void
288195fab37eSRobert Watson mac_create_devfs_device(dev_t dev, struct devfs_dirent *de)
288295fab37eSRobert Watson {
288395fab37eSRobert Watson 
288495fab37eSRobert Watson 	MAC_PERFORM(create_devfs_device, dev, de, &de->de_label);
288595fab37eSRobert Watson }
288695fab37eSRobert Watson 
288795fab37eSRobert Watson static int
288895fab37eSRobert Watson mac_stdcreatevnode_ea(struct vnode *vp)
288995fab37eSRobert Watson {
289095fab37eSRobert Watson 	int error;
289195fab37eSRobert Watson 
289295fab37eSRobert Watson 	MAC_CHECK(stdcreatevnode_ea, vp, &vp->v_label);
289395fab37eSRobert Watson 
289495fab37eSRobert Watson 	return (error);
289595fab37eSRobert Watson }
289695fab37eSRobert Watson 
289795fab37eSRobert Watson void
289895fab37eSRobert Watson mac_create_devfs_directory(char *dirname, int dirnamelen,
289995fab37eSRobert Watson     struct devfs_dirent *de)
290095fab37eSRobert Watson {
290195fab37eSRobert Watson 
290295fab37eSRobert Watson 	MAC_PERFORM(create_devfs_directory, dirname, dirnamelen, de,
290395fab37eSRobert Watson 	    &de->de_label);
290495fab37eSRobert Watson }
290595fab37eSRobert Watson 
290695fab37eSRobert Watson /*
290795fab37eSRobert Watson  * When a new vnode is created, this call will initialize its label.
290895fab37eSRobert Watson  */
290995fab37eSRobert Watson void
291095fab37eSRobert Watson mac_create_vnode(struct ucred *cred, struct vnode *parent,
291195fab37eSRobert Watson     struct vnode *child)
291295fab37eSRobert Watson {
291395fab37eSRobert Watson 	int error;
291495fab37eSRobert Watson 
291595fab37eSRobert Watson 	ASSERT_VOP_LOCKED(parent, "mac_create_vnode");
291695fab37eSRobert Watson 	ASSERT_VOP_LOCKED(child, "mac_create_vnode");
291795fab37eSRobert Watson 
291895fab37eSRobert Watson 	error = vn_refreshlabel(parent, cred);
291995fab37eSRobert Watson 	if (error) {
292095fab37eSRobert Watson 		printf("mac_create_vnode: vn_refreshlabel returned %d\n",
292195fab37eSRobert Watson 		    error);
292295fab37eSRobert Watson 		printf("mac_create_vnode: using old vnode label\n");
292395fab37eSRobert Watson 	}
292495fab37eSRobert Watson 
292595fab37eSRobert Watson 	MAC_PERFORM(create_vnode, cred, parent, &parent->v_label, child,
292695fab37eSRobert Watson 	    &child->v_label);
292795fab37eSRobert Watson }
292895fab37eSRobert Watson 
292995fab37eSRobert Watson int
293095fab37eSRobert Watson mac_setsockopt_label_set(struct ucred *cred, struct socket *so,
293195fab37eSRobert Watson     struct mac *extmac)
293295fab37eSRobert Watson {
293395fab37eSRobert Watson 	struct label intlabel;
293495fab37eSRobert Watson 	int error;
293595fab37eSRobert Watson 
293695fab37eSRobert Watson 	error = mac_internalize(&intlabel, extmac);
293795fab37eSRobert Watson 	if (error)
293895fab37eSRobert Watson 		return (error);
293995fab37eSRobert Watson 
294095fab37eSRobert Watson 	mac_check_socket_relabel(cred, so, &intlabel);
294195fab37eSRobert Watson 	if (error) {
294295fab37eSRobert Watson 		mac_destroy_temp(&intlabel);
294395fab37eSRobert Watson 		return (error);
294495fab37eSRobert Watson 	}
294595fab37eSRobert Watson 
294695fab37eSRobert Watson 	mac_relabel_socket(cred, so, &intlabel);
294795fab37eSRobert Watson 
294895fab37eSRobert Watson 	mac_destroy_temp(&intlabel);
294995fab37eSRobert Watson 	return (0);
295095fab37eSRobert Watson }
295195fab37eSRobert Watson 
295295fab37eSRobert Watson int
295395fab37eSRobert Watson mac_pipe_label_set(struct ucred *cred, struct pipe *pipe, struct label *label)
295495fab37eSRobert Watson {
295595fab37eSRobert Watson 	int error;
295695fab37eSRobert Watson 
29571aa37f53SRobert Watson 	PIPE_LOCK_ASSERT(pipe, MA_OWNED);
29581aa37f53SRobert Watson 
295995fab37eSRobert Watson 	error = mac_check_pipe_relabel(cred, pipe, label);
296095fab37eSRobert Watson 	if (error)
296195fab37eSRobert Watson 		return (error);
296295fab37eSRobert Watson 
296395fab37eSRobert Watson 	mac_relabel_pipe(cred, pipe, label);
296495fab37eSRobert Watson 
296595fab37eSRobert Watson 	return (0);
296695fab37eSRobert Watson }
296795fab37eSRobert Watson 
296895fab37eSRobert Watson int
296995fab37eSRobert Watson mac_getsockopt_label_get(struct ucred *cred, struct socket *so,
297095fab37eSRobert Watson     struct mac *extmac)
297195fab37eSRobert Watson {
297295fab37eSRobert Watson 
297395fab37eSRobert Watson 	return (mac_externalize(&so->so_label, extmac));
297495fab37eSRobert Watson }
297595fab37eSRobert Watson 
297695fab37eSRobert Watson int
297795fab37eSRobert Watson mac_getsockopt_peerlabel_get(struct ucred *cred, struct socket *so,
297895fab37eSRobert Watson     struct mac *extmac)
297995fab37eSRobert Watson {
298095fab37eSRobert Watson 
298195fab37eSRobert Watson 	return (mac_externalize(&so->so_peerlabel, extmac));
298295fab37eSRobert Watson }
298395fab37eSRobert Watson 
298495fab37eSRobert Watson /*
298595fab37eSRobert Watson  * Implementation of VOP_SETLABEL() that relies on extended attributes
298695fab37eSRobert Watson  * to store label data.  Can be referenced by filesystems supporting
298795fab37eSRobert Watson  * extended attributes.
298895fab37eSRobert Watson  */
298995fab37eSRobert Watson int
299095fab37eSRobert Watson vop_stdsetlabel_ea(struct vop_setlabel_args *ap)
299195fab37eSRobert Watson {
299295fab37eSRobert Watson 	struct vnode *vp = ap->a_vp;
299395fab37eSRobert Watson 	struct label *intlabel = ap->a_label;
299495fab37eSRobert Watson 	struct mac extmac;
299595fab37eSRobert Watson 	int error;
299695fab37eSRobert Watson 
299795fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "vop_stdsetlabel_ea");
299895fab37eSRobert Watson 
299995fab37eSRobert Watson 	/*
300095fab37eSRobert Watson 	 * XXX: Eventually call out to EA check/set calls here.
300195fab37eSRobert Watson 	 * Be particularly careful to avoid race conditions,
300295fab37eSRobert Watson 	 * consistency problems, and stability problems when
300395fab37eSRobert Watson 	 * dealing with multiple EAs.  In particular, we require
300495fab37eSRobert Watson 	 * the ability to write multiple EAs on the same file in
300595fab37eSRobert Watson 	 * a single transaction, which the current EA interface
300695fab37eSRobert Watson 	 * does not provide.
300795fab37eSRobert Watson 	 */
300895fab37eSRobert Watson 
300995fab37eSRobert Watson 	error = mac_externalize(intlabel, &extmac);
301095fab37eSRobert Watson 	if (error)
301195fab37eSRobert Watson 		return (error);
301295fab37eSRobert Watson 
301395fab37eSRobert Watson 	error = vn_extattr_set(vp, IO_NODELOCKED,
301495fab37eSRobert Watson 	    FREEBSD_MAC_EXTATTR_NAMESPACE, FREEBSD_MAC_EXTATTR_NAME,
301595fab37eSRobert Watson 	    sizeof(extmac), (char *)&extmac, curthread);
301695fab37eSRobert Watson 	if (error)
301795fab37eSRobert Watson 		return (error);
301895fab37eSRobert Watson 
301995fab37eSRobert Watson 	mac_relabel_vnode(ap->a_cred, vp, intlabel);
302095fab37eSRobert Watson 
3021e6e370a7SJeff Roberson 	vp->v_vflag |= VV_CACHEDLABEL;
302295fab37eSRobert Watson 
302395fab37eSRobert Watson 	return (0);
302495fab37eSRobert Watson }
302595fab37eSRobert Watson 
302695fab37eSRobert Watson static int
302795fab37eSRobert Watson vn_setlabel(struct vnode *vp, struct label *intlabel, struct ucred *cred)
302895fab37eSRobert Watson {
302995fab37eSRobert Watson 	int error;
303095fab37eSRobert Watson 
303195fab37eSRobert Watson 	if (vp->v_mount == NULL) {
303295fab37eSRobert Watson 		/* printf("vn_setlabel: null v_mount\n"); */
303306be2aaaSNate Lawson 		if (vp->v_type != VNON)
303406be2aaaSNate Lawson 			printf("vn_setlabel: null v_mount with non-VNON\n");
303595fab37eSRobert Watson 		return (EBADF);
303695fab37eSRobert Watson 	}
303795fab37eSRobert Watson 
303895fab37eSRobert Watson 	if ((vp->v_mount->mnt_flag & MNT_MULTILABEL) == 0)
303995fab37eSRobert Watson 		return (EOPNOTSUPP);
304095fab37eSRobert Watson 
304195fab37eSRobert Watson 	/*
304295fab37eSRobert Watson 	 * Multi-phase commit.  First check the policies to confirm the
304395fab37eSRobert Watson 	 * change is OK.  Then commit via the filesystem.  Finally,
304495fab37eSRobert Watson 	 * update the actual vnode label.  Question: maybe the filesystem
304595fab37eSRobert Watson 	 * should update the vnode at the end as part of VOP_SETLABEL()?
304695fab37eSRobert Watson 	 */
304795fab37eSRobert Watson 	error = mac_check_vnode_relabel(cred, vp, intlabel);
304895fab37eSRobert Watson 	if (error)
304995fab37eSRobert Watson 		return (error);
305095fab37eSRobert Watson 
305195fab37eSRobert Watson 	/*
305295fab37eSRobert Watson 	 * VADMIN provides the opportunity for the filesystem to make
305395fab37eSRobert Watson 	 * decisions about who is and is not able to modify labels
305495fab37eSRobert Watson 	 * and protections on files.  This might not be right.  We can't
305595fab37eSRobert Watson 	 * assume VOP_SETLABEL() will do it, because we might implement
305695fab37eSRobert Watson 	 * that as part of vop_stdsetlabel_ea().
305795fab37eSRobert Watson 	 */
305895fab37eSRobert Watson 	error = VOP_ACCESS(vp, VADMIN, cred, curthread);
305995fab37eSRobert Watson 	if (error)
306095fab37eSRobert Watson 		return (error);
306195fab37eSRobert Watson 
306295fab37eSRobert Watson 	error = VOP_SETLABEL(vp, intlabel, cred, curthread);
306395fab37eSRobert Watson 	if (error)
306495fab37eSRobert Watson 		return (error);
306595fab37eSRobert Watson 
306695fab37eSRobert Watson 	return (0);
306795fab37eSRobert Watson }
306895fab37eSRobert Watson 
306995fab37eSRobert Watson /*
307095fab37eSRobert Watson  * MPSAFE
307195fab37eSRobert Watson  */
307295fab37eSRobert Watson int
307395fab37eSRobert Watson __mac_get_proc(struct thread *td, struct __mac_get_proc_args *uap)
307495fab37eSRobert Watson {
307595fab37eSRobert Watson 	struct mac extmac;
307695fab37eSRobert Watson 	int error;
307795fab37eSRobert Watson 
307895fab37eSRobert Watson 	error = mac_externalize(&td->td_ucred->cr_label, &extmac);
307995fab37eSRobert Watson 	if (error == 0)
308095fab37eSRobert Watson 		error = copyout(&extmac, SCARG(uap, mac_p), sizeof(extmac));
308195fab37eSRobert Watson 
308295fab37eSRobert Watson 	return (error);
308395fab37eSRobert Watson }
308495fab37eSRobert Watson 
308595fab37eSRobert Watson /*
308695fab37eSRobert Watson  * MPSAFE
308795fab37eSRobert Watson  */
308895fab37eSRobert Watson int
308995fab37eSRobert Watson __mac_set_proc(struct thread *td, struct __mac_set_proc_args *uap)
309095fab37eSRobert Watson {
309195fab37eSRobert Watson 	struct ucred *newcred, *oldcred;
309295fab37eSRobert Watson 	struct proc *p;
309395fab37eSRobert Watson 	struct mac extmac;
309495fab37eSRobert Watson 	struct label intlabel;
309595fab37eSRobert Watson 	int error;
309695fab37eSRobert Watson 
309795fab37eSRobert Watson 	error = copyin(SCARG(uap, mac_p), &extmac, sizeof(extmac));
309895fab37eSRobert Watson 	if (error)
309995fab37eSRobert Watson 		return (error);
310095fab37eSRobert Watson 
310195fab37eSRobert Watson 	error = mac_internalize(&intlabel, &extmac);
310295fab37eSRobert Watson 	if (error)
310395fab37eSRobert Watson 		return (error);
310495fab37eSRobert Watson 
310595fab37eSRobert Watson 	newcred = crget();
310695fab37eSRobert Watson 
310795fab37eSRobert Watson 	p = td->td_proc;
310895fab37eSRobert Watson 	PROC_LOCK(p);
310995fab37eSRobert Watson 	oldcred = p->p_ucred;
311095fab37eSRobert Watson 
311195fab37eSRobert Watson 	error = mac_check_cred_relabel(oldcred, &intlabel);
311295fab37eSRobert Watson 	if (error) {
311395fab37eSRobert Watson 		PROC_UNLOCK(p);
311495fab37eSRobert Watson 		mac_destroy_temp(&intlabel);
311595fab37eSRobert Watson 		crfree(newcred);
311695fab37eSRobert Watson 		return (error);
311795fab37eSRobert Watson 	}
311895fab37eSRobert Watson 
311995fab37eSRobert Watson 	setsugid(p);
312095fab37eSRobert Watson 	crcopy(newcred, oldcred);
312195fab37eSRobert Watson 	mac_relabel_cred(newcred, &intlabel);
312295fab37eSRobert Watson 	p->p_ucred = newcred;
3123e5cb5e37SRobert Watson 
3124e5cb5e37SRobert Watson 	/*
3125e5cb5e37SRobert Watson 	 * Grab additional reference for use while revoking mmaps, prior
3126e5cb5e37SRobert Watson 	 * to releasing the proc lock and sharing the cred.
3127e5cb5e37SRobert Watson 	 */
3128e5cb5e37SRobert Watson 	crhold(newcred);
312995fab37eSRobert Watson 	PROC_UNLOCK(p);
3130e5cb5e37SRobert Watson 
313116140035SRobert Watson 	mtx_lock(&Giant);
3132e5cb5e37SRobert Watson 	mac_cred_mmapped_drop_perms(td, newcred);
313316140035SRobert Watson 	mtx_unlock(&Giant);
3134e5cb5e37SRobert Watson 
3135e5cb5e37SRobert Watson 	crfree(newcred);	/* Free revocation reference. */
313695fab37eSRobert Watson 	crfree(oldcred);
313795fab37eSRobert Watson 	mac_destroy_temp(&intlabel);
313895fab37eSRobert Watson 	return (0);
313995fab37eSRobert Watson }
314095fab37eSRobert Watson 
314195fab37eSRobert Watson /*
314295fab37eSRobert Watson  * MPSAFE
314395fab37eSRobert Watson  */
314495fab37eSRobert Watson int
314595fab37eSRobert Watson __mac_get_fd(struct thread *td, struct __mac_get_fd_args *uap)
314695fab37eSRobert Watson {
314795fab37eSRobert Watson 	struct file *fp;
314895fab37eSRobert Watson 	struct mac extmac;
314995fab37eSRobert Watson 	struct vnode *vp;
315095fab37eSRobert Watson 	struct pipe *pipe;
315195fab37eSRobert Watson 	int error;
315295fab37eSRobert Watson 
315395fab37eSRobert Watson 	mtx_lock(&Giant);
315495fab37eSRobert Watson 
315595fab37eSRobert Watson 	error = fget(td, SCARG(uap, fd), &fp);
315695fab37eSRobert Watson 	if (error)
315795fab37eSRobert Watson 		goto out;
315895fab37eSRobert Watson 
315995fab37eSRobert Watson 	switch (fp->f_type) {
316095fab37eSRobert Watson 	case DTYPE_FIFO:
316195fab37eSRobert Watson 	case DTYPE_VNODE:
316295fab37eSRobert Watson 		vp = (struct vnode *)fp->f_data;
316395fab37eSRobert Watson 
316495fab37eSRobert Watson 		vn_lock(vp, LK_EXCLUSIVE | LK_RETRY, td);
316595fab37eSRobert Watson 		error = vn_refreshlabel(vp, td->td_ucred);
316695fab37eSRobert Watson 		if (error == 0)
316795fab37eSRobert Watson 			error = mac_externalize(&vp->v_label, &extmac);
316895fab37eSRobert Watson 		VOP_UNLOCK(vp, 0, td);
316995fab37eSRobert Watson 		break;
317095fab37eSRobert Watson 	case DTYPE_PIPE:
317195fab37eSRobert Watson 		pipe = (struct pipe *)fp->f_data;
317295fab37eSRobert Watson 		error = mac_externalize(pipe->pipe_label, &extmac);
317395fab37eSRobert Watson 		break;
317495fab37eSRobert Watson 	default:
317595fab37eSRobert Watson 		error = EINVAL;
317695fab37eSRobert Watson 	}
317795fab37eSRobert Watson 
317895fab37eSRobert Watson 	if (error == 0)
317995fab37eSRobert Watson 		error = copyout(&extmac, SCARG(uap, mac_p), sizeof(extmac));
318095fab37eSRobert Watson 
318195fab37eSRobert Watson 	fdrop(fp, td);
318295fab37eSRobert Watson 
318395fab37eSRobert Watson out:
318495fab37eSRobert Watson 	mtx_unlock(&Giant);
318595fab37eSRobert Watson 	return (error);
318695fab37eSRobert Watson }
318795fab37eSRobert Watson 
318895fab37eSRobert Watson /*
318995fab37eSRobert Watson  * MPSAFE
319095fab37eSRobert Watson  */
319195fab37eSRobert Watson int
319295fab37eSRobert Watson __mac_get_file(struct thread *td, struct __mac_get_file_args *uap)
319395fab37eSRobert Watson {
319495fab37eSRobert Watson 	struct nameidata nd;
319595fab37eSRobert Watson 	struct mac extmac;
319695fab37eSRobert Watson 	int error;
319795fab37eSRobert Watson 
319895fab37eSRobert Watson 	mtx_lock(&Giant);
319995fab37eSRobert Watson 	NDINIT(&nd, LOOKUP, LOCKLEAF | FOLLOW, UIO_USERSPACE,
320095fab37eSRobert Watson 	    SCARG(uap, path_p), td);
320195fab37eSRobert Watson 	error = namei(&nd);
320295fab37eSRobert Watson 	if (error)
320395fab37eSRobert Watson 		goto out;
320495fab37eSRobert Watson 
320595fab37eSRobert Watson 	error = vn_refreshlabel(nd.ni_vp, td->td_ucred);
320695fab37eSRobert Watson 	if (error == 0)
320795fab37eSRobert Watson 		error = mac_externalize(&nd.ni_vp->v_label, &extmac);
320895fab37eSRobert Watson 	NDFREE(&nd, 0);
320995fab37eSRobert Watson 	if (error)
321095fab37eSRobert Watson 		goto out;
321195fab37eSRobert Watson 
321295fab37eSRobert Watson 	error = copyout(&extmac, SCARG(uap, mac_p), sizeof(extmac));
321395fab37eSRobert Watson 
321495fab37eSRobert Watson out:
321595fab37eSRobert Watson 	mtx_unlock(&Giant);
321695fab37eSRobert Watson 	return (error);
321795fab37eSRobert Watson }
321895fab37eSRobert Watson 
321995fab37eSRobert Watson /*
322095fab37eSRobert Watson  * MPSAFE
322195fab37eSRobert Watson  */
322295fab37eSRobert Watson int
322395fab37eSRobert Watson __mac_set_fd(struct thread *td, struct __mac_set_fd_args *uap)
322495fab37eSRobert Watson {
322595fab37eSRobert Watson 	struct file *fp;
322695fab37eSRobert Watson 	struct mac extmac;
322795fab37eSRobert Watson 	struct label intlabel;
322895fab37eSRobert Watson 	struct mount *mp;
322995fab37eSRobert Watson 	struct vnode *vp;
323095fab37eSRobert Watson 	struct pipe *pipe;
323195fab37eSRobert Watson 	int error;
323295fab37eSRobert Watson 
323395fab37eSRobert Watson 	mtx_lock(&Giant);
323495fab37eSRobert Watson 	error = fget(td, SCARG(uap, fd), &fp);
323595fab37eSRobert Watson 	if (error)
323695fab37eSRobert Watson 		goto out1;
323795fab37eSRobert Watson 
323895fab37eSRobert Watson 	error = copyin(SCARG(uap, mac_p), &extmac, sizeof(extmac));
323995fab37eSRobert Watson 	if (error)
324095fab37eSRobert Watson 		goto out2;
324195fab37eSRobert Watson 
324295fab37eSRobert Watson 	error = mac_internalize(&intlabel, &extmac);
324395fab37eSRobert Watson 	if (error)
324495fab37eSRobert Watson 		goto out2;
324595fab37eSRobert Watson 
324695fab37eSRobert Watson 	switch (fp->f_type) {
324795fab37eSRobert Watson 	case DTYPE_FIFO:
324895fab37eSRobert Watson 	case DTYPE_VNODE:
324995fab37eSRobert Watson 		vp = (struct vnode *)fp->f_data;
325095fab37eSRobert Watson 		error = vn_start_write(vp, &mp, V_WAIT | PCATCH);
325195fab37eSRobert Watson 		if (error != 0)
325295fab37eSRobert Watson 			break;
325395fab37eSRobert Watson 
325495fab37eSRobert Watson 		vn_lock(vp, LK_EXCLUSIVE | LK_RETRY, td);
325595fab37eSRobert Watson 		error = vn_setlabel(vp, &intlabel, td->td_ucred);
325695fab37eSRobert Watson 		VOP_UNLOCK(vp, 0, td);
325795fab37eSRobert Watson 		vn_finished_write(mp);
325895fab37eSRobert Watson 		mac_destroy_temp(&intlabel);
325995fab37eSRobert Watson 		break;
326095fab37eSRobert Watson 	case DTYPE_PIPE:
326195fab37eSRobert Watson 		pipe = (struct pipe *)fp->f_data;
32621aa37f53SRobert Watson 		PIPE_LOCK(pipe);
326395fab37eSRobert Watson 		error = mac_pipe_label_set(td->td_ucred, pipe, &intlabel);
32641aa37f53SRobert Watson 		PIPE_UNLOCK(pipe);
326595fab37eSRobert Watson 		break;
326695fab37eSRobert Watson 	default:
326795fab37eSRobert Watson 		error = EINVAL;
326895fab37eSRobert Watson 	}
326995fab37eSRobert Watson 
327095fab37eSRobert Watson out2:
327195fab37eSRobert Watson 	fdrop(fp, td);
327295fab37eSRobert Watson out1:
327395fab37eSRobert Watson 	mtx_unlock(&Giant);
327495fab37eSRobert Watson 	return (error);
327595fab37eSRobert Watson }
327695fab37eSRobert Watson 
327795fab37eSRobert Watson /*
327895fab37eSRobert Watson  * MPSAFE
327995fab37eSRobert Watson  */
328095fab37eSRobert Watson int
328195fab37eSRobert Watson __mac_set_file(struct thread *td, struct __mac_set_file_args *uap)
328295fab37eSRobert Watson {
328395fab37eSRobert Watson 	struct nameidata nd;
328495fab37eSRobert Watson 	struct mac extmac;
328595fab37eSRobert Watson 	struct label intlabel;
328695fab37eSRobert Watson 	struct mount *mp;
328795fab37eSRobert Watson 	int error;
328895fab37eSRobert Watson 
328995fab37eSRobert Watson 	mtx_lock(&Giant);
329095fab37eSRobert Watson 
329195fab37eSRobert Watson 	error = copyin(SCARG(uap, mac_p), &extmac, sizeof(extmac));
329295fab37eSRobert Watson 	if (error)
329395fab37eSRobert Watson 		goto out;
329495fab37eSRobert Watson 
329595fab37eSRobert Watson 	error = mac_internalize(&intlabel, &extmac);
329695fab37eSRobert Watson 	if (error)
329795fab37eSRobert Watson 		goto out;
329895fab37eSRobert Watson 
329995fab37eSRobert Watson 	NDINIT(&nd, LOOKUP, LOCKLEAF | FOLLOW, UIO_USERSPACE,
330095fab37eSRobert Watson 	    SCARG(uap, path_p), td);
330195fab37eSRobert Watson 	error = namei(&nd);
330295fab37eSRobert Watson 	if (error)
330395fab37eSRobert Watson 		goto out2;
330495fab37eSRobert Watson 	error = vn_start_write(nd.ni_vp, &mp, V_WAIT | PCATCH);
330595fab37eSRobert Watson 	if (error)
330695fab37eSRobert Watson 		goto out2;
330795fab37eSRobert Watson 
330895fab37eSRobert Watson 	error = vn_setlabel(nd.ni_vp, &intlabel, td->td_ucred);
330995fab37eSRobert Watson 
331095fab37eSRobert Watson 	vn_finished_write(mp);
331195fab37eSRobert Watson out2:
331295fab37eSRobert Watson 	mac_destroy_temp(&intlabel);
331395fab37eSRobert Watson 	NDFREE(&nd, 0);
331495fab37eSRobert Watson out:
331595fab37eSRobert Watson 	mtx_unlock(&Giant);
331695fab37eSRobert Watson 	return (error);
331795fab37eSRobert Watson }
331895fab37eSRobert Watson 
331927f2eac7SRobert Watson int
332027f2eac7SRobert Watson mac_syscall(struct thread *td, struct mac_syscall_args *uap)
332127f2eac7SRobert Watson {
332227f2eac7SRobert Watson 	struct mac_policy_conf *mpc;
332327f2eac7SRobert Watson 	char target[MAC_MAX_POLICY_NAME];
332427f2eac7SRobert Watson 	int error;
332527f2eac7SRobert Watson 
332627f2eac7SRobert Watson 	error = copyinstr(SCARG(uap, policy), target, sizeof(target), NULL);
332727f2eac7SRobert Watson 	if (error)
332827f2eac7SRobert Watson 		return (error);
332927f2eac7SRobert Watson 
333027f2eac7SRobert Watson 	error = ENOSYS;
333127f2eac7SRobert Watson 	MAC_POLICY_LIST_BUSY();
333227f2eac7SRobert Watson 	LIST_FOREACH(mpc, &mac_policy_list, mpc_list) {
333327f2eac7SRobert Watson 		if (strcmp(mpc->mpc_name, target) == 0 &&
333427f2eac7SRobert Watson 		    mpc->mpc_ops->mpo_syscall != NULL) {
333527f2eac7SRobert Watson 			error = mpc->mpc_ops->mpo_syscall(td,
333627f2eac7SRobert Watson 			    SCARG(uap, call), SCARG(uap, arg));
333727f2eac7SRobert Watson 			goto out;
333827f2eac7SRobert Watson 		}
333927f2eac7SRobert Watson 	}
334027f2eac7SRobert Watson 
334127f2eac7SRobert Watson out:
334227f2eac7SRobert Watson 	MAC_POLICY_LIST_UNBUSY();
334327f2eac7SRobert Watson 	return (error);
334427f2eac7SRobert Watson }
334527f2eac7SRobert Watson 
334695fab37eSRobert Watson SYSINIT(mac, SI_SUB_MAC, SI_ORDER_FIRST, mac_init, NULL);
334795fab37eSRobert Watson SYSINIT(mac_late, SI_SUB_MAC_LATE, SI_ORDER_FIRST, mac_late_init, NULL);
334895fab37eSRobert Watson 
334995fab37eSRobert Watson #else /* !MAC */
33507bc82500SRobert Watson 
33517bc82500SRobert Watson int
33527bc82500SRobert Watson __mac_get_proc(struct thread *td, struct __mac_get_proc_args *uap)
33537bc82500SRobert Watson {
33547bc82500SRobert Watson 
33557bc82500SRobert Watson 	return (ENOSYS);
33567bc82500SRobert Watson }
33577bc82500SRobert Watson 
33587bc82500SRobert Watson int
33597bc82500SRobert Watson __mac_set_proc(struct thread *td, struct __mac_set_proc_args *uap)
33607bc82500SRobert Watson {
33617bc82500SRobert Watson 
33627bc82500SRobert Watson 	return (ENOSYS);
33637bc82500SRobert Watson }
33647bc82500SRobert Watson 
33657bc82500SRobert Watson int
33667bc82500SRobert Watson __mac_get_fd(struct thread *td, struct __mac_get_fd_args *uap)
33677bc82500SRobert Watson {
33687bc82500SRobert Watson 
33697bc82500SRobert Watson 	return (ENOSYS);
33707bc82500SRobert Watson }
33717bc82500SRobert Watson 
33727bc82500SRobert Watson int
33737bc82500SRobert Watson __mac_get_file(struct thread *td, struct __mac_get_file_args *uap)
33747bc82500SRobert Watson {
33757bc82500SRobert Watson 
33767bc82500SRobert Watson 	return (ENOSYS);
33777bc82500SRobert Watson }
33787bc82500SRobert Watson 
33797bc82500SRobert Watson int
33807bc82500SRobert Watson __mac_set_fd(struct thread *td, struct __mac_set_fd_args *uap)
33817bc82500SRobert Watson {
33827bc82500SRobert Watson 
33837bc82500SRobert Watson 	return (ENOSYS);
33847bc82500SRobert Watson }
33857bc82500SRobert Watson 
33867bc82500SRobert Watson int
33877bc82500SRobert Watson __mac_set_file(struct thread *td, struct __mac_set_file_args *uap)
33887bc82500SRobert Watson {
33897bc82500SRobert Watson 
33907bc82500SRobert Watson 	return (ENOSYS);
33917bc82500SRobert Watson }
339295fab37eSRobert Watson 
339327f2eac7SRobert Watson int
339427f2eac7SRobert Watson mac_syscall(struct thread *td, struct mac_syscall_args *uap)
339527f2eac7SRobert Watson {
339627f2eac7SRobert Watson 
339727f2eac7SRobert Watson 	return (ENOSYS);
339827f2eac7SRobert Watson }
339927f2eac7SRobert Watson 
340095fab37eSRobert Watson #endif /* !MAC */
3401