xref: /freebsd/sys/security/mac/mac_system.c (revision 92dbb82a)
17bc82500SRobert Watson /*-
27bc82500SRobert Watson  * Copyright (c) 1999, 2000, 2001, 2002 Robert N. M. Watson
37bc82500SRobert Watson  * Copyright (c) 2001 Ilmar S. Habibulin
47bc82500SRobert Watson  * Copyright (c) 2001, 2002 Networks Associates Technology, Inc.
57bc82500SRobert Watson  * All rights reserved.
67bc82500SRobert Watson  *
77bc82500SRobert Watson  * This software was developed by Robert Watson and Ilmar Habibulin for the
87bc82500SRobert Watson  * TrustedBSD Project.
97bc82500SRobert Watson  *
107bc82500SRobert Watson  * This software was developed for the FreeBSD Project in part by NAI Labs,
117bc82500SRobert Watson  * the Security Research Division of Network Associates, Inc. under
127bc82500SRobert Watson  * DARPA/SPAWAR contract N66001-01-C-8035 ("CBOSS"), as part of the DARPA
137bc82500SRobert Watson  * CHATS research program.
147bc82500SRobert Watson  *
157bc82500SRobert Watson  * Redistribution and use in source and binary forms, with or without
167bc82500SRobert Watson  * modification, are permitted provided that the following conditions
177bc82500SRobert Watson  * are met:
187bc82500SRobert Watson  * 1. Redistributions of source code must retain the above copyright
197bc82500SRobert Watson  *    notice, this list of conditions and the following disclaimer.
207bc82500SRobert Watson  * 2. Redistributions in binary form must reproduce the above copyright
217bc82500SRobert Watson  *    notice, this list of conditions and the following disclaimer in the
227bc82500SRobert Watson  *    documentation and/or other materials provided with the distribution.
237bc82500SRobert Watson  * 3. The names of the authors may not be used to endorse or promote
247bc82500SRobert Watson  *    products derived from this software without specific prior written
257bc82500SRobert Watson  *    permission.
267bc82500SRobert Watson  *
277bc82500SRobert Watson  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
287bc82500SRobert Watson  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
297bc82500SRobert Watson  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
307bc82500SRobert Watson  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
317bc82500SRobert Watson  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
327bc82500SRobert Watson  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
337bc82500SRobert Watson  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
347bc82500SRobert Watson  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
357bc82500SRobert Watson  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
367bc82500SRobert Watson  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
377bc82500SRobert Watson  * SUCH DAMAGE.
387bc82500SRobert Watson  *
397bc82500SRobert Watson  * $FreeBSD$
407bc82500SRobert Watson  */
417bc82500SRobert Watson /*
427bc82500SRobert Watson  * Developed by the TrustedBSD Project.
437bc82500SRobert Watson  *
447bc82500SRobert Watson  * Framework for extensible kernel access control.  Kernel and userland
457bc82500SRobert Watson  * interface to the framework, policy registration and composition.
467bc82500SRobert Watson  */
477bc82500SRobert Watson 
487bc82500SRobert Watson #include "opt_mac.h"
49328048bcSPoul-Henning Kamp #include "opt_devfs.h"
50f9d0d524SRobert Watson 
517bc82500SRobert Watson #include <sys/param.h>
5295fab37eSRobert Watson #include <sys/extattr.h>
5395fab37eSRobert Watson #include <sys/kernel.h>
5495fab37eSRobert Watson #include <sys/lock.h>
55b656366bSBruce Evans #include <sys/malloc.h>
5695fab37eSRobert Watson #include <sys/mutex.h>
5795fab37eSRobert Watson #include <sys/mac.h>
587ba28492SRobert Watson #include <sys/module.h>
5995fab37eSRobert Watson #include <sys/proc.h>
6095fab37eSRobert Watson #include <sys/systm.h>
617bc82500SRobert Watson #include <sys/sysproto.h>
627bc82500SRobert Watson #include <sys/sysent.h>
6395fab37eSRobert Watson #include <sys/vnode.h>
6495fab37eSRobert Watson #include <sys/mount.h>
6595fab37eSRobert Watson #include <sys/file.h>
6695fab37eSRobert Watson #include <sys/namei.h>
6795fab37eSRobert Watson #include <sys/socket.h>
6895fab37eSRobert Watson #include <sys/pipe.h>
6995fab37eSRobert Watson #include <sys/socketvar.h>
7095fab37eSRobert Watson #include <sys/sysctl.h>
7195fab37eSRobert Watson 
7295fab37eSRobert Watson #include <vm/vm.h>
7395fab37eSRobert Watson #include <vm/pmap.h>
7495fab37eSRobert Watson #include <vm/vm_map.h>
7595fab37eSRobert Watson #include <vm/vm_object.h>
7695fab37eSRobert Watson 
7795fab37eSRobert Watson #include <sys/mac_policy.h>
7895fab37eSRobert Watson 
7995fab37eSRobert Watson #include <fs/devfs/devfs.h>
8095fab37eSRobert Watson 
8195fab37eSRobert Watson #include <net/bpfdesc.h>
8295fab37eSRobert Watson #include <net/if.h>
8395fab37eSRobert Watson #include <net/if_var.h>
8495fab37eSRobert Watson 
8595fab37eSRobert Watson #include <netinet/in.h>
8695fab37eSRobert Watson #include <netinet/ip_var.h>
8795fab37eSRobert Watson 
8895fab37eSRobert Watson #ifdef MAC
8995fab37eSRobert Watson 
907ba28492SRobert Watson /*
917ba28492SRobert Watson  * Declare that the kernel provides MAC support, version 1.  This permits
927ba28492SRobert Watson  * modules to refuse to be loaded if the necessary support isn't present,
937ba28492SRobert Watson  * even if it's pre-boot.
947ba28492SRobert Watson  */
957ba28492SRobert Watson MODULE_VERSION(kernel_mac_support, 1);
967ba28492SRobert Watson 
9795fab37eSRobert Watson SYSCTL_DECL(_security);
9895fab37eSRobert Watson 
9995fab37eSRobert Watson SYSCTL_NODE(_security, OID_AUTO, mac, CTLFLAG_RW, 0,
10095fab37eSRobert Watson     "TrustedBSD MAC policy controls");
10195fab37eSRobert Watson #ifndef MAC_MAX_POLICIES
10295fab37eSRobert Watson #define	MAC_MAX_POLICIES	8
10395fab37eSRobert Watson #endif
10495fab37eSRobert Watson #if MAC_MAX_POLICIES > 32
10595fab37eSRobert Watson #error "MAC_MAX_POLICIES too large"
10695fab37eSRobert Watson #endif
10795fab37eSRobert Watson static unsigned int mac_max_policies = MAC_MAX_POLICIES;
10895fab37eSRobert Watson static unsigned int mac_policy_offsets_free = (1 << MAC_MAX_POLICIES) - 1;
10995fab37eSRobert Watson SYSCTL_UINT(_security_mac, OID_AUTO, max_policies, CTLFLAG_RD,
11095fab37eSRobert Watson     &mac_max_policies, 0, "");
11195fab37eSRobert Watson 
11295fab37eSRobert Watson static int	mac_late = 0;
11395fab37eSRobert Watson 
11495fab37eSRobert Watson static int	mac_enforce_fs = 1;
11595fab37eSRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, enforce_fs, CTLFLAG_RW,
11695fab37eSRobert Watson     &mac_enforce_fs, 0, "Enforce MAC policy on file system objects");
11795fab37eSRobert Watson TUNABLE_INT("security.mac.enforce_fs", &mac_enforce_fs);
11895fab37eSRobert Watson 
11995fab37eSRobert Watson static int	mac_enforce_network = 1;
12095fab37eSRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, enforce_network, CTLFLAG_RW,
12195fab37eSRobert Watson     &mac_enforce_network, 0, "Enforce MAC policy on network packets");
12295fab37eSRobert Watson TUNABLE_INT("security.mac.enforce_network", &mac_enforce_network);
12395fab37eSRobert Watson 
124b88c98f6SRobert Watson static int	mac_enforce_pipe = 1;
125b88c98f6SRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, enforce_pipe, CTLFLAG_RW,
126b88c98f6SRobert Watson     &mac_enforce_pipe, 0, "Enforce MAC policy on pipe operations");
127c031391bSRobert Watson TUNABLE_INT("security.mac.enforce_pipe", &mac_enforce_pipe);
128b88c98f6SRobert Watson 
12995fab37eSRobert Watson static int	mac_enforce_process = 1;
13095fab37eSRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, enforce_process, CTLFLAG_RW,
13195fab37eSRobert Watson     &mac_enforce_process, 0, "Enforce MAC policy on inter-process operations");
13295fab37eSRobert Watson TUNABLE_INT("security.mac.enforce_process", &mac_enforce_process);
13395fab37eSRobert Watson 
13495fab37eSRobert Watson static int	mac_enforce_socket = 1;
13595fab37eSRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, enforce_socket, CTLFLAG_RW,
13695fab37eSRobert Watson     &mac_enforce_socket, 0, "Enforce MAC policy on socket operations");
13795fab37eSRobert Watson TUNABLE_INT("security.mac.enforce_socket", &mac_enforce_socket);
13895fab37eSRobert Watson 
139ca7850c3SRobert Watson static int     mac_enforce_vm = 1;
140ca7850c3SRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, enforce_vm, CTLFLAG_RW,
141ca7850c3SRobert Watson     &mac_enforce_vm, 0, "Enforce MAC policy on vm operations");
142c031391bSRobert Watson TUNABLE_INT("security.mac.enforce_vm", &mac_enforce_vm);
143ca7850c3SRobert Watson 
14495fab37eSRobert Watson static int	mac_label_size = sizeof(struct mac);
14595fab37eSRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, label_size, CTLFLAG_RD,
14695fab37eSRobert Watson     &mac_label_size, 0, "Pre-compiled MAC label size");
14795fab37eSRobert Watson 
14895fab37eSRobert Watson static int	mac_cache_fslabel_in_vnode = 1;
14995fab37eSRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, cache_fslabel_in_vnode, CTLFLAG_RW,
15095fab37eSRobert Watson     &mac_cache_fslabel_in_vnode, 0, "Cache mount fslabel in vnode");
15195fab37eSRobert Watson TUNABLE_INT("security.mac.cache_fslabel_in_vnode",
15295fab37eSRobert Watson     &mac_cache_fslabel_in_vnode);
15395fab37eSRobert Watson 
15495fab37eSRobert Watson static int	mac_vnode_label_cache_hits = 0;
15595fab37eSRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, vnode_label_cache_hits, CTLFLAG_RD,
15695fab37eSRobert Watson     &mac_vnode_label_cache_hits, 0, "Cache hits on vnode labels");
15795fab37eSRobert Watson static int	mac_vnode_label_cache_misses = 0;
15895fab37eSRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, vnode_label_cache_misses, CTLFLAG_RD,
15995fab37eSRobert Watson     &mac_vnode_label_cache_misses, 0, "Cache misses on vnode labels");
160c0f39905SRobert Watson 
161c0f39905SRobert Watson static int	mac_mmap_revocation = 1;
162c0f39905SRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, mmap_revocation, CTLFLAG_RW,
163c0f39905SRobert Watson     &mac_mmap_revocation, 0, "Revoke mmap access to files on subject "
164c0f39905SRobert Watson     "relabel");
16599fa64f8SRobert Watson static int	mac_mmap_revocation_via_cow = 0;
16695fab37eSRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, mmap_revocation_via_cow, CTLFLAG_RW,
16795fab37eSRobert Watson     &mac_mmap_revocation_via_cow, 0, "Revoke mmap access to files via "
16895fab37eSRobert Watson     "copy-on-write semantics, or by removing all write access");
16995fab37eSRobert Watson 
170f050add5SRobert Watson #ifdef MAC_DEBUG
1716be0c25eSRobert Watson SYSCTL_NODE(_security_mac, OID_AUTO, debug, CTLFLAG_RW, 0,
1726be0c25eSRobert Watson     "TrustedBSD MAC debug info");
1736be0c25eSRobert Watson 
1746be0c25eSRobert Watson static int	mac_debug_label_fallback = 0;
1756be0c25eSRobert Watson SYSCTL_INT(_security_mac_debug, OID_AUTO, label_fallback, CTLFLAG_RW,
1766be0c25eSRobert Watson     &mac_debug_label_fallback, 0, "Filesystems should fall back to fs label"
1776be0c25eSRobert Watson     "when label is corrupted.");
1786be0c25eSRobert Watson TUNABLE_INT("security.mac.debug_label_fallback",
1796be0c25eSRobert Watson     &mac_debug_label_fallback);
1806be0c25eSRobert Watson 
18195fab37eSRobert Watson static unsigned int nmacmbufs, nmaccreds, nmacifnets, nmacbpfdescs,
18295fab37eSRobert Watson     nmacsockets, nmacmounts, nmactemp, nmacvnodes, nmacdevfsdirents,
18395fab37eSRobert Watson     nmacipqs, nmacpipes;
18495fab37eSRobert Watson SYSCTL_UINT(_security_mac_debug, OID_AUTO, mbufs, CTLFLAG_RD,
18595fab37eSRobert Watson     &nmacmbufs, 0, "number of mbufs in use");
18695fab37eSRobert Watson SYSCTL_UINT(_security_mac_debug, OID_AUTO, creds, CTLFLAG_RD,
18795fab37eSRobert Watson     &nmaccreds, 0, "number of ucreds in use");
18895fab37eSRobert Watson SYSCTL_UINT(_security_mac_debug, OID_AUTO, ifnets, CTLFLAG_RD,
18995fab37eSRobert Watson     &nmacifnets, 0, "number of ifnets in use");
19095fab37eSRobert Watson SYSCTL_UINT(_security_mac_debug, OID_AUTO, ipqs, CTLFLAG_RD,
19195fab37eSRobert Watson     &nmacipqs, 0, "number of ipqs in use");
19295fab37eSRobert Watson SYSCTL_UINT(_security_mac_debug, OID_AUTO, bpfdescs, CTLFLAG_RD,
19395fab37eSRobert Watson     &nmacbpfdescs, 0, "number of bpfdescs in use");
19495fab37eSRobert Watson SYSCTL_UINT(_security_mac_debug, OID_AUTO, sockets, CTLFLAG_RD,
19595fab37eSRobert Watson     &nmacsockets, 0, "number of sockets in use");
19695fab37eSRobert Watson SYSCTL_UINT(_security_mac_debug, OID_AUTO, pipes, CTLFLAG_RD,
19795fab37eSRobert Watson     &nmacpipes, 0, "number of pipes in use");
19895fab37eSRobert Watson SYSCTL_UINT(_security_mac_debug, OID_AUTO, mounts, CTLFLAG_RD,
19995fab37eSRobert Watson     &nmacmounts, 0, "number of mounts in use");
20095fab37eSRobert Watson SYSCTL_UINT(_security_mac_debug, OID_AUTO, temp, CTLFLAG_RD,
20195fab37eSRobert Watson     &nmactemp, 0, "number of temporary labels in use");
20295fab37eSRobert Watson SYSCTL_UINT(_security_mac_debug, OID_AUTO, vnodes, CTLFLAG_RD,
20395fab37eSRobert Watson     &nmacvnodes, 0, "number of vnodes in use");
20495fab37eSRobert Watson SYSCTL_UINT(_security_mac_debug, OID_AUTO, devfsdirents, CTLFLAG_RD,
20595fab37eSRobert Watson     &nmacdevfsdirents, 0, "number of devfs dirents inuse");
206f050add5SRobert Watson #endif
20795fab37eSRobert Watson 
20895fab37eSRobert Watson static int	error_select(int error1, int error2);
20995fab37eSRobert Watson static int	mac_externalize(struct label *label, struct mac *mac);
21095fab37eSRobert Watson static int	mac_policy_register(struct mac_policy_conf *mpc);
21195fab37eSRobert Watson static int	mac_policy_unregister(struct mac_policy_conf *mpc);
21295fab37eSRobert Watson 
21395fab37eSRobert Watson static int	mac_stdcreatevnode_ea(struct vnode *vp);
21495fab37eSRobert Watson static void	mac_cred_mmapped_drop_perms(struct thread *td,
21595fab37eSRobert Watson 		    struct ucred *cred);
21695fab37eSRobert Watson static void	mac_cred_mmapped_drop_perms_recurse(struct thread *td,
21795fab37eSRobert Watson 		    struct ucred *cred, struct vm_map *map);
21895fab37eSRobert Watson 
21995fab37eSRobert Watson MALLOC_DEFINE(M_MACOPVEC, "macopvec", "MAC policy operation vector");
22095fab37eSRobert Watson MALLOC_DEFINE(M_MACPIPELABEL, "macpipelabel", "MAC labels for pipes");
22195fab37eSRobert Watson 
22295fab37eSRobert Watson /*
22395fab37eSRobert Watson  * mac_policy_list_lock protects the consistency of 'mac_policy_list',
22495fab37eSRobert Watson  * the linked list of attached policy modules.  Read-only consumers of
22595fab37eSRobert Watson  * the list must acquire a shared lock for the duration of their use;
22695fab37eSRobert Watson  * writers must acquire an exclusive lock.  Note that for compound
22795fab37eSRobert Watson  * operations, locks should be held for the entire compound operation,
22895fab37eSRobert Watson  * and that this is not yet done for relabel requests.
22995fab37eSRobert Watson  */
23095fab37eSRobert Watson static struct mtx mac_policy_list_lock;
23195fab37eSRobert Watson static LIST_HEAD(, mac_policy_conf) mac_policy_list;
23295fab37eSRobert Watson static int mac_policy_list_busy;
23395fab37eSRobert Watson #define	MAC_POLICY_LIST_LOCKINIT()	mtx_init(&mac_policy_list_lock,	\
23495fab37eSRobert Watson 	"mac_policy_list_lock", NULL, MTX_DEF);
23595fab37eSRobert Watson #define	MAC_POLICY_LIST_LOCK()	mtx_lock(&mac_policy_list_lock);
23695fab37eSRobert Watson #define	MAC_POLICY_LIST_UNLOCK()	mtx_unlock(&mac_policy_list_lock);
23795fab37eSRobert Watson 
23895fab37eSRobert Watson #define	MAC_POLICY_LIST_BUSY() do {					\
23995fab37eSRobert Watson 	MAC_POLICY_LIST_LOCK();						\
24095fab37eSRobert Watson 	mac_policy_list_busy++;						\
24195fab37eSRobert Watson 	MAC_POLICY_LIST_UNLOCK();					\
24295fab37eSRobert Watson } while (0)
24395fab37eSRobert Watson 
24495fab37eSRobert Watson #define	MAC_POLICY_LIST_UNBUSY() do {					\
24595fab37eSRobert Watson 	MAC_POLICY_LIST_LOCK();						\
24695fab37eSRobert Watson 	mac_policy_list_busy--;						\
24795fab37eSRobert Watson 	if (mac_policy_list_busy < 0)					\
24895fab37eSRobert Watson 		panic("Extra mac_policy_list_busy--");			\
24995fab37eSRobert Watson 	MAC_POLICY_LIST_UNLOCK();					\
25095fab37eSRobert Watson } while (0)
25195fab37eSRobert Watson 
25295fab37eSRobert Watson /*
25395fab37eSRobert Watson  * MAC_CHECK performs the designated check by walking the policy
25495fab37eSRobert Watson  * module list and checking with each as to how it feels about the
25595fab37eSRobert Watson  * request.  Note that it returns its value via 'error' in the scope
25695fab37eSRobert Watson  * of the caller.
25795fab37eSRobert Watson  */
25895fab37eSRobert Watson #define	MAC_CHECK(check, args...) do {					\
25995fab37eSRobert Watson 	struct mac_policy_conf *mpc;					\
26095fab37eSRobert Watson 									\
26195fab37eSRobert Watson 	error = 0;							\
26295fab37eSRobert Watson 	MAC_POLICY_LIST_BUSY();						\
26395fab37eSRobert Watson 	LIST_FOREACH(mpc, &mac_policy_list, mpc_list) {			\
26495fab37eSRobert Watson 		if (mpc->mpc_ops->mpo_ ## check != NULL)		\
26595fab37eSRobert Watson 			error = error_select(				\
26695fab37eSRobert Watson 			    mpc->mpc_ops->mpo_ ## check (args),		\
26795fab37eSRobert Watson 			    error);					\
26895fab37eSRobert Watson 	}								\
26995fab37eSRobert Watson 	MAC_POLICY_LIST_UNBUSY();					\
27095fab37eSRobert Watson } while (0)
27195fab37eSRobert Watson 
27295fab37eSRobert Watson /*
27395fab37eSRobert Watson  * MAC_BOOLEAN performs the designated boolean composition by walking
27495fab37eSRobert Watson  * the module list, invoking each instance of the operation, and
27595fab37eSRobert Watson  * combining the results using the passed C operator.  Note that it
27695fab37eSRobert Watson  * returns its value via 'result' in the scope of the caller, which
27795fab37eSRobert Watson  * should be initialized by the caller in a meaningful way to get
27895fab37eSRobert Watson  * a meaningful result.
27995fab37eSRobert Watson  */
28095fab37eSRobert Watson #define	MAC_BOOLEAN(operation, composition, args...) do {		\
28195fab37eSRobert Watson 	struct mac_policy_conf *mpc;					\
28295fab37eSRobert Watson 									\
28395fab37eSRobert Watson 	MAC_POLICY_LIST_BUSY();						\
28495fab37eSRobert Watson 	LIST_FOREACH(mpc, &mac_policy_list, mpc_list) {			\
28595fab37eSRobert Watson 		if (mpc->mpc_ops->mpo_ ## operation != NULL)		\
28695fab37eSRobert Watson 			result = result composition			\
28795fab37eSRobert Watson 			    mpc->mpc_ops->mpo_ ## operation (args);	\
28895fab37eSRobert Watson 	}								\
28995fab37eSRobert Watson 	MAC_POLICY_LIST_UNBUSY();					\
29095fab37eSRobert Watson } while (0)
29195fab37eSRobert Watson 
29295fab37eSRobert Watson /*
29395fab37eSRobert Watson  * MAC_PERFORM performs the designated operation by walking the policy
29495fab37eSRobert Watson  * module list and invoking that operation for each policy.
29595fab37eSRobert Watson  */
29695fab37eSRobert Watson #define	MAC_PERFORM(operation, args...) do {				\
29795fab37eSRobert Watson 	struct mac_policy_conf *mpc;					\
29895fab37eSRobert Watson 									\
29995fab37eSRobert Watson 	MAC_POLICY_LIST_BUSY();						\
30095fab37eSRobert Watson 	LIST_FOREACH(mpc, &mac_policy_list, mpc_list) {			\
30195fab37eSRobert Watson 		if (mpc->mpc_ops->mpo_ ## operation != NULL)		\
30295fab37eSRobert Watson 			mpc->mpc_ops->mpo_ ## operation (args);		\
30395fab37eSRobert Watson 	}								\
30495fab37eSRobert Watson 	MAC_POLICY_LIST_UNBUSY();					\
30595fab37eSRobert Watson } while (0)
30695fab37eSRobert Watson 
30795fab37eSRobert Watson /*
30895fab37eSRobert Watson  * Initialize the MAC subsystem, including appropriate SMP locks.
30995fab37eSRobert Watson  */
31095fab37eSRobert Watson static void
31195fab37eSRobert Watson mac_init(void)
31295fab37eSRobert Watson {
31395fab37eSRobert Watson 
31495fab37eSRobert Watson 	LIST_INIT(&mac_policy_list);
31595fab37eSRobert Watson 	MAC_POLICY_LIST_LOCKINIT();
31695fab37eSRobert Watson }
31795fab37eSRobert Watson 
31895fab37eSRobert Watson /*
31995fab37eSRobert Watson  * For the purposes of modules that want to know if they were loaded
32095fab37eSRobert Watson  * "early", set the mac_late flag once we've processed modules either
32195fab37eSRobert Watson  * linked into the kernel, or loaded before the kernel startup.
32295fab37eSRobert Watson  */
32395fab37eSRobert Watson static void
32495fab37eSRobert Watson mac_late_init(void)
32595fab37eSRobert Watson {
32695fab37eSRobert Watson 
32795fab37eSRobert Watson 	mac_late = 1;
32895fab37eSRobert Watson }
32995fab37eSRobert Watson 
33095fab37eSRobert Watson /*
33195fab37eSRobert Watson  * Allow MAC policy modules to register during boot, etc.
33295fab37eSRobert Watson  */
33395fab37eSRobert Watson int
33495fab37eSRobert Watson mac_policy_modevent(module_t mod, int type, void *data)
33595fab37eSRobert Watson {
33695fab37eSRobert Watson 	struct mac_policy_conf *mpc;
33795fab37eSRobert Watson 	int error;
33895fab37eSRobert Watson 
33995fab37eSRobert Watson 	error = 0;
34095fab37eSRobert Watson 	mpc = (struct mac_policy_conf *) data;
34195fab37eSRobert Watson 
34295fab37eSRobert Watson 	switch (type) {
34395fab37eSRobert Watson 	case MOD_LOAD:
34495fab37eSRobert Watson 		if (mpc->mpc_loadtime_flags & MPC_LOADTIME_FLAG_NOTLATE &&
34595fab37eSRobert Watson 		    mac_late) {
34695fab37eSRobert Watson 			printf("mac_policy_modevent: can't load %s policy "
34795fab37eSRobert Watson 			    "after booting\n", mpc->mpc_name);
34895fab37eSRobert Watson 			error = EBUSY;
34995fab37eSRobert Watson 			break;
35095fab37eSRobert Watson 		}
35195fab37eSRobert Watson 		error = mac_policy_register(mpc);
35295fab37eSRobert Watson 		break;
35395fab37eSRobert Watson 	case MOD_UNLOAD:
35495fab37eSRobert Watson 		/* Don't unregister the module if it was never registered. */
35595fab37eSRobert Watson 		if ((mpc->mpc_runtime_flags & MPC_RUNTIME_FLAG_REGISTERED)
35695fab37eSRobert Watson 		    != 0)
35795fab37eSRobert Watson 			error = mac_policy_unregister(mpc);
35895fab37eSRobert Watson 		else
35995fab37eSRobert Watson 			error = 0;
36095fab37eSRobert Watson 		break;
36195fab37eSRobert Watson 	default:
36295fab37eSRobert Watson 		break;
36395fab37eSRobert Watson 	}
36495fab37eSRobert Watson 
36595fab37eSRobert Watson 	return (error);
36695fab37eSRobert Watson }
36795fab37eSRobert Watson 
36895fab37eSRobert Watson static int
36995fab37eSRobert Watson mac_policy_register(struct mac_policy_conf *mpc)
37095fab37eSRobert Watson {
37195fab37eSRobert Watson 	struct mac_policy_conf *tmpc;
37295fab37eSRobert Watson 	struct mac_policy_op_entry *mpe;
37395fab37eSRobert Watson 	int slot;
37495fab37eSRobert Watson 
375cc51a2b5SRobert Watson 	MALLOC(mpc->mpc_ops, struct mac_policy_ops *, sizeof(*mpc->mpc_ops),
376cc51a2b5SRobert Watson 	    M_MACOPVEC, M_WAITOK | M_ZERO);
37795fab37eSRobert Watson 	for (mpe = mpc->mpc_entries; mpe->mpe_constant != MAC_OP_LAST; mpe++) {
37895fab37eSRobert Watson 		switch (mpe->mpe_constant) {
37995fab37eSRobert Watson 		case MAC_OP_LAST:
38095fab37eSRobert Watson 			/*
38195fab37eSRobert Watson 			 * Doesn't actually happen, but this allows checking
38295fab37eSRobert Watson 			 * that all enumerated values are handled.
38395fab37eSRobert Watson 			 */
38495fab37eSRobert Watson 			break;
38595fab37eSRobert Watson 		case MAC_DESTROY:
38695fab37eSRobert Watson 			mpc->mpc_ops->mpo_destroy =
38795fab37eSRobert Watson 			    mpe->mpe_function;
38895fab37eSRobert Watson 			break;
38995fab37eSRobert Watson 		case MAC_INIT:
39095fab37eSRobert Watson 			mpc->mpc_ops->mpo_init =
39195fab37eSRobert Watson 			    mpe->mpe_function;
39295fab37eSRobert Watson 			break;
39327f2eac7SRobert Watson 		case MAC_SYSCALL:
39427f2eac7SRobert Watson 			mpc->mpc_ops->mpo_syscall =
39527f2eac7SRobert Watson 			    mpe->mpe_function;
39627f2eac7SRobert Watson 			break;
39795fab37eSRobert Watson 		case MAC_INIT_BPFDESC:
39895fab37eSRobert Watson 			mpc->mpc_ops->mpo_init_bpfdesc =
39995fab37eSRobert Watson 			    mpe->mpe_function;
40095fab37eSRobert Watson 			break;
40195fab37eSRobert Watson 		case MAC_INIT_CRED:
40295fab37eSRobert Watson 			mpc->mpc_ops->mpo_init_cred =
40395fab37eSRobert Watson 			    mpe->mpe_function;
40495fab37eSRobert Watson 			break;
40595fab37eSRobert Watson 		case MAC_INIT_DEVFSDIRENT:
40695fab37eSRobert Watson 			mpc->mpc_ops->mpo_init_devfsdirent =
40795fab37eSRobert Watson 			    mpe->mpe_function;
40895fab37eSRobert Watson 			break;
40995fab37eSRobert Watson 		case MAC_INIT_IFNET:
41095fab37eSRobert Watson 			mpc->mpc_ops->mpo_init_ifnet =
41195fab37eSRobert Watson 			    mpe->mpe_function;
41295fab37eSRobert Watson 			break;
41395fab37eSRobert Watson 		case MAC_INIT_IPQ:
41495fab37eSRobert Watson 			mpc->mpc_ops->mpo_init_ipq =
41595fab37eSRobert Watson 			    mpe->mpe_function;
41695fab37eSRobert Watson 			break;
41795fab37eSRobert Watson 		case MAC_INIT_MBUF:
41895fab37eSRobert Watson 			mpc->mpc_ops->mpo_init_mbuf =
41995fab37eSRobert Watson 			    mpe->mpe_function;
42095fab37eSRobert Watson 			break;
42195fab37eSRobert Watson 		case MAC_INIT_MOUNT:
42295fab37eSRobert Watson 			mpc->mpc_ops->mpo_init_mount =
42395fab37eSRobert Watson 			    mpe->mpe_function;
42495fab37eSRobert Watson 			break;
42595fab37eSRobert Watson 		case MAC_INIT_PIPE:
42695fab37eSRobert Watson 			mpc->mpc_ops->mpo_init_pipe =
42795fab37eSRobert Watson 			    mpe->mpe_function;
42895fab37eSRobert Watson 			break;
42995fab37eSRobert Watson 		case MAC_INIT_SOCKET:
43095fab37eSRobert Watson 			mpc->mpc_ops->mpo_init_socket =
43195fab37eSRobert Watson 			    mpe->mpe_function;
43295fab37eSRobert Watson 			break;
43395fab37eSRobert Watson 		case MAC_INIT_TEMP:
43495fab37eSRobert Watson 			mpc->mpc_ops->mpo_init_temp =
43595fab37eSRobert Watson 			    mpe->mpe_function;
43695fab37eSRobert Watson 			break;
43795fab37eSRobert Watson 		case MAC_INIT_VNODE:
43895fab37eSRobert Watson 			mpc->mpc_ops->mpo_init_vnode =
43995fab37eSRobert Watson 			    mpe->mpe_function;
44095fab37eSRobert Watson 			break;
44195fab37eSRobert Watson 		case MAC_DESTROY_BPFDESC:
44295fab37eSRobert Watson 			mpc->mpc_ops->mpo_destroy_bpfdesc =
44395fab37eSRobert Watson 			    mpe->mpe_function;
44495fab37eSRobert Watson 			break;
44595fab37eSRobert Watson 		case MAC_DESTROY_CRED:
44695fab37eSRobert Watson 			mpc->mpc_ops->mpo_destroy_cred =
44795fab37eSRobert Watson 			    mpe->mpe_function;
44895fab37eSRobert Watson 			break;
44995fab37eSRobert Watson 		case MAC_DESTROY_DEVFSDIRENT:
45095fab37eSRobert Watson 			mpc->mpc_ops->mpo_destroy_devfsdirent =
45195fab37eSRobert Watson 			    mpe->mpe_function;
45295fab37eSRobert Watson 			break;
45395fab37eSRobert Watson 		case MAC_DESTROY_IFNET:
45495fab37eSRobert Watson 			mpc->mpc_ops->mpo_destroy_ifnet =
45595fab37eSRobert Watson 			    mpe->mpe_function;
45695fab37eSRobert Watson 			break;
45795fab37eSRobert Watson 		case MAC_DESTROY_IPQ:
45895fab37eSRobert Watson 			mpc->mpc_ops->mpo_destroy_ipq =
45995fab37eSRobert Watson 			    mpe->mpe_function;
46095fab37eSRobert Watson 			break;
46195fab37eSRobert Watson 		case MAC_DESTROY_MBUF:
46295fab37eSRobert Watson 			mpc->mpc_ops->mpo_destroy_mbuf =
46395fab37eSRobert Watson 			    mpe->mpe_function;
46495fab37eSRobert Watson 			break;
46595fab37eSRobert Watson 		case MAC_DESTROY_MOUNT:
46695fab37eSRobert Watson 			mpc->mpc_ops->mpo_destroy_mount =
46795fab37eSRobert Watson 			    mpe->mpe_function;
46895fab37eSRobert Watson 			break;
46995fab37eSRobert Watson 		case MAC_DESTROY_PIPE:
47095fab37eSRobert Watson 			mpc->mpc_ops->mpo_destroy_pipe =
47195fab37eSRobert Watson 			    mpe->mpe_function;
47295fab37eSRobert Watson 			break;
47395fab37eSRobert Watson 		case MAC_DESTROY_SOCKET:
47495fab37eSRobert Watson 			mpc->mpc_ops->mpo_destroy_socket =
47595fab37eSRobert Watson 			    mpe->mpe_function;
47695fab37eSRobert Watson 			break;
47795fab37eSRobert Watson 		case MAC_DESTROY_TEMP:
47895fab37eSRobert Watson 			mpc->mpc_ops->mpo_destroy_temp =
47995fab37eSRobert Watson 			    mpe->mpe_function;
48095fab37eSRobert Watson 			break;
48195fab37eSRobert Watson 		case MAC_DESTROY_VNODE:
48295fab37eSRobert Watson 			mpc->mpc_ops->mpo_destroy_vnode =
48395fab37eSRobert Watson 			    mpe->mpe_function;
48495fab37eSRobert Watson 			break;
48595fab37eSRobert Watson 		case MAC_EXTERNALIZE:
48695fab37eSRobert Watson 			mpc->mpc_ops->mpo_externalize =
48795fab37eSRobert Watson 			    mpe->mpe_function;
48895fab37eSRobert Watson 			break;
48995fab37eSRobert Watson 		case MAC_INTERNALIZE:
49095fab37eSRobert Watson 			mpc->mpc_ops->mpo_internalize =
49195fab37eSRobert Watson 			    mpe->mpe_function;
49295fab37eSRobert Watson 			break;
49395fab37eSRobert Watson 		case MAC_CREATE_DEVFS_DEVICE:
49495fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_devfs_device =
49595fab37eSRobert Watson 			    mpe->mpe_function;
49695fab37eSRobert Watson 			break;
49795fab37eSRobert Watson 		case MAC_CREATE_DEVFS_DIRECTORY:
49895fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_devfs_directory =
49995fab37eSRobert Watson 			    mpe->mpe_function;
50095fab37eSRobert Watson 			break;
50195fab37eSRobert Watson 		case MAC_CREATE_DEVFS_VNODE:
50295fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_devfs_vnode =
50395fab37eSRobert Watson 			    mpe->mpe_function;
50495fab37eSRobert Watson 			break;
50595fab37eSRobert Watson 		case MAC_STDCREATEVNODE_EA:
50695fab37eSRobert Watson 			mpc->mpc_ops->mpo_stdcreatevnode_ea =
50795fab37eSRobert Watson 			    mpe->mpe_function;
50895fab37eSRobert Watson 			break;
50995fab37eSRobert Watson 		case MAC_CREATE_VNODE:
51095fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_vnode =
51195fab37eSRobert Watson 			    mpe->mpe_function;
51295fab37eSRobert Watson 			break;
51395fab37eSRobert Watson 		case MAC_CREATE_MOUNT:
51495fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_mount =
51595fab37eSRobert Watson 			    mpe->mpe_function;
51695fab37eSRobert Watson 			break;
51795fab37eSRobert Watson 		case MAC_CREATE_ROOT_MOUNT:
51895fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_root_mount =
51995fab37eSRobert Watson 			    mpe->mpe_function;
52095fab37eSRobert Watson 			break;
52195fab37eSRobert Watson 		case MAC_RELABEL_VNODE:
52295fab37eSRobert Watson 			mpc->mpc_ops->mpo_relabel_vnode =
52395fab37eSRobert Watson 			    mpe->mpe_function;
52495fab37eSRobert Watson 			break;
52595fab37eSRobert Watson 		case MAC_UPDATE_DEVFSDIRENT:
52695fab37eSRobert Watson 			mpc->mpc_ops->mpo_update_devfsdirent =
52795fab37eSRobert Watson 			    mpe->mpe_function;
52895fab37eSRobert Watson 			break;
52995fab37eSRobert Watson 		case MAC_UPDATE_PROCFSVNODE:
53095fab37eSRobert Watson 			mpc->mpc_ops->mpo_update_procfsvnode =
53195fab37eSRobert Watson 			    mpe->mpe_function;
53295fab37eSRobert Watson 			break;
53395fab37eSRobert Watson 		case MAC_UPDATE_VNODE_FROM_EXTATTR:
53495fab37eSRobert Watson 			mpc->mpc_ops->mpo_update_vnode_from_extattr =
53595fab37eSRobert Watson 			    mpe->mpe_function;
53695fab37eSRobert Watson 			break;
53795fab37eSRobert Watson 		case MAC_UPDATE_VNODE_FROM_EXTERNALIZED:
53895fab37eSRobert Watson 			mpc->mpc_ops->mpo_update_vnode_from_externalized =
53995fab37eSRobert Watson 			    mpe->mpe_function;
54095fab37eSRobert Watson 			break;
54195fab37eSRobert Watson 		case MAC_UPDATE_VNODE_FROM_MOUNT:
54295fab37eSRobert Watson 			mpc->mpc_ops->mpo_update_vnode_from_mount =
54395fab37eSRobert Watson 			    mpe->mpe_function;
54495fab37eSRobert Watson 			break;
54595fab37eSRobert Watson 		case MAC_CREATE_MBUF_FROM_SOCKET:
54695fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_mbuf_from_socket =
54795fab37eSRobert Watson 			    mpe->mpe_function;
54895fab37eSRobert Watson 			break;
54995fab37eSRobert Watson 		case MAC_CREATE_PIPE:
55095fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_pipe =
55195fab37eSRobert Watson 			    mpe->mpe_function;
55295fab37eSRobert Watson 			break;
55395fab37eSRobert Watson 		case MAC_CREATE_SOCKET:
55495fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_socket =
55595fab37eSRobert Watson 			    mpe->mpe_function;
55695fab37eSRobert Watson 			break;
55795fab37eSRobert Watson 		case MAC_CREATE_SOCKET_FROM_SOCKET:
55895fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_socket_from_socket =
55995fab37eSRobert Watson 			    mpe->mpe_function;
56095fab37eSRobert Watson 			break;
56195fab37eSRobert Watson 		case MAC_RELABEL_PIPE:
56295fab37eSRobert Watson 			mpc->mpc_ops->mpo_relabel_pipe =
56395fab37eSRobert Watson 			    mpe->mpe_function;
56495fab37eSRobert Watson 			break;
56595fab37eSRobert Watson 		case MAC_RELABEL_SOCKET:
56695fab37eSRobert Watson 			mpc->mpc_ops->mpo_relabel_socket =
56795fab37eSRobert Watson 			    mpe->mpe_function;
56895fab37eSRobert Watson 			break;
56995fab37eSRobert Watson 		case MAC_SET_SOCKET_PEER_FROM_MBUF:
57095fab37eSRobert Watson 			mpc->mpc_ops->mpo_set_socket_peer_from_mbuf =
57195fab37eSRobert Watson 			    mpe->mpe_function;
57295fab37eSRobert Watson 			break;
57395fab37eSRobert Watson 		case MAC_SET_SOCKET_PEER_FROM_SOCKET:
57495fab37eSRobert Watson 			mpc->mpc_ops->mpo_set_socket_peer_from_socket =
57595fab37eSRobert Watson 			    mpe->mpe_function;
57695fab37eSRobert Watson 			break;
57795fab37eSRobert Watson 		case MAC_CREATE_BPFDESC:
57895fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_bpfdesc =
57995fab37eSRobert Watson 			    mpe->mpe_function;
58095fab37eSRobert Watson 			break;
58195fab37eSRobert Watson 		case MAC_CREATE_DATAGRAM_FROM_IPQ:
58295fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_datagram_from_ipq =
58395fab37eSRobert Watson 			    mpe->mpe_function;
58495fab37eSRobert Watson 			break;
58595fab37eSRobert Watson 		case MAC_CREATE_FRAGMENT:
58695fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_fragment =
58795fab37eSRobert Watson 			    mpe->mpe_function;
58895fab37eSRobert Watson 			break;
58995fab37eSRobert Watson 		case MAC_CREATE_IFNET:
59095fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_ifnet =
59195fab37eSRobert Watson 			    mpe->mpe_function;
59295fab37eSRobert Watson 			break;
59395fab37eSRobert Watson 		case MAC_CREATE_IPQ:
59495fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_ipq =
59595fab37eSRobert Watson 			    mpe->mpe_function;
59695fab37eSRobert Watson 			break;
59795fab37eSRobert Watson 		case MAC_CREATE_MBUF_FROM_MBUF:
59895fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_mbuf_from_mbuf =
59995fab37eSRobert Watson 			    mpe->mpe_function;
60095fab37eSRobert Watson 			break;
60195fab37eSRobert Watson 		case MAC_CREATE_MBUF_LINKLAYER:
60295fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_mbuf_linklayer =
60395fab37eSRobert Watson 			    mpe->mpe_function;
60495fab37eSRobert Watson 			break;
60595fab37eSRobert Watson 		case MAC_CREATE_MBUF_FROM_BPFDESC:
60695fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_mbuf_from_bpfdesc =
60795fab37eSRobert Watson 			    mpe->mpe_function;
60895fab37eSRobert Watson 			break;
60995fab37eSRobert Watson 		case MAC_CREATE_MBUF_FROM_IFNET:
61095fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_mbuf_from_ifnet =
61195fab37eSRobert Watson 			    mpe->mpe_function;
61295fab37eSRobert Watson 			break;
61395fab37eSRobert Watson 		case MAC_CREATE_MBUF_MULTICAST_ENCAP:
61495fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_mbuf_multicast_encap =
61595fab37eSRobert Watson 			    mpe->mpe_function;
61695fab37eSRobert Watson 			break;
61795fab37eSRobert Watson 		case MAC_CREATE_MBUF_NETLAYER:
61895fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_mbuf_netlayer =
61995fab37eSRobert Watson 			    mpe->mpe_function;
62095fab37eSRobert Watson 			break;
62195fab37eSRobert Watson 		case MAC_FRAGMENT_MATCH:
62295fab37eSRobert Watson 			mpc->mpc_ops->mpo_fragment_match =
62395fab37eSRobert Watson 			    mpe->mpe_function;
62495fab37eSRobert Watson 			break;
62595fab37eSRobert Watson 		case MAC_RELABEL_IFNET:
62695fab37eSRobert Watson 			mpc->mpc_ops->mpo_relabel_ifnet =
62795fab37eSRobert Watson 			    mpe->mpe_function;
62895fab37eSRobert Watson 			break;
62995fab37eSRobert Watson 		case MAC_UPDATE_IPQ:
63095fab37eSRobert Watson 			mpc->mpc_ops->mpo_update_ipq =
63195fab37eSRobert Watson 			    mpe->mpe_function;
63295fab37eSRobert Watson 			break;
63395fab37eSRobert Watson 		case MAC_CREATE_CRED:
63495fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_cred =
63595fab37eSRobert Watson 			    mpe->mpe_function;
63695fab37eSRobert Watson 			break;
63795fab37eSRobert Watson 		case MAC_EXECVE_TRANSITION:
63895fab37eSRobert Watson 			mpc->mpc_ops->mpo_execve_transition =
63995fab37eSRobert Watson 			    mpe->mpe_function;
64095fab37eSRobert Watson 			break;
64195fab37eSRobert Watson 		case MAC_EXECVE_WILL_TRANSITION:
64295fab37eSRobert Watson 			mpc->mpc_ops->mpo_execve_will_transition =
64395fab37eSRobert Watson 			    mpe->mpe_function;
64495fab37eSRobert Watson 			break;
64595fab37eSRobert Watson 		case MAC_CREATE_PROC0:
64695fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_proc0 = mpe->mpe_function;
64795fab37eSRobert Watson 			break;
64895fab37eSRobert Watson 		case MAC_CREATE_PROC1:
64995fab37eSRobert Watson 			mpc->mpc_ops->mpo_create_proc1 = mpe->mpe_function;
65095fab37eSRobert Watson 			break;
65195fab37eSRobert Watson 		case MAC_RELABEL_CRED:
65295fab37eSRobert Watson 			mpc->mpc_ops->mpo_relabel_cred =
65395fab37eSRobert Watson 			    mpe->mpe_function;
65495fab37eSRobert Watson 			break;
65592dbb82aSRobert Watson 		case MAC_THREAD_USERRET:
65692dbb82aSRobert Watson 			mpc->mpc_ops->mpo_thread_userret =
65792dbb82aSRobert Watson 			    mpe->mpe_function;
65892dbb82aSRobert Watson 			break;
65995fab37eSRobert Watson 		case MAC_CHECK_BPFDESC_RECEIVE:
66095fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_bpfdesc_receive =
66195fab37eSRobert Watson 			    mpe->mpe_function;
66295fab37eSRobert Watson 			break;
66395fab37eSRobert Watson 		case MAC_CHECK_CRED_RELABEL:
66495fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_cred_relabel =
66595fab37eSRobert Watson 			    mpe->mpe_function;
66695fab37eSRobert Watson 			break;
66795fab37eSRobert Watson 		case MAC_CHECK_CRED_VISIBLE:
66895fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_cred_visible =
66995fab37eSRobert Watson 			    mpe->mpe_function;
67095fab37eSRobert Watson 			break;
67195fab37eSRobert Watson 		case MAC_CHECK_IFNET_RELABEL:
67295fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_ifnet_relabel =
67395fab37eSRobert Watson 			    mpe->mpe_function;
67495fab37eSRobert Watson 			break;
67595fab37eSRobert Watson 		case MAC_CHECK_IFNET_TRANSMIT:
67695fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_ifnet_transmit =
67795fab37eSRobert Watson 			    mpe->mpe_function;
67895fab37eSRobert Watson 			break;
67995fab37eSRobert Watson 		case MAC_CHECK_MOUNT_STAT:
68095fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_mount_stat =
68195fab37eSRobert Watson 			    mpe->mpe_function;
68295fab37eSRobert Watson 			break;
68395fab37eSRobert Watson 		case MAC_CHECK_PIPE_IOCTL:
68495fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_pipe_ioctl =
68595fab37eSRobert Watson 			    mpe->mpe_function;
68695fab37eSRobert Watson 			break;
687c024c3eeSRobert Watson 		case MAC_CHECK_PIPE_POLL:
688c024c3eeSRobert Watson 			mpc->mpc_ops->mpo_check_pipe_poll =
689c024c3eeSRobert Watson 			    mpe->mpe_function;
690c024c3eeSRobert Watson 			break;
691c024c3eeSRobert Watson 		case MAC_CHECK_PIPE_READ:
692c024c3eeSRobert Watson 			mpc->mpc_ops->mpo_check_pipe_read =
69395fab37eSRobert Watson 			    mpe->mpe_function;
69495fab37eSRobert Watson 			break;
69595fab37eSRobert Watson 		case MAC_CHECK_PIPE_RELABEL:
69695fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_pipe_relabel =
69795fab37eSRobert Watson 			    mpe->mpe_function;
69895fab37eSRobert Watson 			break;
699c024c3eeSRobert Watson 		case MAC_CHECK_PIPE_STAT:
700c024c3eeSRobert Watson 			mpc->mpc_ops->mpo_check_pipe_stat =
701c024c3eeSRobert Watson 			    mpe->mpe_function;
702c024c3eeSRobert Watson 			break;
703c024c3eeSRobert Watson 		case MAC_CHECK_PIPE_WRITE:
704c024c3eeSRobert Watson 			mpc->mpc_ops->mpo_check_pipe_write =
705c024c3eeSRobert Watson 			    mpe->mpe_function;
706c024c3eeSRobert Watson 			break;
70795fab37eSRobert Watson 		case MAC_CHECK_PROC_DEBUG:
70895fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_proc_debug =
70995fab37eSRobert Watson 			    mpe->mpe_function;
71095fab37eSRobert Watson 			break;
71195fab37eSRobert Watson 		case MAC_CHECK_PROC_SCHED:
71295fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_proc_sched =
71395fab37eSRobert Watson 			    mpe->mpe_function;
71495fab37eSRobert Watson 			break;
71595fab37eSRobert Watson 		case MAC_CHECK_PROC_SIGNAL:
71695fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_proc_signal =
71795fab37eSRobert Watson 			    mpe->mpe_function;
71895fab37eSRobert Watson 			break;
71995fab37eSRobert Watson 		case MAC_CHECK_SOCKET_BIND:
72095fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_socket_bind =
72195fab37eSRobert Watson 			    mpe->mpe_function;
72295fab37eSRobert Watson 			break;
72395fab37eSRobert Watson 		case MAC_CHECK_SOCKET_CONNECT:
72495fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_socket_connect =
72595fab37eSRobert Watson 			    mpe->mpe_function;
72695fab37eSRobert Watson 			break;
727d61198e4SRobert Watson 		case MAC_CHECK_SOCKET_DELIVER:
728d61198e4SRobert Watson 			mpc->mpc_ops->mpo_check_socket_deliver =
72995fab37eSRobert Watson 			    mpe->mpe_function;
73095fab37eSRobert Watson 			break;
731d61198e4SRobert Watson 		case MAC_CHECK_SOCKET_LISTEN:
732d61198e4SRobert Watson 			mpc->mpc_ops->mpo_check_socket_listen =
73395fab37eSRobert Watson 			    mpe->mpe_function;
73495fab37eSRobert Watson 			break;
73595fab37eSRobert Watson 		case MAC_CHECK_SOCKET_RELABEL:
73695fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_socket_relabel =
73795fab37eSRobert Watson 			    mpe->mpe_function;
73895fab37eSRobert Watson 			break;
73995fab37eSRobert Watson 		case MAC_CHECK_SOCKET_VISIBLE:
74095fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_socket_visible =
74195fab37eSRobert Watson 			    mpe->mpe_function;
74295fab37eSRobert Watson 			break;
74395fab37eSRobert Watson 		case MAC_CHECK_VNODE_ACCESS:
74495fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_access =
74595fab37eSRobert Watson 			    mpe->mpe_function;
74695fab37eSRobert Watson 			break;
74795fab37eSRobert Watson 		case MAC_CHECK_VNODE_CHDIR:
74895fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_chdir =
74995fab37eSRobert Watson 			    mpe->mpe_function;
75095fab37eSRobert Watson 			break;
75195fab37eSRobert Watson 		case MAC_CHECK_VNODE_CHROOT:
75295fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_chroot =
75395fab37eSRobert Watson 			    mpe->mpe_function;
75495fab37eSRobert Watson 			break;
75595fab37eSRobert Watson 		case MAC_CHECK_VNODE_CREATE:
75695fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_create =
75795fab37eSRobert Watson 			    mpe->mpe_function;
75895fab37eSRobert Watson 			break;
75995fab37eSRobert Watson 		case MAC_CHECK_VNODE_DELETE:
76095fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_delete =
76195fab37eSRobert Watson 			    mpe->mpe_function;
76295fab37eSRobert Watson 			break;
76395fab37eSRobert Watson 		case MAC_CHECK_VNODE_DELETEACL:
76495fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_deleteacl =
76595fab37eSRobert Watson 			    mpe->mpe_function;
76695fab37eSRobert Watson 			break;
76795fab37eSRobert Watson 		case MAC_CHECK_VNODE_EXEC:
76895fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_exec =
76995fab37eSRobert Watson 			    mpe->mpe_function;
77095fab37eSRobert Watson 			break;
77195fab37eSRobert Watson 		case MAC_CHECK_VNODE_GETACL:
77295fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_getacl =
77395fab37eSRobert Watson 			    mpe->mpe_function;
77495fab37eSRobert Watson 			break;
77595fab37eSRobert Watson 		case MAC_CHECK_VNODE_GETEXTATTR:
77695fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_getextattr =
77795fab37eSRobert Watson 			    mpe->mpe_function;
77895fab37eSRobert Watson 			break;
77995fab37eSRobert Watson 		case MAC_CHECK_VNODE_LOOKUP:
78095fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_lookup =
78195fab37eSRobert Watson 			    mpe->mpe_function;
78295fab37eSRobert Watson 			break;
78395fab37eSRobert Watson 		case MAC_CHECK_VNODE_MMAP_PERMS:
78495fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_mmap_perms =
78595fab37eSRobert Watson 			    mpe->mpe_function;
78695fab37eSRobert Watson 			break;
78795fab37eSRobert Watson 		case MAC_CHECK_VNODE_OPEN:
78895fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_open =
78995fab37eSRobert Watson 			    mpe->mpe_function;
79095fab37eSRobert Watson 			break;
7917f724f8bSRobert Watson 		case MAC_CHECK_VNODE_POLL:
7927f724f8bSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_poll =
7937f724f8bSRobert Watson 			    mpe->mpe_function;
7947f724f8bSRobert Watson 			break;
7957f724f8bSRobert Watson 		case MAC_CHECK_VNODE_READ:
7967f724f8bSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_read =
7977f724f8bSRobert Watson 			    mpe->mpe_function;
7987f724f8bSRobert Watson 			break;
79995fab37eSRobert Watson 		case MAC_CHECK_VNODE_READDIR:
80095fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_readdir =
80195fab37eSRobert Watson 			    mpe->mpe_function;
80295fab37eSRobert Watson 			break;
80395fab37eSRobert Watson 		case MAC_CHECK_VNODE_READLINK:
80495fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_readlink =
80595fab37eSRobert Watson 			    mpe->mpe_function;
80695fab37eSRobert Watson 			break;
80795fab37eSRobert Watson 		case MAC_CHECK_VNODE_RELABEL:
80895fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_relabel =
80995fab37eSRobert Watson 			    mpe->mpe_function;
81095fab37eSRobert Watson 			break;
81195fab37eSRobert Watson 		case MAC_CHECK_VNODE_RENAME_FROM:
81295fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_rename_from =
81395fab37eSRobert Watson 			    mpe->mpe_function;
81495fab37eSRobert Watson 			break;
81595fab37eSRobert Watson 		case MAC_CHECK_VNODE_RENAME_TO:
81695fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_rename_to =
81795fab37eSRobert Watson 			    mpe->mpe_function;
81895fab37eSRobert Watson 			break;
81995fab37eSRobert Watson 		case MAC_CHECK_VNODE_REVOKE:
82095fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_revoke =
82195fab37eSRobert Watson 			    mpe->mpe_function;
82295fab37eSRobert Watson 			break;
82395fab37eSRobert Watson 		case MAC_CHECK_VNODE_SETACL:
82495fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_setacl =
82595fab37eSRobert Watson 			    mpe->mpe_function;
82695fab37eSRobert Watson 			break;
82795fab37eSRobert Watson 		case MAC_CHECK_VNODE_SETEXTATTR:
82895fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_setextattr =
82995fab37eSRobert Watson 			    mpe->mpe_function;
83095fab37eSRobert Watson 			break;
83195fab37eSRobert Watson 		case MAC_CHECK_VNODE_SETFLAGS:
83295fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_setflags =
83395fab37eSRobert Watson 			    mpe->mpe_function;
83495fab37eSRobert Watson 			break;
83595fab37eSRobert Watson 		case MAC_CHECK_VNODE_SETMODE:
83695fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_setmode =
83795fab37eSRobert Watson 			    mpe->mpe_function;
83895fab37eSRobert Watson 			break;
83995fab37eSRobert Watson 		case MAC_CHECK_VNODE_SETOWNER:
84095fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_setowner =
84195fab37eSRobert Watson 			    mpe->mpe_function;
84295fab37eSRobert Watson 			break;
84395fab37eSRobert Watson 		case MAC_CHECK_VNODE_SETUTIMES:
84495fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_setutimes =
84595fab37eSRobert Watson 			    mpe->mpe_function;
84695fab37eSRobert Watson 			break;
84795fab37eSRobert Watson 		case MAC_CHECK_VNODE_STAT:
84895fab37eSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_stat =
84995fab37eSRobert Watson 			    mpe->mpe_function;
85095fab37eSRobert Watson 			break;
8517f724f8bSRobert Watson 		case MAC_CHECK_VNODE_WRITE:
8527f724f8bSRobert Watson 			mpc->mpc_ops->mpo_check_vnode_write =
8537f724f8bSRobert Watson 			    mpe->mpe_function;
8547f724f8bSRobert Watson 			break;
85595fab37eSRobert Watson /*
85695fab37eSRobert Watson 		default:
85795fab37eSRobert Watson 			printf("MAC policy `%s': unknown operation %d\n",
85895fab37eSRobert Watson 			    mpc->mpc_name, mpe->mpe_constant);
85995fab37eSRobert Watson 			return (EINVAL);
86095fab37eSRobert Watson */
86195fab37eSRobert Watson 		}
86295fab37eSRobert Watson 	}
86395fab37eSRobert Watson 	MAC_POLICY_LIST_LOCK();
86495fab37eSRobert Watson 	if (mac_policy_list_busy > 0) {
86595fab37eSRobert Watson 		MAC_POLICY_LIST_UNLOCK();
86695fab37eSRobert Watson 		FREE(mpc->mpc_ops, M_MACOPVEC);
86795fab37eSRobert Watson 		mpc->mpc_ops = NULL;
86895fab37eSRobert Watson 		return (EBUSY);
86995fab37eSRobert Watson 	}
87095fab37eSRobert Watson 	LIST_FOREACH(tmpc, &mac_policy_list, mpc_list) {
87195fab37eSRobert Watson 		if (strcmp(tmpc->mpc_name, mpc->mpc_name) == 0) {
87295fab37eSRobert Watson 			MAC_POLICY_LIST_UNLOCK();
87395fab37eSRobert Watson 			FREE(mpc->mpc_ops, M_MACOPVEC);
87495fab37eSRobert Watson 			mpc->mpc_ops = NULL;
87595fab37eSRobert Watson 			return (EEXIST);
87695fab37eSRobert Watson 		}
87795fab37eSRobert Watson 	}
87895fab37eSRobert Watson 	if (mpc->mpc_field_off != NULL) {
87995fab37eSRobert Watson 		slot = ffs(mac_policy_offsets_free);
88095fab37eSRobert Watson 		if (slot == 0) {
88195fab37eSRobert Watson 			MAC_POLICY_LIST_UNLOCK();
88295fab37eSRobert Watson 			FREE(mpc->mpc_ops, M_MACOPVEC);
88395fab37eSRobert Watson 			mpc->mpc_ops = NULL;
88495fab37eSRobert Watson 			return (ENOMEM);
88595fab37eSRobert Watson 		}
88695fab37eSRobert Watson 		slot--;
88795fab37eSRobert Watson 		mac_policy_offsets_free &= ~(1 << slot);
88895fab37eSRobert Watson 		*mpc->mpc_field_off = slot;
88995fab37eSRobert Watson 	}
89095fab37eSRobert Watson 	mpc->mpc_runtime_flags |= MPC_RUNTIME_FLAG_REGISTERED;
89195fab37eSRobert Watson 	LIST_INSERT_HEAD(&mac_policy_list, mpc, mpc_list);
89295fab37eSRobert Watson 
89395fab37eSRobert Watson 	/* Per-policy initialization. */
89495fab37eSRobert Watson 	if (mpc->mpc_ops->mpo_init != NULL)
89595fab37eSRobert Watson 		(*(mpc->mpc_ops->mpo_init))(mpc);
89695fab37eSRobert Watson 	MAC_POLICY_LIST_UNLOCK();
89795fab37eSRobert Watson 
89895fab37eSRobert Watson 	printf("Security policy loaded: %s (%s)\n", mpc->mpc_fullname,
89995fab37eSRobert Watson 	    mpc->mpc_name);
90095fab37eSRobert Watson 
90195fab37eSRobert Watson 	return (0);
90295fab37eSRobert Watson }
90395fab37eSRobert Watson 
90495fab37eSRobert Watson static int
90595fab37eSRobert Watson mac_policy_unregister(struct mac_policy_conf *mpc)
90695fab37eSRobert Watson {
90795fab37eSRobert Watson 
90895fab37eSRobert Watson #if 0
90995fab37eSRobert Watson 	/*
91095fab37eSRobert Watson 	 * Don't allow unloading modules with private data.
91195fab37eSRobert Watson 	 */
91295fab37eSRobert Watson 	if (mpc->mpc_field_off != NULL)
91395fab37eSRobert Watson 		return (EBUSY);
91495fab37eSRobert Watson #endif
91595fab37eSRobert Watson 	if ((mpc->mpc_loadtime_flags & MPC_LOADTIME_FLAG_UNLOADOK) == 0)
91695fab37eSRobert Watson 		return (EBUSY);
91795fab37eSRobert Watson 	MAC_POLICY_LIST_LOCK();
91895fab37eSRobert Watson 	if (mac_policy_list_busy > 0) {
91995fab37eSRobert Watson 		MAC_POLICY_LIST_UNLOCK();
92095fab37eSRobert Watson 		return (EBUSY);
92195fab37eSRobert Watson 	}
92295fab37eSRobert Watson 	if (mpc->mpc_ops->mpo_destroy != NULL)
92395fab37eSRobert Watson 		(*(mpc->mpc_ops->mpo_destroy))(mpc);
92495fab37eSRobert Watson 
92595fab37eSRobert Watson 	LIST_REMOVE(mpc, mpc_list);
92695fab37eSRobert Watson 	MAC_POLICY_LIST_UNLOCK();
92795fab37eSRobert Watson 
92895fab37eSRobert Watson 	FREE(mpc->mpc_ops, M_MACOPVEC);
92995fab37eSRobert Watson 	mpc->mpc_ops = NULL;
93095fab37eSRobert Watson 
93195fab37eSRobert Watson 	printf("Security policy unload: %s (%s)\n", mpc->mpc_fullname,
93295fab37eSRobert Watson 	    mpc->mpc_name);
93395fab37eSRobert Watson 
93495fab37eSRobert Watson 	return (0);
93595fab37eSRobert Watson }
93695fab37eSRobert Watson 
93795fab37eSRobert Watson /*
93895fab37eSRobert Watson  * Define an error value precedence, and given two arguments, selects the
93995fab37eSRobert Watson  * value with the higher precedence.
94095fab37eSRobert Watson  */
94195fab37eSRobert Watson static int
94295fab37eSRobert Watson error_select(int error1, int error2)
94395fab37eSRobert Watson {
94495fab37eSRobert Watson 
94595fab37eSRobert Watson 	/* Certain decision-making errors take top priority. */
94695fab37eSRobert Watson 	if (error1 == EDEADLK || error2 == EDEADLK)
94795fab37eSRobert Watson 		return (EDEADLK);
94895fab37eSRobert Watson 
94995fab37eSRobert Watson 	/* Invalid arguments should be reported where possible. */
95095fab37eSRobert Watson 	if (error1 == EINVAL || error2 == EINVAL)
95195fab37eSRobert Watson 		return (EINVAL);
95295fab37eSRobert Watson 
95395fab37eSRobert Watson 	/* Precedence goes to "visibility", with both process and file. */
95495fab37eSRobert Watson 	if (error1 == ESRCH || error2 == ESRCH)
95595fab37eSRobert Watson 		return (ESRCH);
95695fab37eSRobert Watson 
95795fab37eSRobert Watson 	if (error1 == ENOENT || error2 == ENOENT)
95895fab37eSRobert Watson 		return (ENOENT);
95995fab37eSRobert Watson 
96095fab37eSRobert Watson 	/* Precedence goes to DAC/MAC protections. */
96195fab37eSRobert Watson 	if (error1 == EACCES || error2 == EACCES)
96295fab37eSRobert Watson 		return (EACCES);
96395fab37eSRobert Watson 
96495fab37eSRobert Watson 	/* Precedence goes to privilege. */
96595fab37eSRobert Watson 	if (error1 == EPERM || error2 == EPERM)
96695fab37eSRobert Watson 		return (EPERM);
96795fab37eSRobert Watson 
96895fab37eSRobert Watson 	/* Precedence goes to error over success; otherwise, arbitrary. */
96995fab37eSRobert Watson 	if (error1 != 0)
97095fab37eSRobert Watson 		return (error1);
97195fab37eSRobert Watson 	return (error2);
97295fab37eSRobert Watson }
97395fab37eSRobert Watson 
97495fab37eSRobert Watson void
97595fab37eSRobert Watson mac_update_devfsdirent(struct devfs_dirent *de, struct vnode *vp)
97695fab37eSRobert Watson {
97795fab37eSRobert Watson 
97895fab37eSRobert Watson 	MAC_PERFORM(update_devfsdirent, de, &de->de_label, vp, &vp->v_label);
97995fab37eSRobert Watson }
98095fab37eSRobert Watson 
98195fab37eSRobert Watson void
98295fab37eSRobert Watson mac_update_procfsvnode(struct vnode *vp, struct ucred *cred)
98395fab37eSRobert Watson {
98495fab37eSRobert Watson 
98595fab37eSRobert Watson 	MAC_PERFORM(update_procfsvnode, vp, &vp->v_label, cred);
98695fab37eSRobert Watson }
98795fab37eSRobert Watson 
98895fab37eSRobert Watson /*
98995fab37eSRobert Watson  * Support callout for policies that manage their own externalization
99095fab37eSRobert Watson  * using extended attributes.
99195fab37eSRobert Watson  */
99295fab37eSRobert Watson static int
99395fab37eSRobert Watson mac_update_vnode_from_extattr(struct vnode *vp, struct mount *mp)
99495fab37eSRobert Watson {
99595fab37eSRobert Watson 	int error;
99695fab37eSRobert Watson 
99795fab37eSRobert Watson 	MAC_CHECK(update_vnode_from_extattr, vp, &vp->v_label, mp,
99895fab37eSRobert Watson 	    &mp->mnt_fslabel);
99995fab37eSRobert Watson 
100095fab37eSRobert Watson 	return (error);
100195fab37eSRobert Watson }
100295fab37eSRobert Watson 
100395fab37eSRobert Watson /*
100495fab37eSRobert Watson  * Given an externalized mac label, internalize it and stamp it on a
100595fab37eSRobert Watson  * vnode.
100695fab37eSRobert Watson  */
100795fab37eSRobert Watson static int
100895fab37eSRobert Watson mac_update_vnode_from_externalized(struct vnode *vp, struct mac *extmac)
100995fab37eSRobert Watson {
101095fab37eSRobert Watson 	int error;
101195fab37eSRobert Watson 
101295fab37eSRobert Watson 	MAC_CHECK(update_vnode_from_externalized, vp, &vp->v_label, extmac);
101395fab37eSRobert Watson 
101495fab37eSRobert Watson 	return (error);
101595fab37eSRobert Watson }
101695fab37eSRobert Watson 
101795fab37eSRobert Watson /*
101895fab37eSRobert Watson  * Call out to individual policies to update the label in a vnode from
101995fab37eSRobert Watson  * the mountpoint.
102095fab37eSRobert Watson  */
102195fab37eSRobert Watson void
102295fab37eSRobert Watson mac_update_vnode_from_mount(struct vnode *vp, struct mount *mp)
102395fab37eSRobert Watson {
102495fab37eSRobert Watson 
102595fab37eSRobert Watson 	MAC_PERFORM(update_vnode_from_mount, vp, &vp->v_label, mp,
102695fab37eSRobert Watson 	    &mp->mnt_fslabel);
102795fab37eSRobert Watson 
1028e6e370a7SJeff Roberson 	ASSERT_VOP_LOCKED(vp, "mac_update_vnode_from_mount");
102995fab37eSRobert Watson 	if (mac_cache_fslabel_in_vnode)
1030e6e370a7SJeff Roberson 		vp->v_vflag |= VV_CACHEDLABEL;
103195fab37eSRobert Watson }
103295fab37eSRobert Watson 
103395fab37eSRobert Watson /*
103495fab37eSRobert Watson  * Implementation of VOP_REFRESHLABEL() that relies on extended attributes
103595fab37eSRobert Watson  * to store label data.  Can be referenced by filesystems supporting
103695fab37eSRobert Watson  * extended attributes.
103795fab37eSRobert Watson  */
103895fab37eSRobert Watson int
103995fab37eSRobert Watson vop_stdrefreshlabel_ea(struct vop_refreshlabel_args *ap)
104095fab37eSRobert Watson {
104195fab37eSRobert Watson 	struct vnode *vp = ap->a_vp;
104295fab37eSRobert Watson 	struct mac extmac;
104395fab37eSRobert Watson 	int buflen, error;
104495fab37eSRobert Watson 
104595fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "vop_stdrefreshlabel_ea");
104695fab37eSRobert Watson 
104795fab37eSRobert Watson 	/*
104895fab37eSRobert Watson 	 * Call out to external policies first.  Order doesn't really
104995fab37eSRobert Watson 	 * matter, as long as failure of one assures failure of all.
105095fab37eSRobert Watson 	 */
105195fab37eSRobert Watson 	error = mac_update_vnode_from_extattr(vp, vp->v_mount);
105295fab37eSRobert Watson 	if (error)
105395fab37eSRobert Watson 		return (error);
105495fab37eSRobert Watson 
105595fab37eSRobert Watson 	buflen = sizeof(extmac);
105695fab37eSRobert Watson 	error = vn_extattr_get(vp, IO_NODELOCKED,
105795fab37eSRobert Watson 	    FREEBSD_MAC_EXTATTR_NAMESPACE, FREEBSD_MAC_EXTATTR_NAME, &buflen,
105895fab37eSRobert Watson 	    (char *)&extmac, curthread);
105995fab37eSRobert Watson 	switch (error) {
106095fab37eSRobert Watson 	case 0:
106195fab37eSRobert Watson 		/* Got it */
106295fab37eSRobert Watson 		break;
106395fab37eSRobert Watson 
106495fab37eSRobert Watson 	case ENOATTR:
106595fab37eSRobert Watson 		/*
106695fab37eSRobert Watson 		 * Use the label from the mount point.
106795fab37eSRobert Watson 		 */
106895fab37eSRobert Watson 		mac_update_vnode_from_mount(vp, vp->v_mount);
106995fab37eSRobert Watson 		return (0);
107095fab37eSRobert Watson 
107195fab37eSRobert Watson 	case EOPNOTSUPP:
107295fab37eSRobert Watson 	default:
107395fab37eSRobert Watson 		/* Fail horribly. */
107495fab37eSRobert Watson 		return (error);
107595fab37eSRobert Watson 	}
107695fab37eSRobert Watson 
107795fab37eSRobert Watson 	if (buflen != sizeof(extmac))
107895fab37eSRobert Watson 		error = EPERM;		/* Fail very closed. */
107995fab37eSRobert Watson 	if (error == 0)
108095fab37eSRobert Watson 		error = mac_update_vnode_from_externalized(vp, &extmac);
108195fab37eSRobert Watson 	if (error == 0)
1082e6e370a7SJeff Roberson 		vp->v_vflag |= VV_CACHEDLABEL;
108395fab37eSRobert Watson 	else {
108495fab37eSRobert Watson 		struct vattr va;
108595fab37eSRobert Watson 
108695fab37eSRobert Watson 		printf("Corrupted label on %s",
108795fab37eSRobert Watson 		    vp->v_mount->mnt_stat.f_mntonname);
108895fab37eSRobert Watson 		if (VOP_GETATTR(vp, &va, curthread->td_ucred, curthread) == 0)
108995fab37eSRobert Watson 			printf(" inum %ld", va.va_fileid);
10906be0c25eSRobert Watson #ifdef MAC_DEBUG
109195fab37eSRobert Watson 		if (mac_debug_label_fallback) {
109295fab37eSRobert Watson 			printf(", falling back.\n");
109395fab37eSRobert Watson 			mac_update_vnode_from_mount(vp, vp->v_mount);
109495fab37eSRobert Watson 			error = 0;
109595fab37eSRobert Watson 		} else {
10966be0c25eSRobert Watson #endif
109795fab37eSRobert Watson 			printf(".\n");
109895fab37eSRobert Watson 			error = EPERM;
10996be0c25eSRobert Watson #ifdef MAC_DEBUG
110095fab37eSRobert Watson 		}
11016be0c25eSRobert Watson #endif
110295fab37eSRobert Watson 	}
110395fab37eSRobert Watson 
110495fab37eSRobert Watson 	return (error);
110595fab37eSRobert Watson }
110695fab37eSRobert Watson 
110795fab37eSRobert Watson /*
110895fab37eSRobert Watson  * Make sure the vnode label is up-to-date.  If EOPNOTSUPP, then we handle
110995fab37eSRobert Watson  * the labeling activity outselves.  Filesystems should be careful not
111095fab37eSRobert Watson  * to change their minds regarding whether they support vop_refreshlabel()
111195fab37eSRobert Watson  * for a vnode or not.  Don't cache the vnode here, allow the file
111295fab37eSRobert Watson  * system code to determine if it's safe to cache.  If we update from
111395fab37eSRobert Watson  * the mount, don't cache since a change to the mount label should affect
111495fab37eSRobert Watson  * all vnodes.
111595fab37eSRobert Watson  */
111695fab37eSRobert Watson static int
111795fab37eSRobert Watson vn_refreshlabel(struct vnode *vp, struct ucred *cred)
111895fab37eSRobert Watson {
111995fab37eSRobert Watson 	int error;
112095fab37eSRobert Watson 
112195fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "vn_refreshlabel");
112295fab37eSRobert Watson 
112395fab37eSRobert Watson 	if (vp->v_mount == NULL) {
112495fab37eSRobert Watson /*
112595fab37eSRobert Watson 		Eventually, we probably want to special-case refreshing
112695fab37eSRobert Watson 		of deadfs vnodes, and if there's a lock-free race somewhere,
112795fab37eSRobert Watson 		that case might be handled here.
112895fab37eSRobert Watson 
112995fab37eSRobert Watson 		mac_update_vnode_deadfs(vp);
113095fab37eSRobert Watson 		return (0);
113195fab37eSRobert Watson  */
113295fab37eSRobert Watson 		/* printf("vn_refreshlabel: null v_mount\n"); */
113306be2aaaSNate Lawson 		if (vp->v_type != VNON)
113495fab37eSRobert Watson 			printf(
113506be2aaaSNate Lawson 			    "vn_refreshlabel: null v_mount with non-VNON\n");
113695fab37eSRobert Watson 		return (EBADF);
113795fab37eSRobert Watson 	}
113895fab37eSRobert Watson 
1139e6e370a7SJeff Roberson 	if (vp->v_vflag & VV_CACHEDLABEL) {
114095fab37eSRobert Watson 		mac_vnode_label_cache_hits++;
114195fab37eSRobert Watson 		return (0);
114295fab37eSRobert Watson 	} else
114395fab37eSRobert Watson 		mac_vnode_label_cache_misses++;
114495fab37eSRobert Watson 
114595fab37eSRobert Watson 	if ((vp->v_mount->mnt_flag & MNT_MULTILABEL) == 0) {
114695fab37eSRobert Watson 		mac_update_vnode_from_mount(vp, vp->v_mount);
114795fab37eSRobert Watson 		return (0);
114895fab37eSRobert Watson 	}
114995fab37eSRobert Watson 
115095fab37eSRobert Watson 	error = VOP_REFRESHLABEL(vp, cred, curthread);
115195fab37eSRobert Watson 	switch (error) {
115295fab37eSRobert Watson 	case EOPNOTSUPP:
115395fab37eSRobert Watson 		/*
115495fab37eSRobert Watson 		 * If labels are not supported on this vnode, fall back to
115595fab37eSRobert Watson 		 * the label in the mount and propagate it to the vnode.
115695fab37eSRobert Watson 		 * There should probably be some sort of policy/flag/decision
115795fab37eSRobert Watson 		 * about doing this.
115895fab37eSRobert Watson 		 */
115995fab37eSRobert Watson 		mac_update_vnode_from_mount(vp, vp->v_mount);
116095fab37eSRobert Watson 		error = 0;
116195fab37eSRobert Watson 	default:
116295fab37eSRobert Watson 		return (error);
116395fab37eSRobert Watson 	}
116495fab37eSRobert Watson }
116595fab37eSRobert Watson 
116695fab37eSRobert Watson /*
116795fab37eSRobert Watson  * Helper function for file systems using the vop_std*_ea() calls.  This
116895fab37eSRobert Watson  * function must be called after EA service is available for the vnode,
116995fab37eSRobert Watson  * but before it's hooked up to the namespace so that the node persists
117095fab37eSRobert Watson  * if there's a crash, or before it can be accessed.  On successful
117195fab37eSRobert Watson  * commit of the label to disk (etc), do cache the label.
117295fab37eSRobert Watson  */
117395fab37eSRobert Watson int
117495fab37eSRobert Watson vop_stdcreatevnode_ea(struct vnode *dvp, struct vnode *tvp, struct ucred *cred)
117595fab37eSRobert Watson {
117695fab37eSRobert Watson 	struct mac extmac;
117795fab37eSRobert Watson 	int error;
117895fab37eSRobert Watson 
1179e6e370a7SJeff Roberson 	ASSERT_VOP_LOCKED(tvp, "vop_stdcreatevnode_ea");
118095fab37eSRobert Watson 	if ((dvp->v_mount->mnt_flag & MNT_MULTILABEL) == 0) {
118195fab37eSRobert Watson 		mac_update_vnode_from_mount(tvp, tvp->v_mount);
118295fab37eSRobert Watson 	} else {
118395fab37eSRobert Watson 		error = vn_refreshlabel(dvp, cred);
118495fab37eSRobert Watson 		if (error)
118595fab37eSRobert Watson 			return (error);
118695fab37eSRobert Watson 
118795fab37eSRobert Watson 		/*
118895fab37eSRobert Watson 		 * Stick the label in the vnode.  Then try to write to
118995fab37eSRobert Watson 		 * disk.  If we fail, return a failure to abort the
119095fab37eSRobert Watson 		 * create operation.  Really, this failure shouldn't
119195fab37eSRobert Watson 		 * happen except in fairly unusual circumstances (out
119295fab37eSRobert Watson 		 * of disk, etc).
119395fab37eSRobert Watson 		 */
119495fab37eSRobert Watson 		mac_create_vnode(cred, dvp, tvp);
119595fab37eSRobert Watson 
119695fab37eSRobert Watson 		error = mac_stdcreatevnode_ea(tvp);
119795fab37eSRobert Watson 		if (error)
119895fab37eSRobert Watson 			return (error);
119995fab37eSRobert Watson 
120095fab37eSRobert Watson 		/*
120195fab37eSRobert Watson 		 * XXX: Eventually this will go away and all policies will
120295fab37eSRobert Watson 		 * directly manage their extended attributes.
120395fab37eSRobert Watson 		 */
120495fab37eSRobert Watson 		error = mac_externalize(&tvp->v_label, &extmac);
120595fab37eSRobert Watson 		if (error)
120695fab37eSRobert Watson 			return (error);
120795fab37eSRobert Watson 
120895fab37eSRobert Watson 		error = vn_extattr_set(tvp, IO_NODELOCKED,
120995fab37eSRobert Watson 		    FREEBSD_MAC_EXTATTR_NAMESPACE, FREEBSD_MAC_EXTATTR_NAME,
121095fab37eSRobert Watson 		    sizeof(extmac), (char *)&extmac, curthread);
121195fab37eSRobert Watson 		if (error == 0)
1212e6e370a7SJeff Roberson 			tvp->v_vflag |= VV_CACHEDLABEL;
121395fab37eSRobert Watson 		else {
121495fab37eSRobert Watson #if 0
121595fab37eSRobert Watson 			/*
121695fab37eSRobert Watson 			 * In theory, we could have fall-back behavior here.
121795fab37eSRobert Watson 			 * It would probably be incorrect.
121895fab37eSRobert Watson 			 */
121995fab37eSRobert Watson #endif
122095fab37eSRobert Watson 			return (error);
122195fab37eSRobert Watson 		}
122295fab37eSRobert Watson 	}
122395fab37eSRobert Watson 
122495fab37eSRobert Watson 	return (0);
122595fab37eSRobert Watson }
122695fab37eSRobert Watson 
122795fab37eSRobert Watson void
122895fab37eSRobert Watson mac_execve_transition(struct ucred *old, struct ucred *new, struct vnode *vp)
122995fab37eSRobert Watson {
123095fab37eSRobert Watson 	int error;
123195fab37eSRobert Watson 
123295fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_execve_transition");
123395fab37eSRobert Watson 
123495fab37eSRobert Watson 	error = vn_refreshlabel(vp, old);
123595fab37eSRobert Watson 	if (error) {
123695fab37eSRobert Watson 		printf("mac_execve_transition: vn_refreshlabel returned %d\n",
123795fab37eSRobert Watson 		    error);
123895fab37eSRobert Watson 		printf("mac_execve_transition: using old vnode label\n");
123995fab37eSRobert Watson 	}
124095fab37eSRobert Watson 
124195fab37eSRobert Watson 	MAC_PERFORM(execve_transition, old, new, vp, &vp->v_label);
124295fab37eSRobert Watson }
124395fab37eSRobert Watson 
124495fab37eSRobert Watson int
124595fab37eSRobert Watson mac_execve_will_transition(struct ucred *old, struct vnode *vp)
124695fab37eSRobert Watson {
124795fab37eSRobert Watson 	int error, result;
124895fab37eSRobert Watson 
124995fab37eSRobert Watson 	error = vn_refreshlabel(vp, old);
125095fab37eSRobert Watson 	if (error)
125195fab37eSRobert Watson 		return (error);
125295fab37eSRobert Watson 
125395fab37eSRobert Watson 	result = 0;
125495fab37eSRobert Watson 	MAC_BOOLEAN(execve_will_transition, ||, old, vp, &vp->v_label);
125595fab37eSRobert Watson 
125695fab37eSRobert Watson 	return (result);
125795fab37eSRobert Watson }
125895fab37eSRobert Watson 
125995fab37eSRobert Watson static void
126095fab37eSRobert Watson mac_init_label(struct label *label)
126195fab37eSRobert Watson {
126295fab37eSRobert Watson 
126395fab37eSRobert Watson 	bzero(label, sizeof(*label));
126495fab37eSRobert Watson 	label->l_flags = MAC_FLAG_INITIALIZED;
126595fab37eSRobert Watson }
126695fab37eSRobert Watson 
126795fab37eSRobert Watson static void
126895fab37eSRobert Watson mac_init_structmac(struct mac *mac)
126995fab37eSRobert Watson {
127095fab37eSRobert Watson 
127195fab37eSRobert Watson 	bzero(mac, sizeof(*mac));
127295fab37eSRobert Watson 	mac->m_macflags = MAC_FLAG_INITIALIZED;
127395fab37eSRobert Watson }
127495fab37eSRobert Watson 
127595fab37eSRobert Watson static void
127695fab37eSRobert Watson mac_destroy_label(struct label *label)
127795fab37eSRobert Watson {
127895fab37eSRobert Watson 
127995fab37eSRobert Watson 	KASSERT(label->l_flags & MAC_FLAG_INITIALIZED,
128095fab37eSRobert Watson 	    ("destroying uninitialized label"));
128195fab37eSRobert Watson 
128295fab37eSRobert Watson 	bzero(label, sizeof(*label));
128395fab37eSRobert Watson 	/* implicit: label->l_flags &= ~MAC_FLAG_INITIALIZED; */
128495fab37eSRobert Watson }
128595fab37eSRobert Watson 
128695fab37eSRobert Watson int
128795fab37eSRobert Watson mac_init_mbuf(struct mbuf *m, int how)
128895fab37eSRobert Watson {
128995fab37eSRobert Watson 	KASSERT(m->m_flags & M_PKTHDR, ("mac_init_mbuf on non-header mbuf"));
129095fab37eSRobert Watson 
129195fab37eSRobert Watson 	/* "how" is one of M_(TRY|DONT)WAIT */
129295fab37eSRobert Watson 	mac_init_label(&m->m_pkthdr.label);
129395fab37eSRobert Watson 	MAC_PERFORM(init_mbuf, m, how, &m->m_pkthdr.label);
1294f050add5SRobert Watson #ifdef MAC_DEBUG
129595fab37eSRobert Watson 	atomic_add_int(&nmacmbufs, 1);
1296f050add5SRobert Watson #endif
129795fab37eSRobert Watson 	return (0);
129895fab37eSRobert Watson }
129995fab37eSRobert Watson 
130095fab37eSRobert Watson void
130195fab37eSRobert Watson mac_destroy_mbuf(struct mbuf *m)
130295fab37eSRobert Watson {
130395fab37eSRobert Watson 
130495fab37eSRobert Watson 	MAC_PERFORM(destroy_mbuf, m, &m->m_pkthdr.label);
130595fab37eSRobert Watson 	mac_destroy_label(&m->m_pkthdr.label);
1306f050add5SRobert Watson #ifdef MAC_DEBUG
130795fab37eSRobert Watson 	atomic_subtract_int(&nmacmbufs, 1);
1308f050add5SRobert Watson #endif
130995fab37eSRobert Watson }
131095fab37eSRobert Watson 
131195fab37eSRobert Watson void
131295fab37eSRobert Watson mac_init_cred(struct ucred *cr)
131395fab37eSRobert Watson {
131495fab37eSRobert Watson 
131595fab37eSRobert Watson 	mac_init_label(&cr->cr_label);
131695fab37eSRobert Watson 	MAC_PERFORM(init_cred, cr, &cr->cr_label);
1317f050add5SRobert Watson #ifdef MAC_DEBUG
131895fab37eSRobert Watson 	atomic_add_int(&nmaccreds, 1);
1319f050add5SRobert Watson #endif
132095fab37eSRobert Watson }
132195fab37eSRobert Watson 
132295fab37eSRobert Watson void
132395fab37eSRobert Watson mac_destroy_cred(struct ucred *cr)
132495fab37eSRobert Watson {
132595fab37eSRobert Watson 
132695fab37eSRobert Watson 	MAC_PERFORM(destroy_cred, cr, &cr->cr_label);
132795fab37eSRobert Watson 	mac_destroy_label(&cr->cr_label);
1328f050add5SRobert Watson #ifdef MAC_DEBUG
132995fab37eSRobert Watson 	atomic_subtract_int(&nmaccreds, 1);
1330f050add5SRobert Watson #endif
133195fab37eSRobert Watson }
133295fab37eSRobert Watson 
133395fab37eSRobert Watson void
133495fab37eSRobert Watson mac_init_ifnet(struct ifnet *ifp)
133595fab37eSRobert Watson {
133695fab37eSRobert Watson 
133795fab37eSRobert Watson 	mac_init_label(&ifp->if_label);
133895fab37eSRobert Watson 	MAC_PERFORM(init_ifnet, ifp, &ifp->if_label);
1339f050add5SRobert Watson #ifdef MAC_DEBUG
134095fab37eSRobert Watson 	atomic_add_int(&nmacifnets, 1);
1341f050add5SRobert Watson #endif
134295fab37eSRobert Watson }
134395fab37eSRobert Watson 
134495fab37eSRobert Watson void
134595fab37eSRobert Watson mac_destroy_ifnet(struct ifnet *ifp)
134695fab37eSRobert Watson {
134795fab37eSRobert Watson 
134895fab37eSRobert Watson 	MAC_PERFORM(destroy_ifnet, ifp, &ifp->if_label);
134995fab37eSRobert Watson 	mac_destroy_label(&ifp->if_label);
1350f050add5SRobert Watson #ifdef MAC_DEBUG
135195fab37eSRobert Watson 	atomic_subtract_int(&nmacifnets, 1);
1352f050add5SRobert Watson #endif
135395fab37eSRobert Watson }
135495fab37eSRobert Watson 
135595fab37eSRobert Watson void
135695fab37eSRobert Watson mac_init_ipq(struct ipq *ipq)
135795fab37eSRobert Watson {
135895fab37eSRobert Watson 
135995fab37eSRobert Watson 	mac_init_label(&ipq->ipq_label);
136095fab37eSRobert Watson 	MAC_PERFORM(init_ipq, ipq, &ipq->ipq_label);
1361f050add5SRobert Watson #ifdef MAC_DEBUG
136295fab37eSRobert Watson 	atomic_add_int(&nmacipqs, 1);
1363f050add5SRobert Watson #endif
136495fab37eSRobert Watson }
136595fab37eSRobert Watson 
136695fab37eSRobert Watson void
136795fab37eSRobert Watson mac_destroy_ipq(struct ipq *ipq)
136895fab37eSRobert Watson {
136995fab37eSRobert Watson 
137095fab37eSRobert Watson 	MAC_PERFORM(destroy_ipq, ipq, &ipq->ipq_label);
137195fab37eSRobert Watson 	mac_destroy_label(&ipq->ipq_label);
1372f050add5SRobert Watson #ifdef MAC_DEBUG
137395fab37eSRobert Watson 	atomic_subtract_int(&nmacipqs, 1);
1374f050add5SRobert Watson #endif
137595fab37eSRobert Watson }
137695fab37eSRobert Watson 
137795fab37eSRobert Watson void
137895fab37eSRobert Watson mac_init_socket(struct socket *socket)
137995fab37eSRobert Watson {
138095fab37eSRobert Watson 
138195fab37eSRobert Watson 	mac_init_label(&socket->so_label);
138295fab37eSRobert Watson 	mac_init_label(&socket->so_peerlabel);
138395fab37eSRobert Watson 	MAC_PERFORM(init_socket, socket, &socket->so_label,
138495fab37eSRobert Watson 	    &socket->so_peerlabel);
1385f050add5SRobert Watson #ifdef MAC_DEBUG
138695fab37eSRobert Watson 	atomic_add_int(&nmacsockets, 1);
1387f050add5SRobert Watson #endif
138895fab37eSRobert Watson }
138995fab37eSRobert Watson 
139095fab37eSRobert Watson void
139195fab37eSRobert Watson mac_destroy_socket(struct socket *socket)
139295fab37eSRobert Watson {
139395fab37eSRobert Watson 
139495fab37eSRobert Watson 	MAC_PERFORM(destroy_socket, socket, &socket->so_label,
139595fab37eSRobert Watson 	    &socket->so_peerlabel);
139695fab37eSRobert Watson 	mac_destroy_label(&socket->so_label);
139795fab37eSRobert Watson 	mac_destroy_label(&socket->so_peerlabel);
1398f050add5SRobert Watson #ifdef MAC_DEBUG
139995fab37eSRobert Watson 	atomic_subtract_int(&nmacsockets, 1);
1400f050add5SRobert Watson #endif
140195fab37eSRobert Watson }
140295fab37eSRobert Watson 
140395fab37eSRobert Watson void
140495fab37eSRobert Watson mac_init_pipe(struct pipe *pipe)
140595fab37eSRobert Watson {
140695fab37eSRobert Watson 	struct label *label;
140795fab37eSRobert Watson 
140895fab37eSRobert Watson 	label = malloc(sizeof(struct label), M_MACPIPELABEL, M_ZERO|M_WAITOK);
140995fab37eSRobert Watson 	mac_init_label(label);
141095fab37eSRobert Watson 	pipe->pipe_label = label;
141195fab37eSRobert Watson 	pipe->pipe_peer->pipe_label = label;
141295fab37eSRobert Watson 	MAC_PERFORM(init_pipe, pipe, pipe->pipe_label);
1413f050add5SRobert Watson #ifdef MAC_DEBUG
141495fab37eSRobert Watson 	atomic_add_int(&nmacpipes, 1);
1415f050add5SRobert Watson #endif
141695fab37eSRobert Watson }
141795fab37eSRobert Watson 
141895fab37eSRobert Watson void
141995fab37eSRobert Watson mac_destroy_pipe(struct pipe *pipe)
142095fab37eSRobert Watson {
142195fab37eSRobert Watson 
142295fab37eSRobert Watson 	MAC_PERFORM(destroy_pipe, pipe, pipe->pipe_label);
142395fab37eSRobert Watson 	mac_destroy_label(pipe->pipe_label);
142495fab37eSRobert Watson 	free(pipe->pipe_label, M_MACPIPELABEL);
1425f050add5SRobert Watson #ifdef MAC_DEBUG
142695fab37eSRobert Watson 	atomic_subtract_int(&nmacpipes, 1);
1427f050add5SRobert Watson #endif
142895fab37eSRobert Watson }
142995fab37eSRobert Watson 
143095fab37eSRobert Watson void
143195fab37eSRobert Watson mac_init_bpfdesc(struct bpf_d *bpf_d)
143295fab37eSRobert Watson {
143395fab37eSRobert Watson 
143495fab37eSRobert Watson 	mac_init_label(&bpf_d->bd_label);
143595fab37eSRobert Watson 	MAC_PERFORM(init_bpfdesc, bpf_d, &bpf_d->bd_label);
1436f050add5SRobert Watson #ifdef MAC_DEBUG
143795fab37eSRobert Watson 	atomic_add_int(&nmacbpfdescs, 1);
1438f050add5SRobert Watson #endif
143995fab37eSRobert Watson }
144095fab37eSRobert Watson 
144195fab37eSRobert Watson void
144295fab37eSRobert Watson mac_destroy_bpfdesc(struct bpf_d *bpf_d)
144395fab37eSRobert Watson {
144495fab37eSRobert Watson 
144595fab37eSRobert Watson 	MAC_PERFORM(destroy_bpfdesc, bpf_d, &bpf_d->bd_label);
144695fab37eSRobert Watson 	mac_destroy_label(&bpf_d->bd_label);
1447f050add5SRobert Watson #ifdef MAC_DEBUG
144895fab37eSRobert Watson 	atomic_subtract_int(&nmacbpfdescs, 1);
1449f050add5SRobert Watson #endif
145095fab37eSRobert Watson }
145195fab37eSRobert Watson 
145295fab37eSRobert Watson void
145395fab37eSRobert Watson mac_init_mount(struct mount *mp)
145495fab37eSRobert Watson {
145595fab37eSRobert Watson 
145695fab37eSRobert Watson 	mac_init_label(&mp->mnt_mntlabel);
145795fab37eSRobert Watson 	mac_init_label(&mp->mnt_fslabel);
145895fab37eSRobert Watson 	MAC_PERFORM(init_mount, mp, &mp->mnt_mntlabel, &mp->mnt_fslabel);
1459f050add5SRobert Watson #ifdef MAC_DEBUG
146095fab37eSRobert Watson 	atomic_add_int(&nmacmounts, 1);
1461f050add5SRobert Watson #endif
146295fab37eSRobert Watson }
146395fab37eSRobert Watson 
146495fab37eSRobert Watson void
146595fab37eSRobert Watson mac_destroy_mount(struct mount *mp)
146695fab37eSRobert Watson {
146795fab37eSRobert Watson 
146895fab37eSRobert Watson 	MAC_PERFORM(destroy_mount, mp, &mp->mnt_mntlabel, &mp->mnt_fslabel);
146995fab37eSRobert Watson 	mac_destroy_label(&mp->mnt_fslabel);
147095fab37eSRobert Watson 	mac_destroy_label(&mp->mnt_mntlabel);
1471f050add5SRobert Watson #ifdef MAC_DEBUG
147295fab37eSRobert Watson 	atomic_subtract_int(&nmacmounts, 1);
1473f050add5SRobert Watson #endif
147495fab37eSRobert Watson }
147595fab37eSRobert Watson 
147695fab37eSRobert Watson static void
147795fab37eSRobert Watson mac_init_temp(struct label *label)
147895fab37eSRobert Watson {
147995fab37eSRobert Watson 
148095fab37eSRobert Watson 	mac_init_label(label);
148195fab37eSRobert Watson 	MAC_PERFORM(init_temp, label);
1482f050add5SRobert Watson #ifdef MAC_DEBUG
148395fab37eSRobert Watson 	atomic_add_int(&nmactemp, 1);
1484f050add5SRobert Watson #endif
148595fab37eSRobert Watson }
148695fab37eSRobert Watson 
148795fab37eSRobert Watson static void
148895fab37eSRobert Watson mac_destroy_temp(struct label *label)
148995fab37eSRobert Watson {
149095fab37eSRobert Watson 
149195fab37eSRobert Watson 	MAC_PERFORM(destroy_temp, label);
149295fab37eSRobert Watson 	mac_destroy_label(label);
1493f050add5SRobert Watson #ifdef MAC_DEBUG
149495fab37eSRobert Watson 	atomic_subtract_int(&nmactemp, 1);
1495f050add5SRobert Watson #endif
149695fab37eSRobert Watson }
149795fab37eSRobert Watson 
149895fab37eSRobert Watson void
149995fab37eSRobert Watson mac_init_vnode(struct vnode *vp)
150095fab37eSRobert Watson {
150195fab37eSRobert Watson 
150295fab37eSRobert Watson 	mac_init_label(&vp->v_label);
150395fab37eSRobert Watson 	MAC_PERFORM(init_vnode, vp, &vp->v_label);
1504f050add5SRobert Watson #ifdef MAC_DEBUG
150595fab37eSRobert Watson 	atomic_add_int(&nmacvnodes, 1);
1506f050add5SRobert Watson #endif
150795fab37eSRobert Watson }
150895fab37eSRobert Watson 
150995fab37eSRobert Watson void
151095fab37eSRobert Watson mac_destroy_vnode(struct vnode *vp)
151195fab37eSRobert Watson {
151295fab37eSRobert Watson 
151395fab37eSRobert Watson 	MAC_PERFORM(destroy_vnode, vp, &vp->v_label);
151495fab37eSRobert Watson 	mac_destroy_label(&vp->v_label);
1515f050add5SRobert Watson #ifdef MAC_DEBUG
151695fab37eSRobert Watson 	atomic_subtract_int(&nmacvnodes, 1);
1517f050add5SRobert Watson #endif
151895fab37eSRobert Watson }
151995fab37eSRobert Watson 
152095fab37eSRobert Watson void
152195fab37eSRobert Watson mac_init_devfsdirent(struct devfs_dirent *de)
152295fab37eSRobert Watson {
152395fab37eSRobert Watson 
152495fab37eSRobert Watson 	mac_init_label(&de->de_label);
152595fab37eSRobert Watson 	MAC_PERFORM(init_devfsdirent, de, &de->de_label);
1526f050add5SRobert Watson #ifdef MAC_DEBUG
152795fab37eSRobert Watson 	atomic_add_int(&nmacdevfsdirents, 1);
1528f050add5SRobert Watson #endif
152995fab37eSRobert Watson }
153095fab37eSRobert Watson 
153195fab37eSRobert Watson void
153295fab37eSRobert Watson mac_destroy_devfsdirent(struct devfs_dirent *de)
153395fab37eSRobert Watson {
153495fab37eSRobert Watson 
153595fab37eSRobert Watson 	MAC_PERFORM(destroy_devfsdirent, de, &de->de_label);
153695fab37eSRobert Watson 	mac_destroy_label(&de->de_label);
1537f050add5SRobert Watson #ifdef MAC_DEBUG
153895fab37eSRobert Watson 	atomic_subtract_int(&nmacdevfsdirents, 1);
1539f050add5SRobert Watson #endif
154095fab37eSRobert Watson }
154195fab37eSRobert Watson 
154295fab37eSRobert Watson static int
154395fab37eSRobert Watson mac_externalize(struct label *label, struct mac *mac)
154495fab37eSRobert Watson {
154595fab37eSRobert Watson 	int error;
154695fab37eSRobert Watson 
154795fab37eSRobert Watson 	mac_init_structmac(mac);
154895fab37eSRobert Watson 	MAC_CHECK(externalize, label, mac);
154995fab37eSRobert Watson 
155095fab37eSRobert Watson 	return (error);
155195fab37eSRobert Watson }
155295fab37eSRobert Watson 
155395fab37eSRobert Watson static int
155495fab37eSRobert Watson mac_internalize(struct label *label, struct mac *mac)
155595fab37eSRobert Watson {
155695fab37eSRobert Watson 	int error;
155795fab37eSRobert Watson 
155895fab37eSRobert Watson 	mac_init_temp(label);
155995fab37eSRobert Watson 	MAC_CHECK(internalize, label, mac);
156095fab37eSRobert Watson 	if (error)
156195fab37eSRobert Watson 		mac_destroy_temp(label);
156295fab37eSRobert Watson 
156395fab37eSRobert Watson 	return (error);
156495fab37eSRobert Watson }
156595fab37eSRobert Watson 
156695fab37eSRobert Watson /*
156795fab37eSRobert Watson  * Initialize MAC label for the first kernel process, from which other
156895fab37eSRobert Watson  * kernel processes and threads are spawned.
156995fab37eSRobert Watson  */
157095fab37eSRobert Watson void
157195fab37eSRobert Watson mac_create_proc0(struct ucred *cred)
157295fab37eSRobert Watson {
157395fab37eSRobert Watson 
157495fab37eSRobert Watson 	MAC_PERFORM(create_proc0, cred);
157595fab37eSRobert Watson }
157695fab37eSRobert Watson 
157795fab37eSRobert Watson /*
157895fab37eSRobert Watson  * Initialize MAC label for the first userland process, from which other
157995fab37eSRobert Watson  * userland processes and threads are spawned.
158095fab37eSRobert Watson  */
158195fab37eSRobert Watson void
158295fab37eSRobert Watson mac_create_proc1(struct ucred *cred)
158395fab37eSRobert Watson {
158495fab37eSRobert Watson 
158595fab37eSRobert Watson 	MAC_PERFORM(create_proc1, cred);
158695fab37eSRobert Watson }
158795fab37eSRobert Watson 
158892dbb82aSRobert Watson void
158992dbb82aSRobert Watson mac_thread_userret(struct thread *td)
159092dbb82aSRobert Watson {
159192dbb82aSRobert Watson 
159292dbb82aSRobert Watson 	MAC_PERFORM(thread_userret, td);
159392dbb82aSRobert Watson }
159492dbb82aSRobert Watson 
159595fab37eSRobert Watson /*
159695fab37eSRobert Watson  * When a new process is created, its label must be initialized.  Generally,
159795fab37eSRobert Watson  * this involves inheritence from the parent process, modulo possible
159895fab37eSRobert Watson  * deltas.  This function allows that processing to take place.
159995fab37eSRobert Watson  */
160095fab37eSRobert Watson void
160195fab37eSRobert Watson mac_create_cred(struct ucred *parent_cred, struct ucred *child_cred)
160295fab37eSRobert Watson {
160395fab37eSRobert Watson 
160495fab37eSRobert Watson 	MAC_PERFORM(create_cred, parent_cred, child_cred);
160595fab37eSRobert Watson }
160695fab37eSRobert Watson 
160795fab37eSRobert Watson int
160895fab37eSRobert Watson mac_check_vnode_access(struct ucred *cred, struct vnode *vp, int flags)
160995fab37eSRobert Watson {
161095fab37eSRobert Watson 	int error;
161195fab37eSRobert Watson 
161295fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_access");
161395fab37eSRobert Watson 
161495fab37eSRobert Watson 	if (!mac_enforce_fs)
161595fab37eSRobert Watson 		return (0);
161695fab37eSRobert Watson 
161795fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
161895fab37eSRobert Watson 	if (error)
161995fab37eSRobert Watson 		return (error);
162095fab37eSRobert Watson 
162195fab37eSRobert Watson 	MAC_CHECK(check_vnode_access, cred, vp, &vp->v_label, flags);
162295fab37eSRobert Watson 	return (error);
162395fab37eSRobert Watson }
162495fab37eSRobert Watson 
162595fab37eSRobert Watson int
162695fab37eSRobert Watson mac_check_vnode_chdir(struct ucred *cred, struct vnode *dvp)
162795fab37eSRobert Watson {
162895fab37eSRobert Watson 	int error;
162995fab37eSRobert Watson 
163095fab37eSRobert Watson 	ASSERT_VOP_LOCKED(dvp, "mac_check_vnode_chdir");
163195fab37eSRobert Watson 
163295fab37eSRobert Watson 	if (!mac_enforce_fs)
163395fab37eSRobert Watson 		return (0);
163495fab37eSRobert Watson 
163595fab37eSRobert Watson 	error = vn_refreshlabel(dvp, cred);
163695fab37eSRobert Watson 	if (error)
163795fab37eSRobert Watson 		return (error);
163895fab37eSRobert Watson 
163995fab37eSRobert Watson 	MAC_CHECK(check_vnode_chdir, cred, dvp, &dvp->v_label);
164095fab37eSRobert Watson 	return (error);
164195fab37eSRobert Watson }
164295fab37eSRobert Watson 
164395fab37eSRobert Watson int
164495fab37eSRobert Watson mac_check_vnode_chroot(struct ucred *cred, struct vnode *dvp)
164595fab37eSRobert Watson {
164695fab37eSRobert Watson 	int error;
164795fab37eSRobert Watson 
164895fab37eSRobert Watson 	ASSERT_VOP_LOCKED(dvp, "mac_check_vnode_chroot");
164995fab37eSRobert Watson 
165095fab37eSRobert Watson 	if (!mac_enforce_fs)
165195fab37eSRobert Watson 		return (0);
165295fab37eSRobert Watson 
165395fab37eSRobert Watson 	error = vn_refreshlabel(dvp, cred);
165495fab37eSRobert Watson 	if (error)
165595fab37eSRobert Watson 		return (error);
165695fab37eSRobert Watson 
165795fab37eSRobert Watson 	MAC_CHECK(check_vnode_chroot, cred, dvp, &dvp->v_label);
165895fab37eSRobert Watson 	return (error);
165995fab37eSRobert Watson }
166095fab37eSRobert Watson 
166195fab37eSRobert Watson int
166295fab37eSRobert Watson mac_check_vnode_create(struct ucred *cred, struct vnode *dvp,
166395fab37eSRobert Watson     struct componentname *cnp, struct vattr *vap)
166495fab37eSRobert Watson {
166595fab37eSRobert Watson 	int error;
166695fab37eSRobert Watson 
166795fab37eSRobert Watson 	ASSERT_VOP_LOCKED(dvp, "mac_check_vnode_create");
166895fab37eSRobert Watson 
166995fab37eSRobert Watson 	if (!mac_enforce_fs)
167095fab37eSRobert Watson 		return (0);
167195fab37eSRobert Watson 
167295fab37eSRobert Watson 	error = vn_refreshlabel(dvp, cred);
167395fab37eSRobert Watson 	if (error)
167495fab37eSRobert Watson 		return (error);
167595fab37eSRobert Watson 
167695fab37eSRobert Watson 	MAC_CHECK(check_vnode_create, cred, dvp, &dvp->v_label, cnp, vap);
167795fab37eSRobert Watson 	return (error);
167895fab37eSRobert Watson }
167995fab37eSRobert Watson 
168095fab37eSRobert Watson int
168195fab37eSRobert Watson mac_check_vnode_delete(struct ucred *cred, struct vnode *dvp, struct vnode *vp,
168295fab37eSRobert Watson     struct componentname *cnp)
168395fab37eSRobert Watson {
168495fab37eSRobert Watson 	int error;
168595fab37eSRobert Watson 
168695fab37eSRobert Watson 	ASSERT_VOP_LOCKED(dvp, "mac_check_vnode_delete");
168795fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_delete");
168895fab37eSRobert Watson 
168995fab37eSRobert Watson 	if (!mac_enforce_fs)
169095fab37eSRobert Watson 		return (0);
169195fab37eSRobert Watson 
169295fab37eSRobert Watson 	error = vn_refreshlabel(dvp, cred);
169395fab37eSRobert Watson 	if (error)
169495fab37eSRobert Watson 		return (error);
169595fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
169695fab37eSRobert Watson 	if (error)
169795fab37eSRobert Watson 		return (error);
169895fab37eSRobert Watson 
169995fab37eSRobert Watson 	MAC_CHECK(check_vnode_delete, cred, dvp, &dvp->v_label, vp,
170095fab37eSRobert Watson 	    &vp->v_label, cnp);
170195fab37eSRobert Watson 	return (error);
170295fab37eSRobert Watson }
170395fab37eSRobert Watson 
170495fab37eSRobert Watson int
170595fab37eSRobert Watson mac_check_vnode_deleteacl(struct ucred *cred, struct vnode *vp,
170695fab37eSRobert Watson     acl_type_t type)
170795fab37eSRobert Watson {
170895fab37eSRobert Watson 	int error;
170995fab37eSRobert Watson 
171095fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_deleteacl");
171195fab37eSRobert Watson 
171295fab37eSRobert Watson 	if (!mac_enforce_fs)
171395fab37eSRobert Watson 		return (0);
171495fab37eSRobert Watson 
171595fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
171695fab37eSRobert Watson 	if (error)
171795fab37eSRobert Watson 		return (error);
171895fab37eSRobert Watson 
171995fab37eSRobert Watson 	MAC_CHECK(check_vnode_deleteacl, cred, vp, &vp->v_label, type);
172095fab37eSRobert Watson 	return (error);
172195fab37eSRobert Watson }
172295fab37eSRobert Watson 
172395fab37eSRobert Watson int
172495fab37eSRobert Watson mac_check_vnode_exec(struct ucred *cred, struct vnode *vp)
172595fab37eSRobert Watson {
172695fab37eSRobert Watson 	int error;
172795fab37eSRobert Watson 
1728851704bbSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_exec");
1729851704bbSRobert Watson 
173095fab37eSRobert Watson 	if (!mac_enforce_process && !mac_enforce_fs)
173195fab37eSRobert Watson 		return (0);
173295fab37eSRobert Watson 
173395fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
173495fab37eSRobert Watson 	if (error)
173595fab37eSRobert Watson 		return (error);
173695fab37eSRobert Watson 	MAC_CHECK(check_vnode_exec, cred, vp, &vp->v_label);
173795fab37eSRobert Watson 
173895fab37eSRobert Watson 	return (error);
173995fab37eSRobert Watson }
174095fab37eSRobert Watson 
174195fab37eSRobert Watson int
174295fab37eSRobert Watson mac_check_vnode_getacl(struct ucred *cred, struct vnode *vp, acl_type_t type)
174395fab37eSRobert Watson {
174495fab37eSRobert Watson 	int error;
174595fab37eSRobert Watson 
174695fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_getacl");
174795fab37eSRobert Watson 
174895fab37eSRobert Watson 	if (!mac_enforce_fs)
174995fab37eSRobert Watson 		return (0);
175095fab37eSRobert Watson 
175195fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
175295fab37eSRobert Watson 	if (error)
175395fab37eSRobert Watson 		return (error);
175495fab37eSRobert Watson 
175595fab37eSRobert Watson 	MAC_CHECK(check_vnode_getacl, cred, vp, &vp->v_label, type);
175695fab37eSRobert Watson 	return (error);
175795fab37eSRobert Watson }
175895fab37eSRobert Watson 
175995fab37eSRobert Watson int
176095fab37eSRobert Watson mac_check_vnode_getextattr(struct ucred *cred, struct vnode *vp,
176195fab37eSRobert Watson     int attrnamespace, const char *name, struct uio *uio)
176295fab37eSRobert Watson {
176395fab37eSRobert Watson 	int error;
176495fab37eSRobert Watson 
176595fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_getextattr");
176695fab37eSRobert Watson 
176795fab37eSRobert Watson 	if (!mac_enforce_fs)
176895fab37eSRobert Watson 		return (0);
176995fab37eSRobert Watson 
177095fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
177195fab37eSRobert Watson 	if (error)
177295fab37eSRobert Watson 		return (error);
177395fab37eSRobert Watson 
177495fab37eSRobert Watson 	MAC_CHECK(check_vnode_getextattr, cred, vp, &vp->v_label,
177595fab37eSRobert Watson 	    attrnamespace, name, uio);
177695fab37eSRobert Watson 	return (error);
177795fab37eSRobert Watson }
177895fab37eSRobert Watson 
177995fab37eSRobert Watson int
178095fab37eSRobert Watson mac_check_vnode_lookup(struct ucred *cred, struct vnode *dvp,
178195fab37eSRobert Watson     struct componentname *cnp)
178295fab37eSRobert Watson {
178395fab37eSRobert Watson 	int error;
178495fab37eSRobert Watson 
178595fab37eSRobert Watson 	ASSERT_VOP_LOCKED(dvp, "mac_check_vnode_lookup");
178695fab37eSRobert Watson 
178795fab37eSRobert Watson 	if (!mac_enforce_fs)
178895fab37eSRobert Watson 		return (0);
178995fab37eSRobert Watson 
179095fab37eSRobert Watson 	error = vn_refreshlabel(dvp, cred);
179195fab37eSRobert Watson 	if (error)
179295fab37eSRobert Watson 		return (error);
179395fab37eSRobert Watson 
179495fab37eSRobert Watson 	MAC_CHECK(check_vnode_lookup, cred, dvp, &dvp->v_label, cnp);
179595fab37eSRobert Watson 	return (error);
179695fab37eSRobert Watson }
179795fab37eSRobert Watson 
179895fab37eSRobert Watson vm_prot_t
179995fab37eSRobert Watson mac_check_vnode_mmap_prot(struct ucred *cred, struct vnode *vp, int newmapping)
180095fab37eSRobert Watson {
180195fab37eSRobert Watson 	vm_prot_t result = VM_PROT_ALL;
180295fab37eSRobert Watson 
1803ca7850c3SRobert Watson 	if (!mac_enforce_vm)
1804ca7850c3SRobert Watson 		return (result);
1805ca7850c3SRobert Watson 
180695fab37eSRobert Watson 	/*
180795fab37eSRobert Watson 	 * This should be some sort of MAC_BITWISE, maybe :)
180895fab37eSRobert Watson 	 */
180995fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_mmap_perms");
181095fab37eSRobert Watson 	MAC_BOOLEAN(check_vnode_mmap_perms, &, cred, vp, &vp->v_label,
181195fab37eSRobert Watson 	    newmapping);
181295fab37eSRobert Watson 	return (result);
181395fab37eSRobert Watson }
181495fab37eSRobert Watson 
181595fab37eSRobert Watson int
181695fab37eSRobert Watson mac_check_vnode_open(struct ucred *cred, struct vnode *vp, mode_t acc_mode)
181795fab37eSRobert Watson {
181895fab37eSRobert Watson 	int error;
181995fab37eSRobert Watson 
182095fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_open");
182195fab37eSRobert Watson 
182295fab37eSRobert Watson 	if (!mac_enforce_fs)
182395fab37eSRobert Watson 		return (0);
182495fab37eSRobert Watson 
182595fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
182695fab37eSRobert Watson 	if (error)
182795fab37eSRobert Watson 		return (error);
182895fab37eSRobert Watson 
182995fab37eSRobert Watson 	MAC_CHECK(check_vnode_open, cred, vp, &vp->v_label, acc_mode);
183095fab37eSRobert Watson 	return (error);
183195fab37eSRobert Watson }
183295fab37eSRobert Watson 
183395fab37eSRobert Watson int
1834177142e4SRobert Watson mac_check_vnode_poll(struct ucred *active_cred, struct ucred *file_cred,
1835177142e4SRobert Watson     struct vnode *vp)
18367f724f8bSRobert Watson {
18377f724f8bSRobert Watson 	int error;
18387f724f8bSRobert Watson 
18397f724f8bSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_poll");
18407f724f8bSRobert Watson 
18417f724f8bSRobert Watson 	if (!mac_enforce_fs)
18427f724f8bSRobert Watson 		return (0);
18437f724f8bSRobert Watson 
1844177142e4SRobert Watson 	error = vn_refreshlabel(vp, active_cred);
18457f724f8bSRobert Watson 	if (error)
18467f724f8bSRobert Watson 		return (error);
18477f724f8bSRobert Watson 
1848177142e4SRobert Watson 	MAC_CHECK(check_vnode_poll, active_cred, file_cred, vp,
1849177142e4SRobert Watson 	    &vp->v_label);
18507f724f8bSRobert Watson 
18517f724f8bSRobert Watson 	return (error);
18527f724f8bSRobert Watson }
18537f724f8bSRobert Watson 
18547f724f8bSRobert Watson int
1855177142e4SRobert Watson mac_check_vnode_read(struct ucred *active_cred, struct ucred *file_cred,
1856177142e4SRobert Watson     struct vnode *vp)
18577f724f8bSRobert Watson {
18587f724f8bSRobert Watson 	int error;
18597f724f8bSRobert Watson 
18607f724f8bSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_read");
18617f724f8bSRobert Watson 
18627f724f8bSRobert Watson 	if (!mac_enforce_fs)
18637f724f8bSRobert Watson 		return (0);
18647f724f8bSRobert Watson 
1865177142e4SRobert Watson 	error = vn_refreshlabel(vp, active_cred);
18667f724f8bSRobert Watson 	if (error)
18677f724f8bSRobert Watson 		return (error);
18687f724f8bSRobert Watson 
1869177142e4SRobert Watson 	MAC_CHECK(check_vnode_read, active_cred, file_cred, vp,
1870177142e4SRobert Watson 	    &vp->v_label);
18717f724f8bSRobert Watson 
18727f724f8bSRobert Watson 	return (error);
18737f724f8bSRobert Watson }
18747f724f8bSRobert Watson 
18757f724f8bSRobert Watson int
187695fab37eSRobert Watson mac_check_vnode_readdir(struct ucred *cred, struct vnode *dvp)
187795fab37eSRobert Watson {
187895fab37eSRobert Watson 	int error;
187995fab37eSRobert Watson 
188095fab37eSRobert Watson 	ASSERT_VOP_LOCKED(dvp, "mac_check_vnode_readdir");
188195fab37eSRobert Watson 
188295fab37eSRobert Watson 	if (!mac_enforce_fs)
188395fab37eSRobert Watson 		return (0);
188495fab37eSRobert Watson 
188595fab37eSRobert Watson 	error = vn_refreshlabel(dvp, cred);
188695fab37eSRobert Watson 	if (error)
188795fab37eSRobert Watson 		return (error);
188895fab37eSRobert Watson 
188995fab37eSRobert Watson 	MAC_CHECK(check_vnode_readdir, cred, dvp, &dvp->v_label);
189095fab37eSRobert Watson 	return (error);
189195fab37eSRobert Watson }
189295fab37eSRobert Watson 
189395fab37eSRobert Watson int
189495fab37eSRobert Watson mac_check_vnode_readlink(struct ucred *cred, struct vnode *vp)
189595fab37eSRobert Watson {
189695fab37eSRobert Watson 	int error;
189795fab37eSRobert Watson 
189895fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_readlink");
189995fab37eSRobert Watson 
190095fab37eSRobert Watson 	if (!mac_enforce_fs)
190195fab37eSRobert Watson 		return (0);
190295fab37eSRobert Watson 
190395fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
190495fab37eSRobert Watson 	if (error)
190595fab37eSRobert Watson 		return (error);
190695fab37eSRobert Watson 
190795fab37eSRobert Watson 	MAC_CHECK(check_vnode_readlink, cred, vp, &vp->v_label);
190895fab37eSRobert Watson 	return (error);
190995fab37eSRobert Watson }
191095fab37eSRobert Watson 
191195fab37eSRobert Watson static int
191295fab37eSRobert Watson mac_check_vnode_relabel(struct ucred *cred, struct vnode *vp,
191395fab37eSRobert Watson     struct label *newlabel)
191495fab37eSRobert Watson {
191595fab37eSRobert Watson 	int error;
191695fab37eSRobert Watson 
191795fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_relabel");
191895fab37eSRobert Watson 
191995fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
192095fab37eSRobert Watson 	if (error)
192195fab37eSRobert Watson 		return (error);
192295fab37eSRobert Watson 
192395fab37eSRobert Watson 	MAC_CHECK(check_vnode_relabel, cred, vp, &vp->v_label, newlabel);
192495fab37eSRobert Watson 
192595fab37eSRobert Watson 	return (error);
192695fab37eSRobert Watson }
192795fab37eSRobert Watson 
192895fab37eSRobert Watson int
192995fab37eSRobert Watson mac_check_vnode_rename_from(struct ucred *cred, struct vnode *dvp,
193095fab37eSRobert Watson     struct vnode *vp, struct componentname *cnp)
193195fab37eSRobert Watson {
193295fab37eSRobert Watson 	int error;
193395fab37eSRobert Watson 
193495fab37eSRobert Watson 	ASSERT_VOP_LOCKED(dvp, "mac_check_vnode_rename_from");
193595fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_rename_from");
193695fab37eSRobert Watson 
193795fab37eSRobert Watson 	if (!mac_enforce_fs)
193895fab37eSRobert Watson 		return (0);
193995fab37eSRobert Watson 
194095fab37eSRobert Watson 	error = vn_refreshlabel(dvp, cred);
194195fab37eSRobert Watson 	if (error)
194295fab37eSRobert Watson 		return (error);
194395fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
194495fab37eSRobert Watson 	if (error)
194595fab37eSRobert Watson 		return (error);
194695fab37eSRobert Watson 
194795fab37eSRobert Watson 	MAC_CHECK(check_vnode_rename_from, cred, dvp, &dvp->v_label, vp,
194895fab37eSRobert Watson 	    &vp->v_label, cnp);
194995fab37eSRobert Watson 	return (error);
195095fab37eSRobert Watson }
195195fab37eSRobert Watson 
195295fab37eSRobert Watson int
195395fab37eSRobert Watson mac_check_vnode_rename_to(struct ucred *cred, struct vnode *dvp,
195495fab37eSRobert Watson     struct vnode *vp, int samedir, struct componentname *cnp)
195595fab37eSRobert Watson {
195695fab37eSRobert Watson 	int error;
195795fab37eSRobert Watson 
195895fab37eSRobert Watson 	ASSERT_VOP_LOCKED(dvp, "mac_check_vnode_rename_to");
195995fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_rename_to");
196095fab37eSRobert Watson 
196195fab37eSRobert Watson 	if (!mac_enforce_fs)
196295fab37eSRobert Watson 		return (0);
196395fab37eSRobert Watson 
196495fab37eSRobert Watson 	error = vn_refreshlabel(dvp, cred);
196595fab37eSRobert Watson 	if (error)
196695fab37eSRobert Watson 		return (error);
196795fab37eSRobert Watson 	if (vp != NULL) {
196895fab37eSRobert Watson 		error = vn_refreshlabel(vp, cred);
196995fab37eSRobert Watson 		if (error)
197095fab37eSRobert Watson 			return (error);
197195fab37eSRobert Watson 	}
197295fab37eSRobert Watson 	MAC_CHECK(check_vnode_rename_to, cred, dvp, &dvp->v_label, vp,
197395fab37eSRobert Watson 	    vp != NULL ? &vp->v_label : NULL, samedir, cnp);
197495fab37eSRobert Watson 	return (error);
197595fab37eSRobert Watson }
197695fab37eSRobert Watson 
197795fab37eSRobert Watson int
197895fab37eSRobert Watson mac_check_vnode_revoke(struct ucred *cred, struct vnode *vp)
197995fab37eSRobert Watson {
198095fab37eSRobert Watson 	int error;
198195fab37eSRobert Watson 
198295fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_revoke");
198395fab37eSRobert Watson 
198495fab37eSRobert Watson 	if (!mac_enforce_fs)
198595fab37eSRobert Watson 		return (0);
198695fab37eSRobert Watson 
198795fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
198895fab37eSRobert Watson 	if (error)
198995fab37eSRobert Watson 		return (error);
199095fab37eSRobert Watson 
199195fab37eSRobert Watson 	MAC_CHECK(check_vnode_revoke, cred, vp, &vp->v_label);
199295fab37eSRobert Watson 	return (error);
199395fab37eSRobert Watson }
199495fab37eSRobert Watson 
199595fab37eSRobert Watson int
199695fab37eSRobert Watson mac_check_vnode_setacl(struct ucred *cred, struct vnode *vp, acl_type_t type,
199795fab37eSRobert Watson     struct acl *acl)
199895fab37eSRobert Watson {
199995fab37eSRobert Watson 	int error;
200095fab37eSRobert Watson 
200195fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_setacl");
200295fab37eSRobert Watson 
200395fab37eSRobert Watson 	if (!mac_enforce_fs)
200495fab37eSRobert Watson 		return (0);
200595fab37eSRobert Watson 
200695fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
200795fab37eSRobert Watson 	if (error)
200895fab37eSRobert Watson 		return (error);
200995fab37eSRobert Watson 
201095fab37eSRobert Watson 	MAC_CHECK(check_vnode_setacl, cred, vp, &vp->v_label, type, acl);
201195fab37eSRobert Watson 	return (error);
201295fab37eSRobert Watson }
201395fab37eSRobert Watson 
201495fab37eSRobert Watson int
201595fab37eSRobert Watson mac_check_vnode_setextattr(struct ucred *cred, struct vnode *vp,
201695fab37eSRobert Watson     int attrnamespace, const char *name, struct uio *uio)
201795fab37eSRobert Watson {
201895fab37eSRobert Watson 	int error;
201995fab37eSRobert Watson 
202095fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_setextattr");
202195fab37eSRobert Watson 
202295fab37eSRobert Watson 	if (!mac_enforce_fs)
202395fab37eSRobert Watson 		return (0);
202495fab37eSRobert Watson 
202595fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
202695fab37eSRobert Watson 	if (error)
202795fab37eSRobert Watson 		return (error);
202895fab37eSRobert Watson 
202995fab37eSRobert Watson 	MAC_CHECK(check_vnode_setextattr, cred, vp, &vp->v_label,
203095fab37eSRobert Watson 	    attrnamespace, name, uio);
203195fab37eSRobert Watson 	return (error);
203295fab37eSRobert Watson }
203395fab37eSRobert Watson 
203495fab37eSRobert Watson int
203595fab37eSRobert Watson mac_check_vnode_setflags(struct ucred *cred, struct vnode *vp, u_long flags)
203695fab37eSRobert Watson {
203795fab37eSRobert Watson 	int error;
203895fab37eSRobert Watson 
203995fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_setflags");
204095fab37eSRobert Watson 
204195fab37eSRobert Watson 	if (!mac_enforce_fs)
204295fab37eSRobert Watson 		return (0);
204395fab37eSRobert Watson 
204495fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
204595fab37eSRobert Watson 	if (error)
204695fab37eSRobert Watson 		return (error);
204795fab37eSRobert Watson 
204895fab37eSRobert Watson 	MAC_CHECK(check_vnode_setflags, cred, vp, &vp->v_label, flags);
204995fab37eSRobert Watson 	return (error);
205095fab37eSRobert Watson }
205195fab37eSRobert Watson 
205295fab37eSRobert Watson int
205395fab37eSRobert Watson mac_check_vnode_setmode(struct ucred *cred, struct vnode *vp, mode_t mode)
205495fab37eSRobert Watson {
205595fab37eSRobert Watson 	int error;
205695fab37eSRobert Watson 
205795fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_setmode");
205895fab37eSRobert Watson 
205995fab37eSRobert Watson 	if (!mac_enforce_fs)
206095fab37eSRobert Watson 		return (0);
206195fab37eSRobert Watson 
206295fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
206395fab37eSRobert Watson 	if (error)
206495fab37eSRobert Watson 		return (error);
206595fab37eSRobert Watson 
206695fab37eSRobert Watson 	MAC_CHECK(check_vnode_setmode, cred, vp, &vp->v_label, mode);
206795fab37eSRobert Watson 	return (error);
206895fab37eSRobert Watson }
206995fab37eSRobert Watson 
207095fab37eSRobert Watson int
207195fab37eSRobert Watson mac_check_vnode_setowner(struct ucred *cred, struct vnode *vp, uid_t uid,
207295fab37eSRobert Watson     gid_t gid)
207395fab37eSRobert Watson {
207495fab37eSRobert Watson 	int error;
207595fab37eSRobert Watson 
207695fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_setowner");
207795fab37eSRobert Watson 
207895fab37eSRobert Watson 	if (!mac_enforce_fs)
207995fab37eSRobert Watson 		return (0);
208095fab37eSRobert Watson 
208195fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
208295fab37eSRobert Watson 	if (error)
208395fab37eSRobert Watson 		return (error);
208495fab37eSRobert Watson 
208595fab37eSRobert Watson 	MAC_CHECK(check_vnode_setowner, cred, vp, &vp->v_label, uid, gid);
208695fab37eSRobert Watson 	return (error);
208795fab37eSRobert Watson }
208895fab37eSRobert Watson 
208995fab37eSRobert Watson int
209095fab37eSRobert Watson mac_check_vnode_setutimes(struct ucred *cred, struct vnode *vp,
209195fab37eSRobert Watson     struct timespec atime, struct timespec mtime)
209295fab37eSRobert Watson {
209395fab37eSRobert Watson 	int error;
209495fab37eSRobert Watson 
209595fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_setutimes");
209695fab37eSRobert Watson 
209795fab37eSRobert Watson 	if (!mac_enforce_fs)
209895fab37eSRobert Watson 		return (0);
209995fab37eSRobert Watson 
210095fab37eSRobert Watson 	error = vn_refreshlabel(vp, cred);
210195fab37eSRobert Watson 	if (error)
210295fab37eSRobert Watson 		return (error);
210395fab37eSRobert Watson 
210495fab37eSRobert Watson 	MAC_CHECK(check_vnode_setutimes, cred, vp, &vp->v_label, atime,
210595fab37eSRobert Watson 	    mtime);
210695fab37eSRobert Watson 	return (error);
210795fab37eSRobert Watson }
210895fab37eSRobert Watson 
210995fab37eSRobert Watson int
2110177142e4SRobert Watson mac_check_vnode_stat(struct ucred *active_cred, struct ucred *file_cred,
2111177142e4SRobert Watson     struct vnode *vp)
211295fab37eSRobert Watson {
211395fab37eSRobert Watson 	int error;
211495fab37eSRobert Watson 
211595fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_stat");
211695fab37eSRobert Watson 
211795fab37eSRobert Watson 	if (!mac_enforce_fs)
211895fab37eSRobert Watson 		return (0);
211995fab37eSRobert Watson 
2120177142e4SRobert Watson 	error = vn_refreshlabel(vp, active_cred);
212195fab37eSRobert Watson 	if (error)
212295fab37eSRobert Watson 		return (error);
212395fab37eSRobert Watson 
2124177142e4SRobert Watson 	MAC_CHECK(check_vnode_stat, active_cred, file_cred, vp,
2125177142e4SRobert Watson 	    &vp->v_label);
212695fab37eSRobert Watson 	return (error);
212795fab37eSRobert Watson }
212895fab37eSRobert Watson 
21297f724f8bSRobert Watson int
2130177142e4SRobert Watson mac_check_vnode_write(struct ucred *active_cred, struct ucred *file_cred,
2131177142e4SRobert Watson     struct vnode *vp)
21327f724f8bSRobert Watson {
21337f724f8bSRobert Watson 	int error;
21347f724f8bSRobert Watson 
21357f724f8bSRobert Watson 	ASSERT_VOP_LOCKED(vp, "mac_check_vnode_write");
21367f724f8bSRobert Watson 
21377f724f8bSRobert Watson 	if (!mac_enforce_fs)
21387f724f8bSRobert Watson 		return (0);
21397f724f8bSRobert Watson 
2140177142e4SRobert Watson 	error = vn_refreshlabel(vp, active_cred);
21417f724f8bSRobert Watson 	if (error)
21427f724f8bSRobert Watson 		return (error);
21437f724f8bSRobert Watson 
2144177142e4SRobert Watson 	MAC_CHECK(check_vnode_write, active_cred, file_cred, vp,
2145177142e4SRobert Watson 	    &vp->v_label);
21467f724f8bSRobert Watson 
21477f724f8bSRobert Watson 	return (error);
21487f724f8bSRobert Watson }
21497f724f8bSRobert Watson 
215095fab37eSRobert Watson /*
215195fab37eSRobert Watson  * When relabeling a process, call out to the policies for the maximum
215295fab37eSRobert Watson  * permission allowed for each object type we know about in its
215395fab37eSRobert Watson  * memory space, and revoke access (in the least surprising ways we
215495fab37eSRobert Watson  * know) when necessary.  The process lock is not held here.
215595fab37eSRobert Watson  */
215695fab37eSRobert Watson static void
215795fab37eSRobert Watson mac_cred_mmapped_drop_perms(struct thread *td, struct ucred *cred)
215895fab37eSRobert Watson {
215995fab37eSRobert Watson 
216095fab37eSRobert Watson 	/* XXX freeze all other threads */
216195fab37eSRobert Watson 	mac_cred_mmapped_drop_perms_recurse(td, cred,
216295fab37eSRobert Watson 	    &td->td_proc->p_vmspace->vm_map);
216395fab37eSRobert Watson 	/* XXX allow other threads to continue */
216495fab37eSRobert Watson }
216595fab37eSRobert Watson 
216695fab37eSRobert Watson static __inline const char *
216795fab37eSRobert Watson prot2str(vm_prot_t prot)
216895fab37eSRobert Watson {
216995fab37eSRobert Watson 
217095fab37eSRobert Watson 	switch (prot & VM_PROT_ALL) {
217195fab37eSRobert Watson 	case VM_PROT_READ:
217295fab37eSRobert Watson 		return ("r--");
217395fab37eSRobert Watson 	case VM_PROT_READ | VM_PROT_WRITE:
217495fab37eSRobert Watson 		return ("rw-");
217595fab37eSRobert Watson 	case VM_PROT_READ | VM_PROT_EXECUTE:
217695fab37eSRobert Watson 		return ("r-x");
217795fab37eSRobert Watson 	case VM_PROT_READ | VM_PROT_WRITE | VM_PROT_EXECUTE:
217895fab37eSRobert Watson 		return ("rwx");
217995fab37eSRobert Watson 	case VM_PROT_WRITE:
218095fab37eSRobert Watson 		return ("-w-");
218195fab37eSRobert Watson 	case VM_PROT_EXECUTE:
218295fab37eSRobert Watson 		return ("--x");
218395fab37eSRobert Watson 	case VM_PROT_WRITE | VM_PROT_EXECUTE:
218495fab37eSRobert Watson 		return ("-wx");
218595fab37eSRobert Watson 	default:
218695fab37eSRobert Watson 		return ("---");
218795fab37eSRobert Watson 	}
218895fab37eSRobert Watson }
218995fab37eSRobert Watson 
219095fab37eSRobert Watson static void
219195fab37eSRobert Watson mac_cred_mmapped_drop_perms_recurse(struct thread *td, struct ucred *cred,
219295fab37eSRobert Watson     struct vm_map *map)
219395fab37eSRobert Watson {
219495fab37eSRobert Watson 	struct vm_map_entry *vme;
219595fab37eSRobert Watson 	vm_prot_t result, revokeperms;
219695fab37eSRobert Watson 	vm_object_t object;
219795fab37eSRobert Watson 	vm_ooffset_t offset;
219895fab37eSRobert Watson 	struct vnode *vp;
219995fab37eSRobert Watson 
2200c0f39905SRobert Watson 	if (!mac_mmap_revocation)
2201c0f39905SRobert Watson 		return;
2202c0f39905SRobert Watson 
220395fab37eSRobert Watson 	vm_map_lock_read(map);
220495fab37eSRobert Watson 	for (vme = map->header.next; vme != &map->header; vme = vme->next) {
220595fab37eSRobert Watson 		if (vme->eflags & MAP_ENTRY_IS_SUB_MAP) {
220695fab37eSRobert Watson 			mac_cred_mmapped_drop_perms_recurse(td, cred,
220795fab37eSRobert Watson 			    vme->object.sub_map);
220895fab37eSRobert Watson 			continue;
220995fab37eSRobert Watson 		}
221095fab37eSRobert Watson 		/*
221195fab37eSRobert Watson 		 * Skip over entries that obviously are not shared.
221295fab37eSRobert Watson 		 */
221395fab37eSRobert Watson 		if (vme->eflags & (MAP_ENTRY_COW | MAP_ENTRY_NOSYNC) ||
221495fab37eSRobert Watson 		    !vme->max_protection)
221595fab37eSRobert Watson 			continue;
221695fab37eSRobert Watson 		/*
221795fab37eSRobert Watson 		 * Drill down to the deepest backing object.
221895fab37eSRobert Watson 		 */
221995fab37eSRobert Watson 		offset = vme->offset;
222095fab37eSRobert Watson 		object = vme->object.vm_object;
222195fab37eSRobert Watson 		if (object == NULL)
222295fab37eSRobert Watson 			continue;
222395fab37eSRobert Watson 		while (object->backing_object != NULL) {
222495fab37eSRobert Watson 			object = object->backing_object;
222595fab37eSRobert Watson 			offset += object->backing_object_offset;
222695fab37eSRobert Watson 		}
222795fab37eSRobert Watson 		/*
222895fab37eSRobert Watson 		 * At the moment, vm_maps and objects aren't considered
222995fab37eSRobert Watson 		 * by the MAC system, so only things with backing by a
223095fab37eSRobert Watson 		 * normal object (read: vnodes) are checked.
223195fab37eSRobert Watson 		 */
223295fab37eSRobert Watson 		if (object->type != OBJT_VNODE)
223395fab37eSRobert Watson 			continue;
223495fab37eSRobert Watson 		vp = (struct vnode *)object->handle;
223595fab37eSRobert Watson 		vn_lock(vp, LK_EXCLUSIVE | LK_RETRY, td);
223695fab37eSRobert Watson 		result = mac_check_vnode_mmap_prot(cred, vp, 0);
223795fab37eSRobert Watson 		VOP_UNLOCK(vp, 0, td);
223895fab37eSRobert Watson 		/*
223995fab37eSRobert Watson 		 * Find out what maximum protection we may be allowing
224095fab37eSRobert Watson 		 * now but a policy needs to get removed.
224195fab37eSRobert Watson 		 */
224295fab37eSRobert Watson 		revokeperms = vme->max_protection & ~result;
224395fab37eSRobert Watson 		if (!revokeperms)
224495fab37eSRobert Watson 			continue;
2245b656366bSBruce Evans 		printf("pid %ld: revoking %s perms from %#lx:%ld "
2246b656366bSBruce Evans 		    "(max %s/cur %s)\n", (long)td->td_proc->p_pid,
2247b656366bSBruce Evans 		    prot2str(revokeperms), (u_long)vme->start,
2248b656366bSBruce Evans 		    (long)(vme->end - vme->start),
224995fab37eSRobert Watson 		    prot2str(vme->max_protection), prot2str(vme->protection));
225095fab37eSRobert Watson 		vm_map_lock_upgrade(map);
225195fab37eSRobert Watson 		/*
225295fab37eSRobert Watson 		 * This is the really simple case: if a map has more
225395fab37eSRobert Watson 		 * max_protection than is allowed, but it's not being
225495fab37eSRobert Watson 		 * actually used (that is, the current protection is
225595fab37eSRobert Watson 		 * still allowed), we can just wipe it out and do
225695fab37eSRobert Watson 		 * nothing more.
225795fab37eSRobert Watson 		 */
225895fab37eSRobert Watson 		if ((vme->protection & revokeperms) == 0) {
225995fab37eSRobert Watson 			vme->max_protection -= revokeperms;
226095fab37eSRobert Watson 		} else {
226195fab37eSRobert Watson 			if (revokeperms & VM_PROT_WRITE) {
226295fab37eSRobert Watson 				/*
226395fab37eSRobert Watson 				 * In the more complicated case, flush out all
226495fab37eSRobert Watson 				 * pending changes to the object then turn it
226595fab37eSRobert Watson 				 * copy-on-write.
226695fab37eSRobert Watson 				 */
226795fab37eSRobert Watson 				vm_object_reference(object);
226895fab37eSRobert Watson 				vn_lock(vp, LK_EXCLUSIVE | LK_RETRY, td);
226995fab37eSRobert Watson 				vm_object_page_clean(object,
227095fab37eSRobert Watson 				    OFF_TO_IDX(offset),
227195fab37eSRobert Watson 				    OFF_TO_IDX(offset + vme->end - vme->start +
227295fab37eSRobert Watson 					PAGE_MASK),
227395fab37eSRobert Watson 				    OBJPC_SYNC);
227495fab37eSRobert Watson 				VOP_UNLOCK(vp, 0, td);
227595fab37eSRobert Watson 				vm_object_deallocate(object);
227695fab37eSRobert Watson 				/*
227795fab37eSRobert Watson 				 * Why bother if there's no read permissions
227895fab37eSRobert Watson 				 * anymore?  For the rest, we need to leave
227995fab37eSRobert Watson 				 * the write permissions on for COW, or
228095fab37eSRobert Watson 				 * remove them entirely if configured to.
228195fab37eSRobert Watson 				 */
228295fab37eSRobert Watson 				if (!mac_mmap_revocation_via_cow) {
228395fab37eSRobert Watson 					vme->max_protection &= ~VM_PROT_WRITE;
228495fab37eSRobert Watson 					vme->protection &= ~VM_PROT_WRITE;
228595fab37eSRobert Watson 				} if ((revokeperms & VM_PROT_READ) == 0)
228695fab37eSRobert Watson 					vme->eflags |= MAP_ENTRY_COW |
228795fab37eSRobert Watson 					    MAP_ENTRY_NEEDS_COPY;
228895fab37eSRobert Watson 			}
228995fab37eSRobert Watson 			if (revokeperms & VM_PROT_EXECUTE) {
229095fab37eSRobert Watson 				vme->max_protection &= ~VM_PROT_EXECUTE;
229195fab37eSRobert Watson 				vme->protection &= ~VM_PROT_EXECUTE;
229295fab37eSRobert Watson 			}
229395fab37eSRobert Watson 			if (revokeperms & VM_PROT_READ) {
229495fab37eSRobert Watson 				vme->max_protection = 0;
229595fab37eSRobert Watson 				vme->protection = 0;
229695fab37eSRobert Watson 			}
229795fab37eSRobert Watson 			pmap_protect(map->pmap, vme->start, vme->end,
229895fab37eSRobert Watson 			    vme->protection & ~revokeperms);
229995fab37eSRobert Watson 			vm_map_simplify_entry(map, vme);
230095fab37eSRobert Watson 		}
230195fab37eSRobert Watson 		vm_map_lock_downgrade(map);
230295fab37eSRobert Watson 	}
230395fab37eSRobert Watson 	vm_map_unlock_read(map);
230495fab37eSRobert Watson }
230595fab37eSRobert Watson 
230695fab37eSRobert Watson /*
230795fab37eSRobert Watson  * When the subject's label changes, it may require revocation of privilege
230895fab37eSRobert Watson  * to mapped objects.  This can't be done on-the-fly later with a unified
230995fab37eSRobert Watson  * buffer cache.
231095fab37eSRobert Watson  */
231195fab37eSRobert Watson static void
231295fab37eSRobert Watson mac_relabel_cred(struct ucred *cred, struct label *newlabel)
231395fab37eSRobert Watson {
231495fab37eSRobert Watson 
231595fab37eSRobert Watson 	MAC_PERFORM(relabel_cred, cred, newlabel);
231695fab37eSRobert Watson }
231795fab37eSRobert Watson 
231895fab37eSRobert Watson void
231995fab37eSRobert Watson mac_relabel_vnode(struct ucred *cred, struct vnode *vp, struct label *newlabel)
232095fab37eSRobert Watson {
232195fab37eSRobert Watson 
232295fab37eSRobert Watson 	MAC_PERFORM(relabel_vnode, cred, vp, &vp->v_label, newlabel);
232395fab37eSRobert Watson }
232495fab37eSRobert Watson 
232595fab37eSRobert Watson void
232695fab37eSRobert Watson mac_create_ifnet(struct ifnet *ifnet)
232795fab37eSRobert Watson {
232895fab37eSRobert Watson 
232995fab37eSRobert Watson 	MAC_PERFORM(create_ifnet, ifnet, &ifnet->if_label);
233095fab37eSRobert Watson }
233195fab37eSRobert Watson 
233295fab37eSRobert Watson void
233395fab37eSRobert Watson mac_create_bpfdesc(struct ucred *cred, struct bpf_d *bpf_d)
233495fab37eSRobert Watson {
233595fab37eSRobert Watson 
233695fab37eSRobert Watson 	MAC_PERFORM(create_bpfdesc, cred, bpf_d, &bpf_d->bd_label);
233795fab37eSRobert Watson }
233895fab37eSRobert Watson 
233995fab37eSRobert Watson void
234095fab37eSRobert Watson mac_create_socket(struct ucred *cred, struct socket *socket)
234195fab37eSRobert Watson {
234295fab37eSRobert Watson 
234395fab37eSRobert Watson 	MAC_PERFORM(create_socket, cred, socket, &socket->so_label);
234495fab37eSRobert Watson }
234595fab37eSRobert Watson 
234695fab37eSRobert Watson void
234795fab37eSRobert Watson mac_create_pipe(struct ucred *cred, struct pipe *pipe)
234895fab37eSRobert Watson {
234995fab37eSRobert Watson 
235095fab37eSRobert Watson 	MAC_PERFORM(create_pipe, cred, pipe, pipe->pipe_label);
235195fab37eSRobert Watson }
235295fab37eSRobert Watson 
235395fab37eSRobert Watson void
235495fab37eSRobert Watson mac_create_socket_from_socket(struct socket *oldsocket,
235595fab37eSRobert Watson     struct socket *newsocket)
235695fab37eSRobert Watson {
235795fab37eSRobert Watson 
235895fab37eSRobert Watson 	MAC_PERFORM(create_socket_from_socket, oldsocket, &oldsocket->so_label,
235995fab37eSRobert Watson 	    newsocket, &newsocket->so_label);
236095fab37eSRobert Watson }
236195fab37eSRobert Watson 
236295fab37eSRobert Watson static void
236395fab37eSRobert Watson mac_relabel_socket(struct ucred *cred, struct socket *socket,
236495fab37eSRobert Watson     struct label *newlabel)
236595fab37eSRobert Watson {
236695fab37eSRobert Watson 
236795fab37eSRobert Watson 	MAC_PERFORM(relabel_socket, cred, socket, &socket->so_label, newlabel);
236895fab37eSRobert Watson }
236995fab37eSRobert Watson 
237095fab37eSRobert Watson static void
237195fab37eSRobert Watson mac_relabel_pipe(struct ucred *cred, struct pipe *pipe, struct label *newlabel)
237295fab37eSRobert Watson {
237395fab37eSRobert Watson 
237495fab37eSRobert Watson 	MAC_PERFORM(relabel_pipe, cred, pipe, pipe->pipe_label, newlabel);
237595fab37eSRobert Watson }
237695fab37eSRobert Watson 
237795fab37eSRobert Watson void
237895fab37eSRobert Watson mac_set_socket_peer_from_mbuf(struct mbuf *mbuf, struct socket *socket)
237995fab37eSRobert Watson {
238095fab37eSRobert Watson 
238195fab37eSRobert Watson 	MAC_PERFORM(set_socket_peer_from_mbuf, mbuf, &mbuf->m_pkthdr.label,
238295fab37eSRobert Watson 	    socket, &socket->so_peerlabel);
238395fab37eSRobert Watson }
238495fab37eSRobert Watson 
238595fab37eSRobert Watson void
238695fab37eSRobert Watson mac_set_socket_peer_from_socket(struct socket *oldsocket,
238795fab37eSRobert Watson     struct socket *newsocket)
238895fab37eSRobert Watson {
238995fab37eSRobert Watson 
239095fab37eSRobert Watson 	MAC_PERFORM(set_socket_peer_from_socket, oldsocket,
239195fab37eSRobert Watson 	    &oldsocket->so_label, newsocket, &newsocket->so_peerlabel);
239295fab37eSRobert Watson }
239395fab37eSRobert Watson 
239495fab37eSRobert Watson void
239595fab37eSRobert Watson mac_create_datagram_from_ipq(struct ipq *ipq, struct mbuf *datagram)
239695fab37eSRobert Watson {
239795fab37eSRobert Watson 
239895fab37eSRobert Watson 	MAC_PERFORM(create_datagram_from_ipq, ipq, &ipq->ipq_label,
239995fab37eSRobert Watson 	    datagram, &datagram->m_pkthdr.label);
240095fab37eSRobert Watson }
240195fab37eSRobert Watson 
240295fab37eSRobert Watson void
240395fab37eSRobert Watson mac_create_fragment(struct mbuf *datagram, struct mbuf *fragment)
240495fab37eSRobert Watson {
240595fab37eSRobert Watson 
240695fab37eSRobert Watson 	MAC_PERFORM(create_fragment, datagram, &datagram->m_pkthdr.label,
240795fab37eSRobert Watson 	    fragment, &fragment->m_pkthdr.label);
240895fab37eSRobert Watson }
240995fab37eSRobert Watson 
241095fab37eSRobert Watson void
241195fab37eSRobert Watson mac_create_ipq(struct mbuf *fragment, struct ipq *ipq)
241295fab37eSRobert Watson {
241395fab37eSRobert Watson 
241495fab37eSRobert Watson 	MAC_PERFORM(create_ipq, fragment, &fragment->m_pkthdr.label, ipq,
241595fab37eSRobert Watson 	    &ipq->ipq_label);
241695fab37eSRobert Watson }
241795fab37eSRobert Watson 
241895fab37eSRobert Watson void
241995fab37eSRobert Watson mac_create_mbuf_from_mbuf(struct mbuf *oldmbuf, struct mbuf *newmbuf)
242095fab37eSRobert Watson {
242195fab37eSRobert Watson 
242295fab37eSRobert Watson 	MAC_PERFORM(create_mbuf_from_mbuf, oldmbuf, &oldmbuf->m_pkthdr.label,
242395fab37eSRobert Watson 	    newmbuf, &newmbuf->m_pkthdr.label);
242495fab37eSRobert Watson }
242595fab37eSRobert Watson 
242695fab37eSRobert Watson void
242795fab37eSRobert Watson mac_create_mbuf_from_bpfdesc(struct bpf_d *bpf_d, struct mbuf *mbuf)
242895fab37eSRobert Watson {
242995fab37eSRobert Watson 
243095fab37eSRobert Watson 	MAC_PERFORM(create_mbuf_from_bpfdesc, bpf_d, &bpf_d->bd_label, mbuf,
243195fab37eSRobert Watson 	    &mbuf->m_pkthdr.label);
243295fab37eSRobert Watson }
243395fab37eSRobert Watson 
243495fab37eSRobert Watson void
243595fab37eSRobert Watson mac_create_mbuf_linklayer(struct ifnet *ifnet, struct mbuf *mbuf)
243695fab37eSRobert Watson {
243795fab37eSRobert Watson 
243895fab37eSRobert Watson 	MAC_PERFORM(create_mbuf_linklayer, ifnet, &ifnet->if_label, mbuf,
243995fab37eSRobert Watson 	    &mbuf->m_pkthdr.label);
244095fab37eSRobert Watson }
244195fab37eSRobert Watson 
244295fab37eSRobert Watson void
244395fab37eSRobert Watson mac_create_mbuf_from_ifnet(struct ifnet *ifnet, struct mbuf *mbuf)
244495fab37eSRobert Watson {
244595fab37eSRobert Watson 
244695fab37eSRobert Watson 	MAC_PERFORM(create_mbuf_from_ifnet, ifnet, &ifnet->if_label, mbuf,
244795fab37eSRobert Watson 	    &mbuf->m_pkthdr.label);
244895fab37eSRobert Watson }
244995fab37eSRobert Watson 
245095fab37eSRobert Watson void
245195fab37eSRobert Watson mac_create_mbuf_multicast_encap(struct mbuf *oldmbuf, struct ifnet *ifnet,
245295fab37eSRobert Watson     struct mbuf *newmbuf)
245395fab37eSRobert Watson {
245495fab37eSRobert Watson 
245595fab37eSRobert Watson 	MAC_PERFORM(create_mbuf_multicast_encap, oldmbuf,
245695fab37eSRobert Watson 	    &oldmbuf->m_pkthdr.label, ifnet, &ifnet->if_label, newmbuf,
245795fab37eSRobert Watson 	    &newmbuf->m_pkthdr.label);
245895fab37eSRobert Watson }
245995fab37eSRobert Watson 
246095fab37eSRobert Watson void
246195fab37eSRobert Watson mac_create_mbuf_netlayer(struct mbuf *oldmbuf, struct mbuf *newmbuf)
246295fab37eSRobert Watson {
246395fab37eSRobert Watson 
246495fab37eSRobert Watson 	MAC_PERFORM(create_mbuf_netlayer, oldmbuf, &oldmbuf->m_pkthdr.label,
246595fab37eSRobert Watson 	    newmbuf, &newmbuf->m_pkthdr.label);
246695fab37eSRobert Watson }
246795fab37eSRobert Watson 
246895fab37eSRobert Watson int
246995fab37eSRobert Watson mac_fragment_match(struct mbuf *fragment, struct ipq *ipq)
247095fab37eSRobert Watson {
247195fab37eSRobert Watson 	int result;
247295fab37eSRobert Watson 
247395fab37eSRobert Watson 	result = 1;
247495fab37eSRobert Watson 	MAC_BOOLEAN(fragment_match, &&, fragment, &fragment->m_pkthdr.label,
247595fab37eSRobert Watson 	    ipq, &ipq->ipq_label);
247695fab37eSRobert Watson 
247795fab37eSRobert Watson 	return (result);
247895fab37eSRobert Watson }
247995fab37eSRobert Watson 
248095fab37eSRobert Watson void
248195fab37eSRobert Watson mac_update_ipq(struct mbuf *fragment, struct ipq *ipq)
248295fab37eSRobert Watson {
248395fab37eSRobert Watson 
248495fab37eSRobert Watson 	MAC_PERFORM(update_ipq, fragment, &fragment->m_pkthdr.label, ipq,
248595fab37eSRobert Watson 	    &ipq->ipq_label);
248695fab37eSRobert Watson }
248795fab37eSRobert Watson 
248895fab37eSRobert Watson void
248995fab37eSRobert Watson mac_create_mbuf_from_socket(struct socket *socket, struct mbuf *mbuf)
249095fab37eSRobert Watson {
249195fab37eSRobert Watson 
249295fab37eSRobert Watson 	MAC_PERFORM(create_mbuf_from_socket, socket, &socket->so_label, mbuf,
249395fab37eSRobert Watson 	    &mbuf->m_pkthdr.label);
249495fab37eSRobert Watson }
249595fab37eSRobert Watson 
249695fab37eSRobert Watson void
249795fab37eSRobert Watson mac_create_mount(struct ucred *cred, struct mount *mp)
249895fab37eSRobert Watson {
249995fab37eSRobert Watson 
250095fab37eSRobert Watson 	MAC_PERFORM(create_mount, cred, mp, &mp->mnt_mntlabel,
250195fab37eSRobert Watson 	    &mp->mnt_fslabel);
250295fab37eSRobert Watson }
250395fab37eSRobert Watson 
250495fab37eSRobert Watson void
250595fab37eSRobert Watson mac_create_root_mount(struct ucred *cred, struct mount *mp)
250695fab37eSRobert Watson {
250795fab37eSRobert Watson 
250895fab37eSRobert Watson 	MAC_PERFORM(create_root_mount, cred, mp, &mp->mnt_mntlabel,
250995fab37eSRobert Watson 	    &mp->mnt_fslabel);
251095fab37eSRobert Watson }
251195fab37eSRobert Watson 
251295fab37eSRobert Watson int
251395fab37eSRobert Watson mac_check_bpfdesc_receive(struct bpf_d *bpf_d, struct ifnet *ifnet)
251495fab37eSRobert Watson {
251595fab37eSRobert Watson 	int error;
251695fab37eSRobert Watson 
251795fab37eSRobert Watson 	if (!mac_enforce_network)
251895fab37eSRobert Watson 		return (0);
251995fab37eSRobert Watson 
252095fab37eSRobert Watson 	MAC_CHECK(check_bpfdesc_receive, bpf_d, &bpf_d->bd_label, ifnet,
252195fab37eSRobert Watson 	    &ifnet->if_label);
252295fab37eSRobert Watson 
252395fab37eSRobert Watson 	return (error);
252495fab37eSRobert Watson }
252595fab37eSRobert Watson 
252695fab37eSRobert Watson static int
252795fab37eSRobert Watson mac_check_cred_relabel(struct ucred *cred, struct label *newlabel)
252895fab37eSRobert Watson {
252995fab37eSRobert Watson 	int error;
253095fab37eSRobert Watson 
253195fab37eSRobert Watson 	MAC_CHECK(check_cred_relabel, cred, newlabel);
253295fab37eSRobert Watson 
253395fab37eSRobert Watson 	return (error);
253495fab37eSRobert Watson }
253595fab37eSRobert Watson 
253695fab37eSRobert Watson int
253795fab37eSRobert Watson mac_check_cred_visible(struct ucred *u1, struct ucred *u2)
253895fab37eSRobert Watson {
253995fab37eSRobert Watson 	int error;
254095fab37eSRobert Watson 
254195fab37eSRobert Watson 	if (!mac_enforce_process)
254295fab37eSRobert Watson 		return (0);
254395fab37eSRobert Watson 
254495fab37eSRobert Watson 	MAC_CHECK(check_cred_visible, u1, u2);
254595fab37eSRobert Watson 
254695fab37eSRobert Watson 	return (error);
254795fab37eSRobert Watson }
254895fab37eSRobert Watson 
254995fab37eSRobert Watson int
255095fab37eSRobert Watson mac_check_ifnet_transmit(struct ifnet *ifnet, struct mbuf *mbuf)
255195fab37eSRobert Watson {
255295fab37eSRobert Watson 	int error;
255395fab37eSRobert Watson 
255495fab37eSRobert Watson 	if (!mac_enforce_network)
255595fab37eSRobert Watson 		return (0);
255695fab37eSRobert Watson 
255795fab37eSRobert Watson 	KASSERT(mbuf->m_flags & M_PKTHDR, ("packet has no pkthdr"));
255895fab37eSRobert Watson 	if (!(mbuf->m_pkthdr.label.l_flags & MAC_FLAG_INITIALIZED))
255995fab37eSRobert Watson 		printf("%s%d: not initialized\n", ifnet->if_name,
256095fab37eSRobert Watson 		    ifnet->if_unit);
256195fab37eSRobert Watson 
256295fab37eSRobert Watson 	MAC_CHECK(check_ifnet_transmit, ifnet, &ifnet->if_label, mbuf,
256395fab37eSRobert Watson 	    &mbuf->m_pkthdr.label);
256495fab37eSRobert Watson 
256595fab37eSRobert Watson 	return (error);
256695fab37eSRobert Watson }
256795fab37eSRobert Watson 
256895fab37eSRobert Watson int
256995fab37eSRobert Watson mac_check_mount_stat(struct ucred *cred, struct mount *mount)
257095fab37eSRobert Watson {
257195fab37eSRobert Watson 	int error;
257295fab37eSRobert Watson 
257395fab37eSRobert Watson 	if (!mac_enforce_fs)
257495fab37eSRobert Watson 		return (0);
257595fab37eSRobert Watson 
257695fab37eSRobert Watson 	MAC_CHECK(check_mount_stat, cred, mount, &mount->mnt_mntlabel);
257795fab37eSRobert Watson 
257895fab37eSRobert Watson 	return (error);
257995fab37eSRobert Watson }
258095fab37eSRobert Watson 
258195fab37eSRobert Watson int
258295fab37eSRobert Watson mac_check_pipe_ioctl(struct ucred *cred, struct pipe *pipe, unsigned long cmd,
258395fab37eSRobert Watson     void *data)
258495fab37eSRobert Watson {
258595fab37eSRobert Watson 	int error;
258695fab37eSRobert Watson 
25871aa37f53SRobert Watson 	PIPE_LOCK_ASSERT(pipe, MA_OWNED);
25881aa37f53SRobert Watson 
25891aa37f53SRobert Watson 	if (!mac_enforce_pipe)
25901aa37f53SRobert Watson 		return (0);
25911aa37f53SRobert Watson 
259295fab37eSRobert Watson 	MAC_CHECK(check_pipe_ioctl, cred, pipe, pipe->pipe_label, cmd, data);
259395fab37eSRobert Watson 
259495fab37eSRobert Watson 	return (error);
259595fab37eSRobert Watson }
259695fab37eSRobert Watson 
259795fab37eSRobert Watson int
2598c024c3eeSRobert Watson mac_check_pipe_poll(struct ucred *cred, struct pipe *pipe)
259995fab37eSRobert Watson {
260095fab37eSRobert Watson 	int error;
260195fab37eSRobert Watson 
26021aa37f53SRobert Watson 	PIPE_LOCK_ASSERT(pipe, MA_OWNED);
26031aa37f53SRobert Watson 
26041aa37f53SRobert Watson 	if (!mac_enforce_pipe)
26051aa37f53SRobert Watson 		return (0);
26061aa37f53SRobert Watson 
2607c024c3eeSRobert Watson 	MAC_CHECK(check_pipe_poll, cred, pipe, pipe->pipe_label);
2608c024c3eeSRobert Watson 
2609c024c3eeSRobert Watson 	return (error);
2610c024c3eeSRobert Watson }
2611c024c3eeSRobert Watson 
2612c024c3eeSRobert Watson int
2613c024c3eeSRobert Watson mac_check_pipe_read(struct ucred *cred, struct pipe *pipe)
2614c024c3eeSRobert Watson {
2615c024c3eeSRobert Watson 	int error;
2616c024c3eeSRobert Watson 
26171aa37f53SRobert Watson 	PIPE_LOCK_ASSERT(pipe, MA_OWNED);
26181aa37f53SRobert Watson 
26191aa37f53SRobert Watson 	if (!mac_enforce_pipe)
26201aa37f53SRobert Watson 		return (0);
26211aa37f53SRobert Watson 
2622c024c3eeSRobert Watson 	MAC_CHECK(check_pipe_read, cred, pipe, pipe->pipe_label);
262395fab37eSRobert Watson 
262495fab37eSRobert Watson 	return (error);
262595fab37eSRobert Watson }
262695fab37eSRobert Watson 
262795fab37eSRobert Watson static int
262895fab37eSRobert Watson mac_check_pipe_relabel(struct ucred *cred, struct pipe *pipe,
262995fab37eSRobert Watson     struct label *newlabel)
263095fab37eSRobert Watson {
263195fab37eSRobert Watson 	int error;
263295fab37eSRobert Watson 
26331aa37f53SRobert Watson 	PIPE_LOCK_ASSERT(pipe, MA_OWNED);
26341aa37f53SRobert Watson 
26351aa37f53SRobert Watson 	if (!mac_enforce_pipe)
26361aa37f53SRobert Watson 		return (0);
26371aa37f53SRobert Watson 
263895fab37eSRobert Watson 	MAC_CHECK(check_pipe_relabel, cred, pipe, pipe->pipe_label, newlabel);
263995fab37eSRobert Watson 
264095fab37eSRobert Watson 	return (error);
264195fab37eSRobert Watson }
264295fab37eSRobert Watson 
264395fab37eSRobert Watson int
2644c024c3eeSRobert Watson mac_check_pipe_stat(struct ucred *cred, struct pipe *pipe)
2645c024c3eeSRobert Watson {
2646c024c3eeSRobert Watson 	int error;
2647c024c3eeSRobert Watson 
26481aa37f53SRobert Watson 	PIPE_LOCK_ASSERT(pipe, MA_OWNED);
26491aa37f53SRobert Watson 
26501aa37f53SRobert Watson 	if (!mac_enforce_pipe)
26511aa37f53SRobert Watson 		return (0);
26521aa37f53SRobert Watson 
2653c024c3eeSRobert Watson 	MAC_CHECK(check_pipe_stat, cred, pipe, pipe->pipe_label);
2654c024c3eeSRobert Watson 
2655c024c3eeSRobert Watson 	return (error);
2656c024c3eeSRobert Watson }
2657c024c3eeSRobert Watson 
2658c024c3eeSRobert Watson int
2659c024c3eeSRobert Watson mac_check_pipe_write(struct ucred *cred, struct pipe *pipe)
2660c024c3eeSRobert Watson {
2661c024c3eeSRobert Watson 	int error;
2662c024c3eeSRobert Watson 
26631aa37f53SRobert Watson 	PIPE_LOCK_ASSERT(pipe, MA_OWNED);
26641aa37f53SRobert Watson 
26651aa37f53SRobert Watson 	if (!mac_enforce_pipe)
26661aa37f53SRobert Watson 		return (0);
26671aa37f53SRobert Watson 
2668c024c3eeSRobert Watson 	MAC_CHECK(check_pipe_write, cred, pipe, pipe->pipe_label);
2669c024c3eeSRobert Watson 
2670c024c3eeSRobert Watson 	return (error);
2671c024c3eeSRobert Watson }
2672c024c3eeSRobert Watson 
2673c024c3eeSRobert Watson int
267495fab37eSRobert Watson mac_check_proc_debug(struct ucred *cred, struct proc *proc)
267595fab37eSRobert Watson {
267695fab37eSRobert Watson 	int error;
267795fab37eSRobert Watson 
2678b12baf55SRobert Watson 	PROC_LOCK_ASSERT(proc, MA_OWNED);
2679b12baf55SRobert Watson 
268095fab37eSRobert Watson 	if (!mac_enforce_process)
268195fab37eSRobert Watson 		return (0);
268295fab37eSRobert Watson 
268395fab37eSRobert Watson 	MAC_CHECK(check_proc_debug, cred, proc);
268495fab37eSRobert Watson 
268595fab37eSRobert Watson 	return (error);
268695fab37eSRobert Watson }
268795fab37eSRobert Watson 
268895fab37eSRobert Watson int
268995fab37eSRobert Watson mac_check_proc_sched(struct ucred *cred, struct proc *proc)
269095fab37eSRobert Watson {
269195fab37eSRobert Watson 	int error;
269295fab37eSRobert Watson 
2693b12baf55SRobert Watson 	PROC_LOCK_ASSERT(proc, MA_OWNED);
2694b12baf55SRobert Watson 
269595fab37eSRobert Watson 	if (!mac_enforce_process)
269695fab37eSRobert Watson 		return (0);
269795fab37eSRobert Watson 
269895fab37eSRobert Watson 	MAC_CHECK(check_proc_sched, cred, proc);
269995fab37eSRobert Watson 
270095fab37eSRobert Watson 	return (error);
270195fab37eSRobert Watson }
270295fab37eSRobert Watson 
270395fab37eSRobert Watson int
270495fab37eSRobert Watson mac_check_proc_signal(struct ucred *cred, struct proc *proc, int signum)
270595fab37eSRobert Watson {
270695fab37eSRobert Watson 	int error;
270795fab37eSRobert Watson 
2708b12baf55SRobert Watson 	PROC_LOCK_ASSERT(proc, MA_OWNED);
2709b12baf55SRobert Watson 
271095fab37eSRobert Watson 	if (!mac_enforce_process)
271195fab37eSRobert Watson 		return (0);
271295fab37eSRobert Watson 
271395fab37eSRobert Watson 	MAC_CHECK(check_proc_signal, cred, proc, signum);
271495fab37eSRobert Watson 
271595fab37eSRobert Watson 	return (error);
271695fab37eSRobert Watson }
271795fab37eSRobert Watson 
271895fab37eSRobert Watson int
271995fab37eSRobert Watson mac_check_socket_bind(struct ucred *ucred, struct socket *socket,
272095fab37eSRobert Watson     struct sockaddr *sockaddr)
272195fab37eSRobert Watson {
272295fab37eSRobert Watson 	int error;
272395fab37eSRobert Watson 
272495fab37eSRobert Watson 	if (!mac_enforce_socket)
272595fab37eSRobert Watson 		return (0);
272695fab37eSRobert Watson 
272795fab37eSRobert Watson 	MAC_CHECK(check_socket_bind, ucred, socket, &socket->so_label,
272895fab37eSRobert Watson 	    sockaddr);
272995fab37eSRobert Watson 
273095fab37eSRobert Watson 	return (error);
273195fab37eSRobert Watson }
273295fab37eSRobert Watson 
273395fab37eSRobert Watson int
273495fab37eSRobert Watson mac_check_socket_connect(struct ucred *cred, struct socket *socket,
273595fab37eSRobert Watson     struct sockaddr *sockaddr)
273695fab37eSRobert Watson {
273795fab37eSRobert Watson 	int error;
273895fab37eSRobert Watson 
273995fab37eSRobert Watson 	if (!mac_enforce_socket)
274095fab37eSRobert Watson 		return (0);
274195fab37eSRobert Watson 
274295fab37eSRobert Watson 	MAC_CHECK(check_socket_connect, cred, socket, &socket->so_label,
274395fab37eSRobert Watson 	    sockaddr);
274495fab37eSRobert Watson 
274595fab37eSRobert Watson 	return (error);
274695fab37eSRobert Watson }
274795fab37eSRobert Watson 
274895fab37eSRobert Watson int
2749d61198e4SRobert Watson mac_check_socket_deliver(struct socket *socket, struct mbuf *mbuf)
2750d61198e4SRobert Watson {
2751d61198e4SRobert Watson 	int error;
2752d61198e4SRobert Watson 
2753d61198e4SRobert Watson 	if (!mac_enforce_socket)
2754d61198e4SRobert Watson 		return (0);
2755d61198e4SRobert Watson 
2756d61198e4SRobert Watson 	MAC_CHECK(check_socket_deliver, socket, &socket->so_label, mbuf,
2757d61198e4SRobert Watson 	    &mbuf->m_pkthdr.label);
2758d61198e4SRobert Watson 
2759d61198e4SRobert Watson 	return (error);
2760d61198e4SRobert Watson }
2761d61198e4SRobert Watson 
2762d61198e4SRobert Watson int
276395fab37eSRobert Watson mac_check_socket_listen(struct ucred *cred, struct socket *socket)
276495fab37eSRobert Watson {
276595fab37eSRobert Watson 	int error;
276695fab37eSRobert Watson 
276795fab37eSRobert Watson 	if (!mac_enforce_socket)
276895fab37eSRobert Watson 		return (0);
276995fab37eSRobert Watson 
277095fab37eSRobert Watson 	MAC_CHECK(check_socket_listen, cred, socket, &socket->so_label);
277195fab37eSRobert Watson 	return (error);
277295fab37eSRobert Watson }
277395fab37eSRobert Watson 
277495fab37eSRobert Watson static int
277595fab37eSRobert Watson mac_check_socket_relabel(struct ucred *cred, struct socket *socket,
277695fab37eSRobert Watson     struct label *newlabel)
277795fab37eSRobert Watson {
277895fab37eSRobert Watson 	int error;
277995fab37eSRobert Watson 
278095fab37eSRobert Watson 	MAC_CHECK(check_socket_relabel, cred, socket, &socket->so_label,
278195fab37eSRobert Watson 	    newlabel);
278295fab37eSRobert Watson 
278395fab37eSRobert Watson 	return (error);
278495fab37eSRobert Watson }
278595fab37eSRobert Watson 
278695fab37eSRobert Watson int
278795fab37eSRobert Watson mac_check_socket_visible(struct ucred *cred, struct socket *socket)
278895fab37eSRobert Watson {
278995fab37eSRobert Watson 	int error;
279095fab37eSRobert Watson 
279195fab37eSRobert Watson 	if (!mac_enforce_socket)
279295fab37eSRobert Watson 		return (0);
279395fab37eSRobert Watson 
279495fab37eSRobert Watson 	MAC_CHECK(check_socket_visible, cred, socket, &socket->so_label);
279595fab37eSRobert Watson 
279695fab37eSRobert Watson 	return (error);
279795fab37eSRobert Watson }
279895fab37eSRobert Watson 
279995fab37eSRobert Watson int
280095fab37eSRobert Watson mac_ioctl_ifnet_get(struct ucred *cred, struct ifreq *ifr,
280195fab37eSRobert Watson     struct ifnet *ifnet)
280295fab37eSRobert Watson {
280395fab37eSRobert Watson 	struct mac label;
280495fab37eSRobert Watson 	int error;
280595fab37eSRobert Watson 
280695fab37eSRobert Watson 	error = mac_externalize(&ifnet->if_label, &label);
280795fab37eSRobert Watson 	if (error)
280895fab37eSRobert Watson 		return (error);
280995fab37eSRobert Watson 
281095fab37eSRobert Watson 	return (copyout(&label, ifr->ifr_ifru.ifru_data, sizeof(label)));
281195fab37eSRobert Watson }
281295fab37eSRobert Watson 
281395fab37eSRobert Watson int
281495fab37eSRobert Watson mac_ioctl_ifnet_set(struct ucred *cred, struct ifreq *ifr,
281595fab37eSRobert Watson     struct ifnet *ifnet)
281695fab37eSRobert Watson {
281795fab37eSRobert Watson 	struct mac newlabel;
281895fab37eSRobert Watson 	struct label intlabel;
281995fab37eSRobert Watson 	int error;
282095fab37eSRobert Watson 
282195fab37eSRobert Watson 	error = copyin(ifr->ifr_ifru.ifru_data, &newlabel, sizeof(newlabel));
282295fab37eSRobert Watson 	if (error)
282395fab37eSRobert Watson 		return (error);
282495fab37eSRobert Watson 
282595fab37eSRobert Watson 	error = mac_internalize(&intlabel, &newlabel);
282695fab37eSRobert Watson 	if (error)
282795fab37eSRobert Watson 		return (error);
282895fab37eSRobert Watson 
282995fab37eSRobert Watson 	/*
283095fab37eSRobert Watson 	 * XXX: Note that this is a redundant privilege check, since
283195fab37eSRobert Watson 	 * policies impose this check themselves if required by the
283295fab37eSRobert Watson 	 * policy.  Eventually, this should go away.
283395fab37eSRobert Watson 	 */
283495fab37eSRobert Watson 	error = suser_cred(cred, 0);
283595fab37eSRobert Watson 	if (error)
283695fab37eSRobert Watson 		goto out;
283795fab37eSRobert Watson 
283895fab37eSRobert Watson 	MAC_CHECK(check_ifnet_relabel, cred, ifnet, &ifnet->if_label,
283995fab37eSRobert Watson 	    &intlabel);
284095fab37eSRobert Watson 	if (error)
284195fab37eSRobert Watson 		goto out;
284295fab37eSRobert Watson 
284395fab37eSRobert Watson 	MAC_PERFORM(relabel_ifnet, cred, ifnet, &ifnet->if_label, &intlabel);
284495fab37eSRobert Watson 
284595fab37eSRobert Watson out:
284695fab37eSRobert Watson 	mac_destroy_temp(&intlabel);
284795fab37eSRobert Watson 	return (error);
284895fab37eSRobert Watson }
284995fab37eSRobert Watson 
285095fab37eSRobert Watson void
285195fab37eSRobert Watson mac_create_devfs_vnode(struct devfs_dirent *de, struct vnode *vp)
285295fab37eSRobert Watson {
285395fab37eSRobert Watson 
285495fab37eSRobert Watson 	MAC_PERFORM(create_devfs_vnode, de, &de->de_label, vp, &vp->v_label);
285595fab37eSRobert Watson }
285695fab37eSRobert Watson 
285795fab37eSRobert Watson void
285895fab37eSRobert Watson mac_create_devfs_device(dev_t dev, struct devfs_dirent *de)
285995fab37eSRobert Watson {
286095fab37eSRobert Watson 
286195fab37eSRobert Watson 	MAC_PERFORM(create_devfs_device, dev, de, &de->de_label);
286295fab37eSRobert Watson }
286395fab37eSRobert Watson 
286495fab37eSRobert Watson static int
286595fab37eSRobert Watson mac_stdcreatevnode_ea(struct vnode *vp)
286695fab37eSRobert Watson {
286795fab37eSRobert Watson 	int error;
286895fab37eSRobert Watson 
286995fab37eSRobert Watson 	MAC_CHECK(stdcreatevnode_ea, vp, &vp->v_label);
287095fab37eSRobert Watson 
287195fab37eSRobert Watson 	return (error);
287295fab37eSRobert Watson }
287395fab37eSRobert Watson 
287495fab37eSRobert Watson void
287595fab37eSRobert Watson mac_create_devfs_directory(char *dirname, int dirnamelen,
287695fab37eSRobert Watson     struct devfs_dirent *de)
287795fab37eSRobert Watson {
287895fab37eSRobert Watson 
287995fab37eSRobert Watson 	MAC_PERFORM(create_devfs_directory, dirname, dirnamelen, de,
288095fab37eSRobert Watson 	    &de->de_label);
288195fab37eSRobert Watson }
288295fab37eSRobert Watson 
288395fab37eSRobert Watson /*
288495fab37eSRobert Watson  * When a new vnode is created, this call will initialize its label.
288595fab37eSRobert Watson  */
288695fab37eSRobert Watson void
288795fab37eSRobert Watson mac_create_vnode(struct ucred *cred, struct vnode *parent,
288895fab37eSRobert Watson     struct vnode *child)
288995fab37eSRobert Watson {
289095fab37eSRobert Watson 	int error;
289195fab37eSRobert Watson 
289295fab37eSRobert Watson 	ASSERT_VOP_LOCKED(parent, "mac_create_vnode");
289395fab37eSRobert Watson 	ASSERT_VOP_LOCKED(child, "mac_create_vnode");
289495fab37eSRobert Watson 
289595fab37eSRobert Watson 	error = vn_refreshlabel(parent, cred);
289695fab37eSRobert Watson 	if (error) {
289795fab37eSRobert Watson 		printf("mac_create_vnode: vn_refreshlabel returned %d\n",
289895fab37eSRobert Watson 		    error);
289995fab37eSRobert Watson 		printf("mac_create_vnode: using old vnode label\n");
290095fab37eSRobert Watson 	}
290195fab37eSRobert Watson 
290295fab37eSRobert Watson 	MAC_PERFORM(create_vnode, cred, parent, &parent->v_label, child,
290395fab37eSRobert Watson 	    &child->v_label);
290495fab37eSRobert Watson }
290595fab37eSRobert Watson 
290695fab37eSRobert Watson int
290795fab37eSRobert Watson mac_setsockopt_label_set(struct ucred *cred, struct socket *so,
290895fab37eSRobert Watson     struct mac *extmac)
290995fab37eSRobert Watson {
291095fab37eSRobert Watson 	struct label intlabel;
291195fab37eSRobert Watson 	int error;
291295fab37eSRobert Watson 
291395fab37eSRobert Watson 	error = mac_internalize(&intlabel, extmac);
291495fab37eSRobert Watson 	if (error)
291595fab37eSRobert Watson 		return (error);
291695fab37eSRobert Watson 
291795fab37eSRobert Watson 	mac_check_socket_relabel(cred, so, &intlabel);
291895fab37eSRobert Watson 	if (error) {
291995fab37eSRobert Watson 		mac_destroy_temp(&intlabel);
292095fab37eSRobert Watson 		return (error);
292195fab37eSRobert Watson 	}
292295fab37eSRobert Watson 
292395fab37eSRobert Watson 	mac_relabel_socket(cred, so, &intlabel);
292495fab37eSRobert Watson 
292595fab37eSRobert Watson 	mac_destroy_temp(&intlabel);
292695fab37eSRobert Watson 	return (0);
292795fab37eSRobert Watson }
292895fab37eSRobert Watson 
292995fab37eSRobert Watson int
293095fab37eSRobert Watson mac_pipe_label_set(struct ucred *cred, struct pipe *pipe, struct label *label)
293195fab37eSRobert Watson {
293295fab37eSRobert Watson 	int error;
293395fab37eSRobert Watson 
29341aa37f53SRobert Watson 	PIPE_LOCK_ASSERT(pipe, MA_OWNED);
29351aa37f53SRobert Watson 
293695fab37eSRobert Watson 	error = mac_check_pipe_relabel(cred, pipe, label);
293795fab37eSRobert Watson 	if (error)
293895fab37eSRobert Watson 		return (error);
293995fab37eSRobert Watson 
294095fab37eSRobert Watson 	mac_relabel_pipe(cred, pipe, label);
294195fab37eSRobert Watson 
294295fab37eSRobert Watson 	return (0);
294395fab37eSRobert Watson }
294495fab37eSRobert Watson 
294595fab37eSRobert Watson int
294695fab37eSRobert Watson mac_getsockopt_label_get(struct ucred *cred, struct socket *so,
294795fab37eSRobert Watson     struct mac *extmac)
294895fab37eSRobert Watson {
294995fab37eSRobert Watson 
295095fab37eSRobert Watson 	return (mac_externalize(&so->so_label, extmac));
295195fab37eSRobert Watson }
295295fab37eSRobert Watson 
295395fab37eSRobert Watson int
295495fab37eSRobert Watson mac_getsockopt_peerlabel_get(struct ucred *cred, struct socket *so,
295595fab37eSRobert Watson     struct mac *extmac)
295695fab37eSRobert Watson {
295795fab37eSRobert Watson 
295895fab37eSRobert Watson 	return (mac_externalize(&so->so_peerlabel, extmac));
295995fab37eSRobert Watson }
296095fab37eSRobert Watson 
296195fab37eSRobert Watson /*
296295fab37eSRobert Watson  * Implementation of VOP_SETLABEL() that relies on extended attributes
296395fab37eSRobert Watson  * to store label data.  Can be referenced by filesystems supporting
296495fab37eSRobert Watson  * extended attributes.
296595fab37eSRobert Watson  */
296695fab37eSRobert Watson int
296795fab37eSRobert Watson vop_stdsetlabel_ea(struct vop_setlabel_args *ap)
296895fab37eSRobert Watson {
296995fab37eSRobert Watson 	struct vnode *vp = ap->a_vp;
297095fab37eSRobert Watson 	struct label *intlabel = ap->a_label;
297195fab37eSRobert Watson 	struct mac extmac;
297295fab37eSRobert Watson 	int error;
297395fab37eSRobert Watson 
297495fab37eSRobert Watson 	ASSERT_VOP_LOCKED(vp, "vop_stdsetlabel_ea");
297595fab37eSRobert Watson 
297695fab37eSRobert Watson 	/*
297795fab37eSRobert Watson 	 * XXX: Eventually call out to EA check/set calls here.
297895fab37eSRobert Watson 	 * Be particularly careful to avoid race conditions,
297995fab37eSRobert Watson 	 * consistency problems, and stability problems when
298095fab37eSRobert Watson 	 * dealing with multiple EAs.  In particular, we require
298195fab37eSRobert Watson 	 * the ability to write multiple EAs on the same file in
298295fab37eSRobert Watson 	 * a single transaction, which the current EA interface
298395fab37eSRobert Watson 	 * does not provide.
298495fab37eSRobert Watson 	 */
298595fab37eSRobert Watson 
298695fab37eSRobert Watson 	error = mac_externalize(intlabel, &extmac);
298795fab37eSRobert Watson 	if (error)
298895fab37eSRobert Watson 		return (error);
298995fab37eSRobert Watson 
299095fab37eSRobert Watson 	error = vn_extattr_set(vp, IO_NODELOCKED,
299195fab37eSRobert Watson 	    FREEBSD_MAC_EXTATTR_NAMESPACE, FREEBSD_MAC_EXTATTR_NAME,
299295fab37eSRobert Watson 	    sizeof(extmac), (char *)&extmac, curthread);
299395fab37eSRobert Watson 	if (error)
299495fab37eSRobert Watson 		return (error);
299595fab37eSRobert Watson 
299695fab37eSRobert Watson 	mac_relabel_vnode(ap->a_cred, vp, intlabel);
299795fab37eSRobert Watson 
2998e6e370a7SJeff Roberson 	vp->v_vflag |= VV_CACHEDLABEL;
299995fab37eSRobert Watson 
300095fab37eSRobert Watson 	return (0);
300195fab37eSRobert Watson }
300295fab37eSRobert Watson 
300395fab37eSRobert Watson static int
300495fab37eSRobert Watson vn_setlabel(struct vnode *vp, struct label *intlabel, struct ucred *cred)
300595fab37eSRobert Watson {
300695fab37eSRobert Watson 	int error;
300795fab37eSRobert Watson 
300895fab37eSRobert Watson 	if (vp->v_mount == NULL) {
300995fab37eSRobert Watson 		/* printf("vn_setlabel: null v_mount\n"); */
301006be2aaaSNate Lawson 		if (vp->v_type != VNON)
301106be2aaaSNate Lawson 			printf("vn_setlabel: null v_mount with non-VNON\n");
301295fab37eSRobert Watson 		return (EBADF);
301395fab37eSRobert Watson 	}
301495fab37eSRobert Watson 
301595fab37eSRobert Watson 	if ((vp->v_mount->mnt_flag & MNT_MULTILABEL) == 0)
301695fab37eSRobert Watson 		return (EOPNOTSUPP);
301795fab37eSRobert Watson 
301895fab37eSRobert Watson 	/*
301995fab37eSRobert Watson 	 * Multi-phase commit.  First check the policies to confirm the
302095fab37eSRobert Watson 	 * change is OK.  Then commit via the filesystem.  Finally,
302195fab37eSRobert Watson 	 * update the actual vnode label.  Question: maybe the filesystem
302295fab37eSRobert Watson 	 * should update the vnode at the end as part of VOP_SETLABEL()?
302395fab37eSRobert Watson 	 */
302495fab37eSRobert Watson 	error = mac_check_vnode_relabel(cred, vp, intlabel);
302595fab37eSRobert Watson 	if (error)
302695fab37eSRobert Watson 		return (error);
302795fab37eSRobert Watson 
302895fab37eSRobert Watson 	/*
302995fab37eSRobert Watson 	 * VADMIN provides the opportunity for the filesystem to make
303095fab37eSRobert Watson 	 * decisions about who is and is not able to modify labels
303195fab37eSRobert Watson 	 * and protections on files.  This might not be right.  We can't
303295fab37eSRobert Watson 	 * assume VOP_SETLABEL() will do it, because we might implement
303395fab37eSRobert Watson 	 * that as part of vop_stdsetlabel_ea().
303495fab37eSRobert Watson 	 */
303595fab37eSRobert Watson 	error = VOP_ACCESS(vp, VADMIN, cred, curthread);
303695fab37eSRobert Watson 	if (error)
303795fab37eSRobert Watson 		return (error);
303895fab37eSRobert Watson 
303995fab37eSRobert Watson 	error = VOP_SETLABEL(vp, intlabel, cred, curthread);
304095fab37eSRobert Watson 	if (error)
304195fab37eSRobert Watson 		return (error);
304295fab37eSRobert Watson 
304395fab37eSRobert Watson 	return (0);
304495fab37eSRobert Watson }
304595fab37eSRobert Watson 
304695fab37eSRobert Watson /*
304795fab37eSRobert Watson  * MPSAFE
304895fab37eSRobert Watson  */
304995fab37eSRobert Watson int
305095fab37eSRobert Watson __mac_get_proc(struct thread *td, struct __mac_get_proc_args *uap)
305195fab37eSRobert Watson {
305295fab37eSRobert Watson 	struct mac extmac;
305395fab37eSRobert Watson 	int error;
305495fab37eSRobert Watson 
305595fab37eSRobert Watson 	error = mac_externalize(&td->td_ucred->cr_label, &extmac);
305695fab37eSRobert Watson 	if (error == 0)
305795fab37eSRobert Watson 		error = copyout(&extmac, SCARG(uap, mac_p), sizeof(extmac));
305895fab37eSRobert Watson 
305995fab37eSRobert Watson 	return (error);
306095fab37eSRobert Watson }
306195fab37eSRobert Watson 
306295fab37eSRobert Watson /*
306395fab37eSRobert Watson  * MPSAFE
306495fab37eSRobert Watson  */
306595fab37eSRobert Watson int
306695fab37eSRobert Watson __mac_set_proc(struct thread *td, struct __mac_set_proc_args *uap)
306795fab37eSRobert Watson {
306895fab37eSRobert Watson 	struct ucred *newcred, *oldcred;
306995fab37eSRobert Watson 	struct proc *p;
307095fab37eSRobert Watson 	struct mac extmac;
307195fab37eSRobert Watson 	struct label intlabel;
307295fab37eSRobert Watson 	int error;
307395fab37eSRobert Watson 
307495fab37eSRobert Watson 	error = copyin(SCARG(uap, mac_p), &extmac, sizeof(extmac));
307595fab37eSRobert Watson 	if (error)
307695fab37eSRobert Watson 		return (error);
307795fab37eSRobert Watson 
307895fab37eSRobert Watson 	error = mac_internalize(&intlabel, &extmac);
307995fab37eSRobert Watson 	if (error)
308095fab37eSRobert Watson 		return (error);
308195fab37eSRobert Watson 
308295fab37eSRobert Watson 	newcred = crget();
308395fab37eSRobert Watson 
308495fab37eSRobert Watson 	p = td->td_proc;
308595fab37eSRobert Watson 	PROC_LOCK(p);
308695fab37eSRobert Watson 	oldcred = p->p_ucred;
308795fab37eSRobert Watson 
308895fab37eSRobert Watson 	error = mac_check_cred_relabel(oldcred, &intlabel);
308995fab37eSRobert Watson 	if (error) {
309095fab37eSRobert Watson 		PROC_UNLOCK(p);
309195fab37eSRobert Watson 		mac_destroy_temp(&intlabel);
309295fab37eSRobert Watson 		crfree(newcred);
309395fab37eSRobert Watson 		return (error);
309495fab37eSRobert Watson 	}
309595fab37eSRobert Watson 
309695fab37eSRobert Watson 	setsugid(p);
309795fab37eSRobert Watson 	crcopy(newcred, oldcred);
309895fab37eSRobert Watson 	mac_relabel_cred(newcred, &intlabel);
309995fab37eSRobert Watson 	p->p_ucred = newcred;
3100e5cb5e37SRobert Watson 
3101e5cb5e37SRobert Watson 	/*
3102e5cb5e37SRobert Watson 	 * Grab additional reference for use while revoking mmaps, prior
3103e5cb5e37SRobert Watson 	 * to releasing the proc lock and sharing the cred.
3104e5cb5e37SRobert Watson 	 */
3105e5cb5e37SRobert Watson 	crhold(newcred);
310695fab37eSRobert Watson 	PROC_UNLOCK(p);
3107e5cb5e37SRobert Watson 
310816140035SRobert Watson 	mtx_lock(&Giant);
3109e5cb5e37SRobert Watson 	mac_cred_mmapped_drop_perms(td, newcred);
311016140035SRobert Watson 	mtx_unlock(&Giant);
3111e5cb5e37SRobert Watson 
3112e5cb5e37SRobert Watson 	crfree(newcred);	/* Free revocation reference. */
311395fab37eSRobert Watson 	crfree(oldcred);
311495fab37eSRobert Watson 	mac_destroy_temp(&intlabel);
311595fab37eSRobert Watson 	return (0);
311695fab37eSRobert Watson }
311795fab37eSRobert Watson 
311895fab37eSRobert Watson /*
311995fab37eSRobert Watson  * MPSAFE
312095fab37eSRobert Watson  */
312195fab37eSRobert Watson int
312295fab37eSRobert Watson __mac_get_fd(struct thread *td, struct __mac_get_fd_args *uap)
312395fab37eSRobert Watson {
312495fab37eSRobert Watson 	struct file *fp;
312595fab37eSRobert Watson 	struct mac extmac;
312695fab37eSRobert Watson 	struct vnode *vp;
312795fab37eSRobert Watson 	struct pipe *pipe;
312895fab37eSRobert Watson 	int error;
312995fab37eSRobert Watson 
313095fab37eSRobert Watson 	mtx_lock(&Giant);
313195fab37eSRobert Watson 
313295fab37eSRobert Watson 	error = fget(td, SCARG(uap, fd), &fp);
313395fab37eSRobert Watson 	if (error)
313495fab37eSRobert Watson 		goto out;
313595fab37eSRobert Watson 
313695fab37eSRobert Watson 	switch (fp->f_type) {
313795fab37eSRobert Watson 	case DTYPE_FIFO:
313895fab37eSRobert Watson 	case DTYPE_VNODE:
313995fab37eSRobert Watson 		vp = (struct vnode *)fp->f_data;
314095fab37eSRobert Watson 
314195fab37eSRobert Watson 		vn_lock(vp, LK_EXCLUSIVE | LK_RETRY, td);
314295fab37eSRobert Watson 		error = vn_refreshlabel(vp, td->td_ucred);
314395fab37eSRobert Watson 		if (error == 0)
314495fab37eSRobert Watson 			error = mac_externalize(&vp->v_label, &extmac);
314595fab37eSRobert Watson 		VOP_UNLOCK(vp, 0, td);
314695fab37eSRobert Watson 		break;
314795fab37eSRobert Watson 	case DTYPE_PIPE:
314895fab37eSRobert Watson 		pipe = (struct pipe *)fp->f_data;
314995fab37eSRobert Watson 		error = mac_externalize(pipe->pipe_label, &extmac);
315095fab37eSRobert Watson 		break;
315195fab37eSRobert Watson 	default:
315295fab37eSRobert Watson 		error = EINVAL;
315395fab37eSRobert Watson 	}
315495fab37eSRobert Watson 
315595fab37eSRobert Watson 	if (error == 0)
315695fab37eSRobert Watson 		error = copyout(&extmac, SCARG(uap, mac_p), sizeof(extmac));
315795fab37eSRobert Watson 
315895fab37eSRobert Watson 	fdrop(fp, td);
315995fab37eSRobert Watson 
316095fab37eSRobert Watson out:
316195fab37eSRobert Watson 	mtx_unlock(&Giant);
316295fab37eSRobert Watson 	return (error);
316395fab37eSRobert Watson }
316495fab37eSRobert Watson 
316595fab37eSRobert Watson /*
316695fab37eSRobert Watson  * MPSAFE
316795fab37eSRobert Watson  */
316895fab37eSRobert Watson int
316995fab37eSRobert Watson __mac_get_file(struct thread *td, struct __mac_get_file_args *uap)
317095fab37eSRobert Watson {
317195fab37eSRobert Watson 	struct nameidata nd;
317295fab37eSRobert Watson 	struct mac extmac;
317395fab37eSRobert Watson 	int error;
317495fab37eSRobert Watson 
317595fab37eSRobert Watson 	mtx_lock(&Giant);
317695fab37eSRobert Watson 	NDINIT(&nd, LOOKUP, LOCKLEAF | FOLLOW, UIO_USERSPACE,
317795fab37eSRobert Watson 	    SCARG(uap, path_p), td);
317895fab37eSRobert Watson 	error = namei(&nd);
317995fab37eSRobert Watson 	if (error)
318095fab37eSRobert Watson 		goto out;
318195fab37eSRobert Watson 
318295fab37eSRobert Watson 	error = vn_refreshlabel(nd.ni_vp, td->td_ucred);
318395fab37eSRobert Watson 	if (error == 0)
318495fab37eSRobert Watson 		error = mac_externalize(&nd.ni_vp->v_label, &extmac);
318595fab37eSRobert Watson 	NDFREE(&nd, 0);
318695fab37eSRobert Watson 	if (error)
318795fab37eSRobert Watson 		goto out;
318895fab37eSRobert Watson 
318995fab37eSRobert Watson 	error = copyout(&extmac, SCARG(uap, mac_p), sizeof(extmac));
319095fab37eSRobert Watson 
319195fab37eSRobert Watson out:
319295fab37eSRobert Watson 	mtx_unlock(&Giant);
319395fab37eSRobert Watson 	return (error);
319495fab37eSRobert Watson }
319595fab37eSRobert Watson 
319695fab37eSRobert Watson /*
319795fab37eSRobert Watson  * MPSAFE
319895fab37eSRobert Watson  */
319995fab37eSRobert Watson int
320095fab37eSRobert Watson __mac_set_fd(struct thread *td, struct __mac_set_fd_args *uap)
320195fab37eSRobert Watson {
320295fab37eSRobert Watson 	struct file *fp;
320395fab37eSRobert Watson 	struct mac extmac;
320495fab37eSRobert Watson 	struct label intlabel;
320595fab37eSRobert Watson 	struct mount *mp;
320695fab37eSRobert Watson 	struct vnode *vp;
320795fab37eSRobert Watson 	struct pipe *pipe;
320895fab37eSRobert Watson 	int error;
320995fab37eSRobert Watson 
321095fab37eSRobert Watson 	mtx_lock(&Giant);
321195fab37eSRobert Watson 	error = fget(td, SCARG(uap, fd), &fp);
321295fab37eSRobert Watson 	if (error)
321395fab37eSRobert Watson 		goto out1;
321495fab37eSRobert Watson 
321595fab37eSRobert Watson 	error = copyin(SCARG(uap, mac_p), &extmac, sizeof(extmac));
321695fab37eSRobert Watson 	if (error)
321795fab37eSRobert Watson 		goto out2;
321895fab37eSRobert Watson 
321995fab37eSRobert Watson 	error = mac_internalize(&intlabel, &extmac);
322095fab37eSRobert Watson 	if (error)
322195fab37eSRobert Watson 		goto out2;
322295fab37eSRobert Watson 
322395fab37eSRobert Watson 	switch (fp->f_type) {
322495fab37eSRobert Watson 	case DTYPE_FIFO:
322595fab37eSRobert Watson 	case DTYPE_VNODE:
322695fab37eSRobert Watson 		vp = (struct vnode *)fp->f_data;
322795fab37eSRobert Watson 		error = vn_start_write(vp, &mp, V_WAIT | PCATCH);
322895fab37eSRobert Watson 		if (error != 0)
322995fab37eSRobert Watson 			break;
323095fab37eSRobert Watson 
323195fab37eSRobert Watson 		vn_lock(vp, LK_EXCLUSIVE | LK_RETRY, td);
323295fab37eSRobert Watson 		error = vn_setlabel(vp, &intlabel, td->td_ucred);
323395fab37eSRobert Watson 		VOP_UNLOCK(vp, 0, td);
323495fab37eSRobert Watson 		vn_finished_write(mp);
323595fab37eSRobert Watson 		mac_destroy_temp(&intlabel);
323695fab37eSRobert Watson 		break;
323795fab37eSRobert Watson 	case DTYPE_PIPE:
323895fab37eSRobert Watson 		pipe = (struct pipe *)fp->f_data;
32391aa37f53SRobert Watson 		PIPE_LOCK(pipe);
324095fab37eSRobert Watson 		error = mac_pipe_label_set(td->td_ucred, pipe, &intlabel);
32411aa37f53SRobert Watson 		PIPE_UNLOCK(pipe);
324295fab37eSRobert Watson 		break;
324395fab37eSRobert Watson 	default:
324495fab37eSRobert Watson 		error = EINVAL;
324595fab37eSRobert Watson 	}
324695fab37eSRobert Watson 
324795fab37eSRobert Watson out2:
324895fab37eSRobert Watson 	fdrop(fp, td);
324995fab37eSRobert Watson out1:
325095fab37eSRobert Watson 	mtx_unlock(&Giant);
325195fab37eSRobert Watson 	return (error);
325295fab37eSRobert Watson }
325395fab37eSRobert Watson 
325495fab37eSRobert Watson /*
325595fab37eSRobert Watson  * MPSAFE
325695fab37eSRobert Watson  */
325795fab37eSRobert Watson int
325895fab37eSRobert Watson __mac_set_file(struct thread *td, struct __mac_set_file_args *uap)
325995fab37eSRobert Watson {
326095fab37eSRobert Watson 	struct nameidata nd;
326195fab37eSRobert Watson 	struct mac extmac;
326295fab37eSRobert Watson 	struct label intlabel;
326395fab37eSRobert Watson 	struct mount *mp;
326495fab37eSRobert Watson 	int error;
326595fab37eSRobert Watson 
326695fab37eSRobert Watson 	mtx_lock(&Giant);
326795fab37eSRobert Watson 
326895fab37eSRobert Watson 	error = copyin(SCARG(uap, mac_p), &extmac, sizeof(extmac));
326995fab37eSRobert Watson 	if (error)
327095fab37eSRobert Watson 		goto out;
327195fab37eSRobert Watson 
327295fab37eSRobert Watson 	error = mac_internalize(&intlabel, &extmac);
327395fab37eSRobert Watson 	if (error)
327495fab37eSRobert Watson 		goto out;
327595fab37eSRobert Watson 
327695fab37eSRobert Watson 	NDINIT(&nd, LOOKUP, LOCKLEAF | FOLLOW, UIO_USERSPACE,
327795fab37eSRobert Watson 	    SCARG(uap, path_p), td);
327895fab37eSRobert Watson 	error = namei(&nd);
327995fab37eSRobert Watson 	if (error)
328095fab37eSRobert Watson 		goto out2;
328195fab37eSRobert Watson 	error = vn_start_write(nd.ni_vp, &mp, V_WAIT | PCATCH);
328295fab37eSRobert Watson 	if (error)
328395fab37eSRobert Watson 		goto out2;
328495fab37eSRobert Watson 
328595fab37eSRobert Watson 	error = vn_setlabel(nd.ni_vp, &intlabel, td->td_ucred);
328695fab37eSRobert Watson 
328795fab37eSRobert Watson 	vn_finished_write(mp);
328895fab37eSRobert Watson out2:
328995fab37eSRobert Watson 	mac_destroy_temp(&intlabel);
329095fab37eSRobert Watson 	NDFREE(&nd, 0);
329195fab37eSRobert Watson out:
329295fab37eSRobert Watson 	mtx_unlock(&Giant);
329395fab37eSRobert Watson 	return (error);
329495fab37eSRobert Watson }
329595fab37eSRobert Watson 
329627f2eac7SRobert Watson int
329727f2eac7SRobert Watson mac_syscall(struct thread *td, struct mac_syscall_args *uap)
329827f2eac7SRobert Watson {
329927f2eac7SRobert Watson 	struct mac_policy_conf *mpc;
330027f2eac7SRobert Watson 	char target[MAC_MAX_POLICY_NAME];
330127f2eac7SRobert Watson 	int error;
330227f2eac7SRobert Watson 
330327f2eac7SRobert Watson 	error = copyinstr(SCARG(uap, policy), target, sizeof(target), NULL);
330427f2eac7SRobert Watson 	if (error)
330527f2eac7SRobert Watson 		return (error);
330627f2eac7SRobert Watson 
330727f2eac7SRobert Watson 	error = ENOSYS;
330827f2eac7SRobert Watson 	MAC_POLICY_LIST_BUSY();
330927f2eac7SRobert Watson 	LIST_FOREACH(mpc, &mac_policy_list, mpc_list) {
331027f2eac7SRobert Watson 		if (strcmp(mpc->mpc_name, target) == 0 &&
331127f2eac7SRobert Watson 		    mpc->mpc_ops->mpo_syscall != NULL) {
331227f2eac7SRobert Watson 			error = mpc->mpc_ops->mpo_syscall(td,
331327f2eac7SRobert Watson 			    SCARG(uap, call), SCARG(uap, arg));
331427f2eac7SRobert Watson 			goto out;
331527f2eac7SRobert Watson 		}
331627f2eac7SRobert Watson 	}
331727f2eac7SRobert Watson 
331827f2eac7SRobert Watson out:
331927f2eac7SRobert Watson 	MAC_POLICY_LIST_UNBUSY();
332027f2eac7SRobert Watson 	return (error);
332127f2eac7SRobert Watson }
332227f2eac7SRobert Watson 
332395fab37eSRobert Watson SYSINIT(mac, SI_SUB_MAC, SI_ORDER_FIRST, mac_init, NULL);
332495fab37eSRobert Watson SYSINIT(mac_late, SI_SUB_MAC_LATE, SI_ORDER_FIRST, mac_late_init, NULL);
332595fab37eSRobert Watson 
332695fab37eSRobert Watson #else /* !MAC */
33277bc82500SRobert Watson 
33287bc82500SRobert Watson int
33297bc82500SRobert Watson __mac_get_proc(struct thread *td, struct __mac_get_proc_args *uap)
33307bc82500SRobert Watson {
33317bc82500SRobert Watson 
33327bc82500SRobert Watson 	return (ENOSYS);
33337bc82500SRobert Watson }
33347bc82500SRobert Watson 
33357bc82500SRobert Watson int
33367bc82500SRobert Watson __mac_set_proc(struct thread *td, struct __mac_set_proc_args *uap)
33377bc82500SRobert Watson {
33387bc82500SRobert Watson 
33397bc82500SRobert Watson 	return (ENOSYS);
33407bc82500SRobert Watson }
33417bc82500SRobert Watson 
33427bc82500SRobert Watson int
33437bc82500SRobert Watson __mac_get_fd(struct thread *td, struct __mac_get_fd_args *uap)
33447bc82500SRobert Watson {
33457bc82500SRobert Watson 
33467bc82500SRobert Watson 	return (ENOSYS);
33477bc82500SRobert Watson }
33487bc82500SRobert Watson 
33497bc82500SRobert Watson int
33507bc82500SRobert Watson __mac_get_file(struct thread *td, struct __mac_get_file_args *uap)
33517bc82500SRobert Watson {
33527bc82500SRobert Watson 
33537bc82500SRobert Watson 	return (ENOSYS);
33547bc82500SRobert Watson }
33557bc82500SRobert Watson 
33567bc82500SRobert Watson int
33577bc82500SRobert Watson __mac_set_fd(struct thread *td, struct __mac_set_fd_args *uap)
33587bc82500SRobert Watson {
33597bc82500SRobert Watson 
33607bc82500SRobert Watson 	return (ENOSYS);
33617bc82500SRobert Watson }
33627bc82500SRobert Watson 
33637bc82500SRobert Watson int
33647bc82500SRobert Watson __mac_set_file(struct thread *td, struct __mac_set_file_args *uap)
33657bc82500SRobert Watson {
33667bc82500SRobert Watson 
33677bc82500SRobert Watson 	return (ENOSYS);
33687bc82500SRobert Watson }
336995fab37eSRobert Watson 
337027f2eac7SRobert Watson int
337127f2eac7SRobert Watson mac_syscall(struct thread *td, struct mac_syscall_args *uap)
337227f2eac7SRobert Watson {
337327f2eac7SRobert Watson 
337427f2eac7SRobert Watson 	return (ENOSYS);
337527f2eac7SRobert Watson }
337627f2eac7SRobert Watson 
337795fab37eSRobert Watson #endif /* !MAC */
3378