xref: /freebsd/sys/security/mac_test/mac_test.c (revision ecfcbb9f0376351e59850d6a6e528e4dd026cefd)
1 /*-
2  * Copyright (c) 1999-2002, 2007 Robert N. M. Watson
3  * Copyright (c) 2001-2005 McAfee, Inc.
4  * Copyright (c) 2006 SPARTA, Inc.
5  * All rights reserved.
6  *
7  * This software was developed by Robert Watson for the TrustedBSD Project.
8  *
9  * This software was developed for the FreeBSD Project in part by McAfee
10  * Research, the Security Research Division of McAfee, Inc. under
11  * DARPA/SPAWAR contract N66001-01-C-8035 ("CBOSS"), as part of the DARPA
12  * CHATS research program.
13  *
14  * This software was enhanced by SPARTA ISSO under SPAWAR contract
15  * N66001-04-C-6019 ("SEFOS").
16  *
17  * Redistribution and use in source and binary forms, with or without
18  * modification, are permitted provided that the following conditions
19  * are met:
20  * 1. Redistributions of source code must retain the above copyright
21  *    notice, this list of conditions and the following disclaimer.
22  * 2. Redistributions in binary form must reproduce the above copyright
23  *    notice, this list of conditions and the following disclaimer in the
24  *    documentation and/or other materials provided with the distribution.
25  *
26  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
27  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
28  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
29  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
30  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
31  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
32  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
33  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
34  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
35  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
36  * SUCH DAMAGE.
37  *
38  * $FreeBSD$
39  */
40 
41 /*
42  * Developed by the TrustedBSD Project.
43  *
44  * MAC Test policy - tests MAC Framework labeling by assigning object class
45  * magic numbers to each label and validates that each time an object label
46  * is passed into the policy, it has a consistent object type, catching
47  * incorrectly passed labels, labels passed after free, etc.
48  */
49 
50 #include <sys/param.h>
51 #include <sys/acl.h>
52 #include <sys/kdb.h>
53 #include <sys/kernel.h>
54 #include <sys/ksem.h>
55 #include <sys/malloc.h>
56 #include <sys/module.h>
57 #include <sys/mount.h>
58 #include <sys/msg.h>
59 #include <sys/proc.h>
60 #include <sys/vnode.h>
61 #include <sys/sem.h>
62 #include <sys/shm.h>
63 #include <sys/socket.h>
64 #include <sys/socketvar.h>
65 #include <sys/sx.h>
66 #include <sys/sysctl.h>
67 
68 #include <fs/devfs/devfs.h>
69 
70 #include <net/bpfdesc.h>
71 #include <net/if.h>
72 #include <net/if_types.h>
73 #include <net/if_var.h>
74 
75 #include <security/mac/mac_policy.h>
76 
77 SYSCTL_DECL(_security_mac);
78 
79 SYSCTL_NODE(_security_mac, OID_AUTO, test, CTLFLAG_RW, 0,
80     "TrustedBSD mac_test policy controls");
81 
82 #define	MAGIC_BPF	0xfe1ad1b6
83 #define	MAGIC_DEVFS	0x9ee79c32
84 #define	MAGIC_IFNET	0xc218b120
85 #define	MAGIC_INPCB	0x4440f7bb
86 #define	MAGIC_IPQ	0x206188ef
87 #define	MAGIC_MBUF	0xbbefa5bb
88 #define	MAGIC_MOUNT	0xc7c46e47
89 #define	MAGIC_SOCKET	0x9199c6cd
90 #define	MAGIC_SYNCACHE	0x7fb838a8
91 #define	MAGIC_SYSV_MSG	0x8bbba61e
92 #define	MAGIC_SYSV_MSQ	0xea672391
93 #define	MAGIC_SYSV_SEM	0x896e8a0b
94 #define	MAGIC_SYSV_SHM	0x76119ab0
95 #define	MAGIC_PIPE	0xdc6c9919
96 #define	MAGIC_POSIX_SEM	0x78ae980c
97 #define	MAGIC_POSIX_SHM	0x4e853fc9
98 #define	MAGIC_PROC	0x3b4be98f
99 #define	MAGIC_CRED	0x9a5a4987
100 #define	MAGIC_VNODE	0x1a67a45c
101 #define	MAGIC_FREE	0x849ba1fd
102 
103 #define	SLOT(x)	mac_label_get((x), test_slot)
104 #define	SLOT_SET(x, v)	mac_label_set((x), test_slot, (v))
105 
106 static int	test_slot;
107 SYSCTL_INT(_security_mac_test, OID_AUTO, slot, CTLFLAG_RD,
108     &test_slot, 0, "Slot allocated by framework");
109 
110 SYSCTL_NODE(_security_mac_test, OID_AUTO, counter, CTLFLAG_RW, 0,
111     "TrustedBSD mac_test counters controls");
112 
113 #define	COUNTER_DECL(variable)						\
114 	static int counter_##variable;					\
115 	SYSCTL_INT(_security_mac_test_counter, OID_AUTO, variable,	\
116 	CTLFLAG_RD, &counter_##variable, 0, #variable)
117 
118 #define	COUNTER_INC(variable)	atomic_add_int(&counter_##variable, 1)
119 
120 #ifdef KDB
121 #define	DEBUGGER(func, string)	kdb_enter(KDB_WHY_MAC, (string))
122 #else
123 #define	DEBUGGER(func, string)	printf("mac_test: %s: %s\n", (func), (string))
124 #endif
125 
126 #define	LABEL_CHECK(label, magic) do {					\
127 	if (label != NULL) {						\
128 		KASSERT(SLOT(label) == magic ||	SLOT(label) == 0,	\
129 		    ("%s: bad %s label", __func__, #magic));		\
130 	}								\
131 } while (0)
132 
133 #define	LABEL_DESTROY(label, magic) do {				\
134 	if (SLOT(label) == magic || SLOT(label) == 0) {			\
135 		SLOT_SET(label, MAGIC_FREE);				\
136 	} else if (SLOT(label) == MAGIC_FREE) {				\
137 		DEBUGGER("%s: dup destroy", __func__);			\
138 	} else {							\
139 		DEBUGGER("%s: corrupted label", __func__);		\
140 	}								\
141 } while (0)
142 
143 #define	LABEL_INIT(label, magic) do {					\
144 	SLOT_SET(label, magic);						\
145 } while (0)
146 
147 #define	LABEL_NOTFREE(label) do {					\
148 	KASSERT(SLOT(label) != MAGIC_FREE,				\
149 	    ("%s: destroyed label", __func__));				\
150 } while (0)
151 
152 /*
153  * Object-specific entry point implementations are sorted alphabetically by
154  * object type name and then by operation.
155  */
156 COUNTER_DECL(bpfdesc_check_receive);
157 static int
158 test_bpfdesc_check_receive(struct bpf_d *d, struct label *dlabel,
159     struct ifnet *ifp, struct label *ifplabel)
160 {
161 
162 	LABEL_CHECK(dlabel, MAGIC_BPF);
163 	LABEL_CHECK(ifplabel, MAGIC_IFNET);
164 	COUNTER_INC(bpfdesc_check_receive);
165 
166 	return (0);
167 }
168 
169 COUNTER_DECL(bpfdesc_create);
170 static void
171 test_bpfdesc_create(struct ucred *cred, struct bpf_d *d,
172     struct label *dlabel)
173 {
174 
175 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
176 	LABEL_CHECK(dlabel, MAGIC_BPF);
177 	COUNTER_INC(bpfdesc_create);
178 }
179 
180 COUNTER_DECL(bpfdesc_create_mbuf);
181 static void
182 test_bpfdesc_create_mbuf(struct bpf_d *d, struct label *dlabel,
183     struct mbuf *m, struct label *mlabel)
184 {
185 
186 	LABEL_CHECK(dlabel, MAGIC_BPF);
187 	LABEL_CHECK(mlabel, MAGIC_MBUF);
188 	COUNTER_INC(bpfdesc_create_mbuf);
189 }
190 
191 COUNTER_DECL(bpfdesc_destroy_label);
192 static void
193 test_bpfdesc_destroy_label(struct label *label)
194 {
195 
196 	LABEL_DESTROY(label, MAGIC_BPF);
197 	COUNTER_INC(bpfdesc_destroy_label);
198 }
199 
200 COUNTER_DECL(bpfdesc_init_label);
201 static void
202 test_bpfdesc_init_label(struct label *label)
203 {
204 
205 	LABEL_INIT(label, MAGIC_BPF);
206 	COUNTER_INC(bpfdesc_init_label);
207 }
208 
209 COUNTER_DECL(cred_check_relabel);
210 static int
211 test_cred_check_relabel(struct ucred *cred, struct label *newlabel)
212 {
213 
214 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
215 	LABEL_CHECK(newlabel, MAGIC_CRED);
216 	COUNTER_INC(cred_check_relabel);
217 
218 	return (0);
219 }
220 
221 COUNTER_DECL(cred_check_visible);
222 static int
223 test_cred_check_visible(struct ucred *u1, struct ucred *u2)
224 {
225 
226 	LABEL_CHECK(u1->cr_label, MAGIC_CRED);
227 	LABEL_CHECK(u2->cr_label, MAGIC_CRED);
228 	COUNTER_INC(cred_check_visible);
229 
230 	return (0);
231 }
232 
233 COUNTER_DECL(cred_copy_label);
234 static void
235 test_cred_copy_label(struct label *src, struct label *dest)
236 {
237 
238 	LABEL_CHECK(src, MAGIC_CRED);
239 	LABEL_CHECK(dest, MAGIC_CRED);
240 	COUNTER_INC(cred_copy_label);
241 }
242 
243 COUNTER_DECL(cred_destroy_label);
244 static void
245 test_cred_destroy_label(struct label *label)
246 {
247 
248 	LABEL_DESTROY(label, MAGIC_CRED);
249 	COUNTER_INC(cred_destroy_label);
250 }
251 
252 COUNTER_DECL(cred_externalize_label);
253 static int
254 test_cred_externalize_label(struct label *label, char *element_name,
255     struct sbuf *sb, int *claimed)
256 {
257 
258 	LABEL_CHECK(label, MAGIC_CRED);
259 	COUNTER_INC(cred_externalize_label);
260 
261 	return (0);
262 }
263 
264 COUNTER_DECL(cred_init_label);
265 static void
266 test_cred_init_label(struct label *label)
267 {
268 
269 	LABEL_INIT(label, MAGIC_CRED);
270 	COUNTER_INC(cred_init_label);
271 }
272 
273 COUNTER_DECL(cred_internalize_label);
274 static int
275 test_cred_internalize_label(struct label *label, char *element_name,
276     char *element_data, int *claimed)
277 {
278 
279 	LABEL_CHECK(label, MAGIC_CRED);
280 	COUNTER_INC(cred_internalize_label);
281 
282 	return (0);
283 }
284 
285 COUNTER_DECL(cred_relabel);
286 static void
287 test_cred_relabel(struct ucred *cred, struct label *newlabel)
288 {
289 
290 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
291 	LABEL_CHECK(newlabel, MAGIC_CRED);
292 	COUNTER_INC(cred_relabel);
293 }
294 
295 COUNTER_DECL(devfs_create_device);
296 static void
297 test_devfs_create_device(struct ucred *cred, struct mount *mp,
298     struct cdev *dev, struct devfs_dirent *de, struct label *delabel)
299 {
300 
301 	if (cred != NULL)
302 		LABEL_CHECK(cred->cr_label, MAGIC_CRED);
303 	LABEL_CHECK(delabel, MAGIC_DEVFS);
304 	COUNTER_INC(devfs_create_device);
305 }
306 
307 COUNTER_DECL(devfs_create_directory);
308 static void
309 test_devfs_create_directory(struct mount *mp, char *dirname,
310     int dirnamelen, struct devfs_dirent *de, struct label *delabel)
311 {
312 
313 	LABEL_CHECK(delabel, MAGIC_DEVFS);
314 	COUNTER_INC(devfs_create_directory);
315 }
316 
317 COUNTER_DECL(devfs_create_symlink);
318 static void
319 test_devfs_create_symlink(struct ucred *cred, struct mount *mp,
320     struct devfs_dirent *dd, struct label *ddlabel, struct devfs_dirent *de,
321     struct label *delabel)
322 {
323 
324 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
325 	LABEL_CHECK(ddlabel, MAGIC_DEVFS);
326 	LABEL_CHECK(delabel, MAGIC_DEVFS);
327 	COUNTER_INC(devfs_create_symlink);
328 }
329 
330 COUNTER_DECL(devfs_destroy_label);
331 static void
332 test_devfs_destroy_label(struct label *label)
333 {
334 
335 	LABEL_DESTROY(label, MAGIC_DEVFS);
336 	COUNTER_INC(devfs_destroy_label);
337 }
338 
339 COUNTER_DECL(devfs_init_label);
340 static void
341 test_devfs_init_label(struct label *label)
342 {
343 
344 	LABEL_INIT(label, MAGIC_DEVFS);
345 	COUNTER_INC(devfs_init_label);
346 }
347 
348 COUNTER_DECL(devfs_update);
349 static void
350 test_devfs_update(struct mount *mp, struct devfs_dirent *devfs_dirent,
351     struct label *direntlabel, struct vnode *vp, struct label *vplabel)
352 {
353 
354 	LABEL_CHECK(direntlabel, MAGIC_DEVFS);
355 	LABEL_CHECK(vplabel, MAGIC_VNODE);
356 	COUNTER_INC(devfs_update);
357 }
358 
359 COUNTER_DECL(devfs_vnode_associate);
360 static void
361 test_devfs_vnode_associate(struct mount *mp, struct label *mplabel,
362     struct devfs_dirent *de, struct label *delabel, struct vnode *vp,
363     struct label *vplabel)
364 {
365 
366 	LABEL_CHECK(mplabel, MAGIC_MOUNT);
367 	LABEL_CHECK(delabel, MAGIC_DEVFS);
368 	LABEL_CHECK(vplabel, MAGIC_VNODE);
369 	COUNTER_INC(devfs_vnode_associate);
370 }
371 
372 COUNTER_DECL(ifnet_check_relabel);
373 static int
374 test_ifnet_check_relabel(struct ucred *cred, struct ifnet *ifp,
375     struct label *ifplabel, struct label *newlabel)
376 {
377 
378 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
379 	LABEL_CHECK(ifplabel, MAGIC_IFNET);
380 	LABEL_CHECK(newlabel, MAGIC_IFNET);
381 	COUNTER_INC(ifnet_check_relabel);
382 
383 	return (0);
384 }
385 
386 COUNTER_DECL(ifnet_check_transmit);
387 static int
388 test_ifnet_check_transmit(struct ifnet *ifp, struct label *ifplabel,
389     struct mbuf *m, struct label *mlabel)
390 {
391 
392 	LABEL_CHECK(ifplabel, MAGIC_IFNET);
393 	LABEL_CHECK(mlabel, MAGIC_MBUF);
394 	COUNTER_INC(ifnet_check_transmit);
395 
396 	return (0);
397 }
398 
399 COUNTER_DECL(ifnet_copy_label);
400 static void
401 test_ifnet_copy_label(struct label *src, struct label *dest)
402 {
403 
404 	LABEL_CHECK(src, MAGIC_IFNET);
405 	LABEL_CHECK(dest, MAGIC_IFNET);
406 	COUNTER_INC(ifnet_copy_label);
407 }
408 
409 COUNTER_DECL(ifnet_create);
410 static void
411 test_ifnet_create(struct ifnet *ifp, struct label *ifplabel)
412 {
413 
414 	LABEL_CHECK(ifplabel, MAGIC_IFNET);
415 	COUNTER_INC(ifnet_create);
416 }
417 
418 COUNTER_DECL(ifnet_create_mbuf);
419 static void
420 test_ifnet_create_mbuf(struct ifnet *ifp, struct label *ifplabel,
421     struct mbuf *m, struct label *mlabel)
422 {
423 
424 	LABEL_CHECK(ifplabel, MAGIC_IFNET);
425 	LABEL_CHECK(mlabel, MAGIC_MBUF);
426 	COUNTER_INC(ifnet_create_mbuf);
427 }
428 
429 COUNTER_DECL(ifnet_destroy_label);
430 static void
431 test_ifnet_destroy_label(struct label *label)
432 {
433 
434 	LABEL_DESTROY(label, MAGIC_IFNET);
435 	COUNTER_INC(ifnet_destroy_label);
436 }
437 
438 COUNTER_DECL(ifnet_externalize_label);
439 static int
440 test_ifnet_externalize_label(struct label *label, char *element_name,
441     struct sbuf *sb, int *claimed)
442 {
443 
444 	LABEL_CHECK(label, MAGIC_IFNET);
445 	COUNTER_INC(ifnet_externalize_label);
446 
447 	return (0);
448 }
449 
450 COUNTER_DECL(ifnet_init_label);
451 static void
452 test_ifnet_init_label(struct label *label)
453 {
454 
455 	LABEL_INIT(label, MAGIC_IFNET);
456 	COUNTER_INC(ifnet_init_label);
457 }
458 
459 COUNTER_DECL(ifnet_internalize_label);
460 static int
461 test_ifnet_internalize_label(struct label *label, char *element_name,
462     char *element_data, int *claimed)
463 {
464 
465 	LABEL_CHECK(label, MAGIC_IFNET);
466 	COUNTER_INC(ifnet_internalize_label);
467 
468 	return (0);
469 }
470 
471 COUNTER_DECL(ifnet_relabel);
472 static void
473 test_ifnet_relabel(struct ucred *cred, struct ifnet *ifp,
474     struct label *ifplabel, struct label *newlabel)
475 {
476 
477 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
478 	LABEL_CHECK(ifplabel, MAGIC_IFNET);
479 	LABEL_CHECK(newlabel, MAGIC_IFNET);
480 	COUNTER_INC(ifnet_relabel);
481 }
482 
483 COUNTER_DECL(inpcb_check_deliver);
484 static int
485 test_inpcb_check_deliver(struct inpcb *inp, struct label *inplabel,
486     struct mbuf *m, struct label *mlabel)
487 {
488 
489 	LABEL_CHECK(inplabel, MAGIC_INPCB);
490 	LABEL_CHECK(mlabel, MAGIC_MBUF);
491 	COUNTER_INC(inpcb_check_deliver);
492 
493 	return (0);
494 }
495 
496 COUNTER_DECL(inpcb_create);
497 static void
498 test_inpcb_create(struct socket *so, struct label *solabel,
499     struct inpcb *inp, struct label *inplabel)
500 {
501 
502 	LABEL_CHECK(solabel, MAGIC_SOCKET);
503 	LABEL_CHECK(inplabel, MAGIC_INPCB);
504 	COUNTER_INC(inpcb_create);
505 }
506 
507 COUNTER_DECL(inpcb_create_mbuf);
508 static void
509 test_inpcb_create_mbuf(struct inpcb *inp, struct label *inplabel,
510     struct mbuf *m, struct label *mlabel)
511 {
512 
513 	LABEL_CHECK(inplabel, MAGIC_INPCB);
514 	LABEL_CHECK(mlabel, MAGIC_MBUF);
515 	COUNTER_INC(inpcb_create_mbuf);
516 }
517 
518 COUNTER_DECL(inpcb_destroy_label);
519 static void
520 test_inpcb_destroy_label(struct label *label)
521 {
522 
523 	LABEL_DESTROY(label, MAGIC_INPCB);
524 	COUNTER_INC(inpcb_destroy_label);
525 }
526 
527 COUNTER_DECL(inpcb_init_label);
528 static int
529 test_inpcb_init_label(struct label *label, int flag)
530 {
531 
532 	if (flag & M_WAITOK)
533 		WITNESS_WARN(WARN_GIANTOK | WARN_SLEEPOK, NULL,
534 		    "test_inpcb_init_label() at %s:%d", __FILE__,
535 		    __LINE__);
536 
537 	LABEL_INIT(label, MAGIC_INPCB);
538 	COUNTER_INC(inpcb_init_label);
539 	return (0);
540 }
541 
542 COUNTER_DECL(inpcb_sosetlabel);
543 static void
544 test_inpcb_sosetlabel(struct socket *so, struct label *solabel,
545     struct inpcb *inp, struct label *inplabel)
546 {
547 
548 	LABEL_CHECK(solabel, MAGIC_SOCKET);
549 	LABEL_CHECK(inplabel, MAGIC_INPCB);
550 	COUNTER_INC(inpcb_sosetlabel);
551 }
552 
553 COUNTER_DECL(ipq_create);
554 static void
555 test_ipq_create(struct mbuf *fragment, struct label *fragmentlabel,
556     struct ipq *q, struct label *qlabel)
557 {
558 
559 	LABEL_CHECK(fragmentlabel, MAGIC_MBUF);
560 	LABEL_CHECK(qlabel, MAGIC_IPQ);
561 	COUNTER_INC(ipq_create);
562 }
563 
564 COUNTER_DECL(ipq_destroy_label);
565 static void
566 test_ipq_destroy_label(struct label *label)
567 {
568 
569 	LABEL_DESTROY(label, MAGIC_IPQ);
570 	COUNTER_INC(ipq_destroy_label);
571 }
572 
573 COUNTER_DECL(ipq_init_label);
574 static int
575 test_ipq_init_label(struct label *label, int flag)
576 {
577 
578 	if (flag & M_WAITOK)
579 		WITNESS_WARN(WARN_GIANTOK | WARN_SLEEPOK, NULL,
580 		    "test_ipq_init_label() at %s:%d", __FILE__,
581 		    __LINE__);
582 
583 	LABEL_INIT(label, MAGIC_IPQ);
584 	COUNTER_INC(ipq_init_label);
585 	return (0);
586 }
587 
588 COUNTER_DECL(ipq_match);
589 static int
590 test_ipq_match(struct mbuf *fragment, struct label *fragmentlabel,
591     struct ipq *q, struct label *qlabel)
592 {
593 
594 	LABEL_CHECK(fragmentlabel, MAGIC_MBUF);
595 	LABEL_CHECK(qlabel, MAGIC_IPQ);
596 	COUNTER_INC(ipq_match);
597 
598 	return (1);
599 }
600 
601 COUNTER_DECL(ipq_reassemble);
602 static void
603 test_ipq_reassemble(struct ipq *q, struct label *qlabel, struct mbuf *m,
604    struct label *mlabel)
605 {
606 
607 	LABEL_CHECK(qlabel, MAGIC_IPQ);
608 	LABEL_CHECK(mlabel, MAGIC_MBUF);
609 	COUNTER_INC(ipq_reassemble);
610 }
611 
612 COUNTER_DECL(ipq_update);
613 static void
614 test_ipq_update(struct mbuf *m, struct label *mlabel, struct ipq *q,
615     struct label *qlabel)
616 {
617 
618 	LABEL_CHECK(mlabel, MAGIC_MBUF);
619 	LABEL_CHECK(qlabel, MAGIC_IPQ);
620 	COUNTER_INC(ipq_update);
621 }
622 
623 COUNTER_DECL(kenv_check_dump);
624 static int
625 test_kenv_check_dump(struct ucred *cred)
626 {
627 
628 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
629 	COUNTER_INC(kenv_check_dump);
630 
631 	return (0);
632 }
633 
634 COUNTER_DECL(kenv_check_get);
635 static int
636 test_kenv_check_get(struct ucred *cred, char *name)
637 {
638 
639 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
640 	COUNTER_INC(kenv_check_get);
641 
642 	return (0);
643 }
644 
645 COUNTER_DECL(kenv_check_set);
646 static int
647 test_kenv_check_set(struct ucred *cred, char *name, char *value)
648 {
649 
650 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
651 	COUNTER_INC(kenv_check_set);
652 
653 	return (0);
654 }
655 
656 COUNTER_DECL(kenv_check_unset);
657 static int
658 test_kenv_check_unset(struct ucred *cred, char *name)
659 {
660 
661 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
662 	COUNTER_INC(kenv_check_unset);
663 
664 	return (0);
665 }
666 
667 COUNTER_DECL(kld_check_load);
668 static int
669 test_kld_check_load(struct ucred *cred, struct vnode *vp,
670     struct label *label)
671 {
672 
673 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
674 	LABEL_CHECK(label, MAGIC_VNODE);
675 	COUNTER_INC(kld_check_load);
676 
677 	return (0);
678 }
679 
680 COUNTER_DECL(kld_check_stat);
681 static int
682 test_kld_check_stat(struct ucred *cred)
683 {
684 
685 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
686 	COUNTER_INC(kld_check_stat);
687 
688 	return (0);
689 }
690 
691 COUNTER_DECL(mbuf_copy_label);
692 static void
693 test_mbuf_copy_label(struct label *src, struct label *dest)
694 {
695 
696 	LABEL_CHECK(src, MAGIC_MBUF);
697 	LABEL_CHECK(dest, MAGIC_MBUF);
698 	COUNTER_INC(mbuf_copy_label);
699 }
700 
701 COUNTER_DECL(mbuf_destroy_label);
702 static void
703 test_mbuf_destroy_label(struct label *label)
704 {
705 
706 	/*
707 	 * If we're loaded dynamically, there may be mbufs in flight that
708 	 * didn't have label storage allocated for them.  Handle this
709 	 * gracefully.
710 	 */
711 	if (label == NULL)
712 		return;
713 
714 	LABEL_DESTROY(label, MAGIC_MBUF);
715 	COUNTER_INC(mbuf_destroy_label);
716 }
717 
718 COUNTER_DECL(mbuf_init_label);
719 static int
720 test_mbuf_init_label(struct label *label, int flag)
721 {
722 
723 	if (flag & M_WAITOK)
724 		WITNESS_WARN(WARN_GIANTOK | WARN_SLEEPOK, NULL,
725 		    "test_mbuf_init_label() at %s:%d", __FILE__,
726 		    __LINE__);
727 
728 	LABEL_INIT(label, MAGIC_MBUF);
729 	COUNTER_INC(mbuf_init_label);
730 	return (0);
731 }
732 
733 COUNTER_DECL(mount_check_stat);
734 static int
735 test_mount_check_stat(struct ucred *cred, struct mount *mp,
736     struct label *mplabel)
737 {
738 
739 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
740 	LABEL_CHECK(mplabel, MAGIC_MOUNT);
741 	COUNTER_INC(mount_check_stat);
742 
743 	return (0);
744 }
745 
746 COUNTER_DECL(mount_create);
747 static void
748 test_mount_create(struct ucred *cred, struct mount *mp,
749     struct label *mplabel)
750 {
751 
752 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
753 	LABEL_CHECK(mplabel, MAGIC_MOUNT);
754 	COUNTER_INC(mount_create);
755 }
756 
757 COUNTER_DECL(mount_destroy_label);
758 static void
759 test_mount_destroy_label(struct label *label)
760 {
761 
762 	LABEL_DESTROY(label, MAGIC_MOUNT);
763 	COUNTER_INC(mount_destroy_label);
764 }
765 
766 COUNTER_DECL(mount_init_label);
767 static void
768 test_mount_init_label(struct label *label)
769 {
770 
771 	LABEL_INIT(label, MAGIC_MOUNT);
772 	COUNTER_INC(mount_init_label);
773 }
774 
775 COUNTER_DECL(netatalk_aarp_send);
776 static void
777 test_netatalk_aarp_send(struct ifnet *ifp, struct label *ifplabel,
778     struct mbuf *m, struct label *mlabel)
779 {
780 
781 	LABEL_CHECK(ifplabel, MAGIC_IFNET);
782 	LABEL_CHECK(mlabel, MAGIC_MBUF);
783 	COUNTER_INC(netatalk_aarp_send);
784 }
785 
786 COUNTER_DECL(netinet_arp_send);
787 static void
788 test_netinet_arp_send(struct ifnet *ifp, struct label *ifplabel,
789     struct mbuf *m, struct label *mlabel)
790 {
791 
792 	LABEL_CHECK(ifplabel, MAGIC_IFNET);
793 	LABEL_CHECK(mlabel, MAGIC_MBUF);
794 	COUNTER_INC(netinet_arp_send);
795 }
796 
797 COUNTER_DECL(netinet_fragment);
798 static void
799 test_netinet_fragment(struct mbuf *m, struct label *mlabel,
800     struct mbuf *frag, struct label *fraglabel)
801 {
802 
803 	LABEL_CHECK(mlabel, MAGIC_MBUF);
804 	LABEL_CHECK(fraglabel, MAGIC_MBUF);
805 	COUNTER_INC(netinet_fragment);
806 }
807 
808 COUNTER_DECL(netinet_icmp_reply);
809 static void
810 test_netinet_icmp_reply(struct mbuf *mrecv, struct label *mrecvlabel,
811     struct mbuf *msend, struct label *msendlabel)
812 {
813 
814 	LABEL_CHECK(mrecvlabel, MAGIC_MBUF);
815 	LABEL_CHECK(msendlabel, MAGIC_MBUF);
816 	COUNTER_INC(netinet_icmp_reply);
817 }
818 
819 COUNTER_DECL(netinet_icmp_replyinplace);
820 static void
821 test_netinet_icmp_replyinplace(struct mbuf *m, struct label *mlabel)
822 {
823 
824 	LABEL_CHECK(mlabel, MAGIC_MBUF);
825 	COUNTER_INC(netinet_icmp_replyinplace);
826 }
827 
828 COUNTER_DECL(netinet_igmp_send);
829 static void
830 test_netinet_igmp_send(struct ifnet *ifp, struct label *ifplabel,
831     struct mbuf *m, struct label *mlabel)
832 {
833 
834 	LABEL_CHECK(ifplabel, MAGIC_IFNET);
835 	LABEL_CHECK(mlabel, MAGIC_MBUF);
836 	COUNTER_INC(netinet_igmp_send);
837 }
838 
839 COUNTER_DECL(netinet_tcp_reply);
840 static void
841 test_netinet_tcp_reply(struct mbuf *m, struct label *mlabel)
842 {
843 
844 	LABEL_CHECK(mlabel, MAGIC_MBUF);
845 	COUNTER_INC(netinet_tcp_reply);
846 }
847 
848 COUNTER_DECL(netinet6_nd6_send);
849 static void
850 test_netinet6_nd6_send(struct ifnet *ifp, struct label *ifplabel,
851     struct mbuf *m, struct label *mlabel)
852 {
853 
854 	LABEL_CHECK(ifplabel, MAGIC_IFNET);
855 	LABEL_CHECK(mlabel, MAGIC_MBUF);
856 	COUNTER_INC(netinet6_nd6_send);
857 }
858 
859 COUNTER_DECL(pipe_check_ioctl);
860 static int
861 test_pipe_check_ioctl(struct ucred *cred, struct pipepair *pp,
862     struct label *pplabel, unsigned long cmd, void /* caddr_t */ *data)
863 {
864 
865 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
866 	LABEL_CHECK(pplabel, MAGIC_PIPE);
867 	COUNTER_INC(pipe_check_ioctl);
868 
869 	return (0);
870 }
871 
872 COUNTER_DECL(pipe_check_poll);
873 static int
874 test_pipe_check_poll(struct ucred *cred, struct pipepair *pp,
875     struct label *pplabel)
876 {
877 
878 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
879 	LABEL_CHECK(pplabel, MAGIC_PIPE);
880 	COUNTER_INC(pipe_check_poll);
881 
882 	return (0);
883 }
884 
885 COUNTER_DECL(pipe_check_read);
886 static int
887 test_pipe_check_read(struct ucred *cred, struct pipepair *pp,
888     struct label *pplabel)
889 {
890 
891 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
892 	LABEL_CHECK(pplabel, MAGIC_PIPE);
893 	COUNTER_INC(pipe_check_read);
894 
895 	return (0);
896 }
897 
898 COUNTER_DECL(pipe_check_relabel);
899 static int
900 test_pipe_check_relabel(struct ucred *cred, struct pipepair *pp,
901     struct label *pplabel, struct label *newlabel)
902 {
903 
904 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
905 	LABEL_CHECK(pplabel, MAGIC_PIPE);
906 	LABEL_CHECK(newlabel, MAGIC_PIPE);
907 	COUNTER_INC(pipe_check_relabel);
908 
909 	return (0);
910 }
911 
912 COUNTER_DECL(pipe_check_stat);
913 static int
914 test_pipe_check_stat(struct ucred *cred, struct pipepair *pp,
915     struct label *pplabel)
916 {
917 
918 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
919 	LABEL_CHECK(pplabel, MAGIC_PIPE);
920 	COUNTER_INC(pipe_check_stat);
921 
922 	return (0);
923 }
924 
925 COUNTER_DECL(pipe_check_write);
926 static int
927 test_pipe_check_write(struct ucred *cred, struct pipepair *pp,
928     struct label *pplabel)
929 {
930 
931 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
932 	LABEL_CHECK(pplabel, MAGIC_PIPE);
933 	COUNTER_INC(pipe_check_write);
934 
935 	return (0);
936 }
937 
938 COUNTER_DECL(pipe_copy_label);
939 static void
940 test_pipe_copy_label(struct label *src, struct label *dest)
941 {
942 
943 	LABEL_CHECK(src, MAGIC_PIPE);
944 	LABEL_CHECK(dest, MAGIC_PIPE);
945 	COUNTER_INC(pipe_copy_label);
946 }
947 
948 COUNTER_DECL(pipe_create);
949 static void
950 test_pipe_create(struct ucred *cred, struct pipepair *pp,
951    struct label *pplabel)
952 {
953 
954 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
955 	LABEL_CHECK(pplabel, MAGIC_PIPE);
956 	COUNTER_INC(pipe_create);
957 }
958 
959 COUNTER_DECL(pipe_destroy_label);
960 static void
961 test_pipe_destroy_label(struct label *label)
962 {
963 
964 	LABEL_DESTROY(label, MAGIC_PIPE);
965 	COUNTER_INC(pipe_destroy_label);
966 }
967 
968 COUNTER_DECL(pipe_externalize_label);
969 static int
970 test_pipe_externalize_label(struct label *label, char *element_name,
971     struct sbuf *sb, int *claimed)
972 {
973 
974 	LABEL_CHECK(label, MAGIC_PIPE);
975 	COUNTER_INC(pipe_externalize_label);
976 
977 	return (0);
978 }
979 
980 COUNTER_DECL(pipe_init_label);
981 static void
982 test_pipe_init_label(struct label *label)
983 {
984 
985 	LABEL_INIT(label, MAGIC_PIPE);
986 	COUNTER_INC(pipe_init_label);
987 }
988 
989 COUNTER_DECL(pipe_internalize_label);
990 static int
991 test_pipe_internalize_label(struct label *label, char *element_name,
992     char *element_data, int *claimed)
993 {
994 
995 	LABEL_CHECK(label, MAGIC_PIPE);
996 	COUNTER_INC(pipe_internalize_label);
997 
998 	return (0);
999 }
1000 
1001 COUNTER_DECL(pipe_relabel);
1002 static void
1003 test_pipe_relabel(struct ucred *cred, struct pipepair *pp,
1004     struct label *pplabel, struct label *newlabel)
1005 {
1006 
1007 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1008 	LABEL_CHECK(pplabel, MAGIC_PIPE);
1009 	LABEL_CHECK(newlabel, MAGIC_PIPE);
1010 	COUNTER_INC(pipe_relabel);
1011 }
1012 
1013 COUNTER_DECL(posixsem_check_getvalue);
1014 static int
1015 test_posixsem_check_getvalue(struct ucred *active_cred, struct ucred *file_cred,
1016     struct ksem *ks, struct label *kslabel)
1017 {
1018 
1019 	LABEL_CHECK(active_cred->cr_label, MAGIC_CRED);
1020 	LABEL_CHECK(file_cred->cr_label, MAGIC_CRED);
1021 	LABEL_CHECK(kslabel, MAGIC_POSIX_SEM);
1022 	COUNTER_INC(posixsem_check_getvalue);
1023 
1024 	return (0);
1025 }
1026 
1027 COUNTER_DECL(posixsem_check_open);
1028 static int
1029 test_posixsem_check_open(struct ucred *cred, struct ksem *ks,
1030     struct label *kslabel)
1031 {
1032 
1033 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1034 	LABEL_CHECK(kslabel, MAGIC_POSIX_SEM);
1035 	COUNTER_INC(posixsem_check_open);
1036 
1037 	return (0);
1038 }
1039 
1040 COUNTER_DECL(posixsem_check_post);
1041 static int
1042 test_posixsem_check_post(struct ucred *active_cred, struct ucred *file_cred,
1043     struct ksem *ks, struct label *kslabel)
1044 {
1045 
1046 	LABEL_CHECK(active_cred->cr_label, MAGIC_CRED);
1047 	LABEL_CHECK(file_cred->cr_label, MAGIC_CRED);
1048 	LABEL_CHECK(kslabel, MAGIC_POSIX_SEM);
1049 	COUNTER_INC(posixsem_check_post);
1050 
1051 	return (0);
1052 }
1053 
1054 COUNTER_DECL(posixsem_check_stat);
1055 static int
1056 test_posixsem_check_stat(struct ucred *active_cred,
1057     struct ucred *file_cred, struct ksem *ks, struct label *kslabel)
1058 {
1059 
1060 	LABEL_CHECK(active_cred->cr_label, MAGIC_CRED);
1061 	LABEL_CHECK(file_cred->cr_label, MAGIC_CRED);
1062 	LABEL_CHECK(kslabel, MAGIC_POSIX_SEM);
1063 	COUNTER_INC(posixsem_check_stat);
1064 	return (0);
1065 }
1066 
1067 COUNTER_DECL(posixsem_check_unlink);
1068 static int
1069 test_posixsem_check_unlink(struct ucred *cred, struct ksem *ks,
1070     struct label *kslabel)
1071 {
1072 
1073 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1074 	LABEL_CHECK(kslabel, MAGIC_POSIX_SEM);
1075 	COUNTER_INC(posixsem_check_unlink);
1076 
1077 	return (0);
1078 }
1079 
1080 COUNTER_DECL(posixsem_check_wait);
1081 static int
1082 test_posixsem_check_wait(struct ucred *active_cred, struct ucred *file_cred,
1083     struct ksem *ks, struct label *kslabel)
1084 {
1085 
1086 	LABEL_CHECK(active_cred->cr_label, MAGIC_CRED);
1087 	LABEL_CHECK(file_cred->cr_label, MAGIC_CRED);
1088 	LABEL_CHECK(kslabel, MAGIC_POSIX_SEM);
1089 	COUNTER_INC(posixsem_check_wait);
1090 
1091 	return (0);
1092 }
1093 
1094 COUNTER_DECL(posixsem_create);
1095 static void
1096 test_posixsem_create(struct ucred *cred, struct ksem *ks,
1097    struct label *kslabel)
1098 {
1099 
1100 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1101 	LABEL_CHECK(kslabel, MAGIC_POSIX_SEM);
1102 	COUNTER_INC(posixsem_create);
1103 }
1104 
1105 COUNTER_DECL(posixsem_destroy_label);
1106 static void
1107 test_posixsem_destroy_label(struct label *label)
1108 {
1109 
1110 	LABEL_DESTROY(label, MAGIC_POSIX_SEM);
1111 	COUNTER_INC(posixsem_destroy_label);
1112 }
1113 
1114 COUNTER_DECL(posixsem_init_label);
1115 static void
1116 test_posixsem_init_label(struct label *label)
1117 {
1118 
1119 	LABEL_INIT(label, MAGIC_POSIX_SEM);
1120 	COUNTER_INC(posixsem_init_label);
1121 }
1122 
1123 COUNTER_DECL(posixshm_check_mmap);
1124 static int
1125 test_posixshm_check_mmap(struct ucred *cred, struct shmfd *shmfd,
1126     struct label *shmfdlabel, int prot, int flags)
1127 {
1128 
1129 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1130 	LABEL_CHECK(shmfdlabel, MAGIC_POSIX_SHM);
1131 	COUNTER_INC(posixshm_check_mmap);
1132 	return (0);
1133 }
1134 
1135 COUNTER_DECL(posixshm_check_open);
1136 static int
1137 test_posixshm_check_open(struct ucred *cred, struct shmfd *shmfd,
1138     struct label *shmfdlabel)
1139 {
1140 
1141 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1142 	LABEL_CHECK(shmfdlabel, MAGIC_POSIX_SHM);
1143 	COUNTER_INC(posixshm_check_open);
1144 	return (0);
1145 }
1146 
1147 COUNTER_DECL(posixshm_check_stat);
1148 static int
1149 test_posixshm_check_stat(struct ucred *active_cred,
1150     struct ucred *file_cred, struct shmfd *shmfd, struct label *shmfdlabel)
1151 {
1152 
1153 	LABEL_CHECK(active_cred->cr_label, MAGIC_CRED);
1154 	LABEL_CHECK(file_cred->cr_label, MAGIC_CRED);
1155 	LABEL_CHECK(shmfdlabel, MAGIC_POSIX_SHM);
1156 	COUNTER_INC(posixshm_check_stat);
1157 	return (0);
1158 }
1159 
1160 COUNTER_DECL(posixshm_check_truncate);
1161 static int
1162 test_posixshm_check_truncate(struct ucred *active_cred,
1163     struct ucred *file_cred, struct shmfd *shmfd, struct label *shmfdlabel)
1164 {
1165 
1166 	LABEL_CHECK(active_cred->cr_label, MAGIC_CRED);
1167 	LABEL_CHECK(file_cred->cr_label, MAGIC_CRED);
1168 	LABEL_CHECK(shmfdlabel, MAGIC_POSIX_SHM);
1169 	COUNTER_INC(posixshm_check_truncate);
1170 	return (0);
1171 }
1172 
1173 COUNTER_DECL(posixshm_check_unlink);
1174 static int
1175 test_posixshm_check_unlink(struct ucred *cred, struct shmfd *shmfd,
1176     struct label *shmfdlabel)
1177 {
1178 
1179 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1180 	LABEL_CHECK(shmfdlabel, MAGIC_POSIX_SHM);
1181 	COUNTER_INC(posixshm_check_unlink);
1182 	return (0);
1183 }
1184 
1185 COUNTER_DECL(posixshm_create);
1186 static void
1187 test_posixshm_create(struct ucred *cred, struct shmfd *shmfd,
1188    struct label *shmfdlabel)
1189 {
1190 
1191 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1192 	LABEL_CHECK(shmfdlabel, MAGIC_POSIX_SHM);
1193 	COUNTER_INC(posixshm_create);
1194 }
1195 
1196 COUNTER_DECL(posixshm_destroy_label);
1197 static void
1198 test_posixshm_destroy_label(struct label *label)
1199 {
1200 
1201 	LABEL_DESTROY(label, MAGIC_POSIX_SHM);
1202 	COUNTER_INC(posixshm_destroy_label);
1203 }
1204 
1205 COUNTER_DECL(posixshm_init_label);
1206 static void
1207 test_posixshm_init_label(struct label *label)
1208 {
1209 
1210 	LABEL_INIT(label, MAGIC_POSIX_SHM);
1211 	COUNTER_INC(posixshm_init_label);
1212 }
1213 
1214 COUNTER_DECL(proc_check_debug);
1215 static int
1216 test_proc_check_debug(struct ucred *cred, struct proc *p)
1217 {
1218 
1219 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1220 	LABEL_CHECK(p->p_ucred->cr_label, MAGIC_CRED);
1221 	COUNTER_INC(proc_check_debug);
1222 
1223 	return (0);
1224 }
1225 
1226 COUNTER_DECL(proc_check_sched);
1227 static int
1228 test_proc_check_sched(struct ucred *cred, struct proc *p)
1229 {
1230 
1231 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1232 	LABEL_CHECK(p->p_ucred->cr_label, MAGIC_CRED);
1233 	COUNTER_INC(proc_check_sched);
1234 
1235 	return (0);
1236 }
1237 
1238 COUNTER_DECL(proc_check_signal);
1239 static int
1240 test_proc_check_signal(struct ucred *cred, struct proc *p, int signum)
1241 {
1242 
1243 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1244 	LABEL_CHECK(p->p_ucred->cr_label, MAGIC_CRED);
1245 	COUNTER_INC(proc_check_signal);
1246 
1247 	return (0);
1248 }
1249 
1250 COUNTER_DECL(proc_check_setaudit);
1251 static int
1252 test_proc_check_setaudit(struct ucred *cred, struct auditinfo *ai)
1253 {
1254 
1255 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1256 	COUNTER_INC(proc_check_setaudit);
1257 
1258 	return (0);
1259 }
1260 
1261 COUNTER_DECL(proc_check_setaudit_addr);
1262 static int
1263 test_proc_check_setaudit_addr(struct ucred *cred,
1264     struct auditinfo_addr *aia)
1265 {
1266 
1267 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1268 	COUNTER_INC(proc_check_setaudit_addr);
1269 
1270 	return (0);
1271 }
1272 
1273 COUNTER_DECL(proc_check_setauid);
1274 static int
1275 test_proc_check_setauid(struct ucred *cred, uid_t auid)
1276 {
1277 
1278 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1279 	COUNTER_INC(proc_check_setauid);
1280 
1281 	return (0);
1282 }
1283 
1284 COUNTER_DECL(proc_check_setegid);
1285 static int
1286 test_proc_check_setegid(struct ucred *cred, gid_t egid)
1287 {
1288 
1289 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1290 	COUNTER_INC(proc_check_setegid);
1291 
1292 	return (0);
1293 }
1294 
1295 COUNTER_DECL(proc_check_euid);
1296 static int
1297 test_proc_check_seteuid(struct ucred *cred, uid_t euid)
1298 {
1299 
1300 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1301 	COUNTER_INC(proc_check_euid);
1302 
1303 	return (0);
1304 }
1305 
1306 COUNTER_DECL(proc_check_setregid);
1307 static int
1308 test_proc_check_setregid(struct ucred *cred, gid_t rgid, gid_t egid)
1309 {
1310 
1311 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1312 	COUNTER_INC(proc_check_setregid);
1313 
1314 	return (0);
1315 }
1316 
1317 COUNTER_DECL(proc_check_setreuid);
1318 static int
1319 test_proc_check_setreuid(struct ucred *cred, uid_t ruid, uid_t euid)
1320 {
1321 
1322 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1323 	COUNTER_INC(proc_check_setreuid);
1324 
1325 	return (0);
1326 }
1327 
1328 COUNTER_DECL(proc_check_setgid);
1329 static int
1330 test_proc_check_setgid(struct ucred *cred, gid_t gid)
1331 {
1332 
1333 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1334 	COUNTER_INC(proc_check_setgid);
1335 
1336 	return (0);
1337 }
1338 
1339 COUNTER_DECL(proc_check_setgroups);
1340 static int
1341 test_proc_check_setgroups(struct ucred *cred, int ngroups,
1342 	gid_t *gidset)
1343 {
1344 
1345 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1346 	COUNTER_INC(proc_check_setgroups);
1347 
1348 	return (0);
1349 }
1350 
1351 COUNTER_DECL(proc_check_setresgid);
1352 static int
1353 test_proc_check_setresgid(struct ucred *cred, gid_t rgid, gid_t egid,
1354 	gid_t sgid)
1355 {
1356 
1357 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1358 	COUNTER_INC(proc_check_setresgid);
1359 
1360 	return (0);
1361 }
1362 
1363 COUNTER_DECL(proc_check_setresuid);
1364 static int
1365 test_proc_check_setresuid(struct ucred *cred, uid_t ruid, uid_t euid,
1366 	uid_t suid)
1367 {
1368 
1369 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1370 	COUNTER_INC(proc_check_setresuid);
1371 
1372 	return (0);
1373 }
1374 
1375 COUNTER_DECL(proc_check_setuid);
1376 static int
1377 test_proc_check_setuid(struct ucred *cred, uid_t uid)
1378 {
1379 
1380 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1381 	COUNTER_INC(proc_check_setuid);
1382 
1383 	return (0);
1384 }
1385 
1386 COUNTER_DECL(proc_check_wait);
1387 static int
1388 test_proc_check_wait(struct ucred *cred, struct proc *p)
1389 {
1390 
1391 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1392 	LABEL_CHECK(p->p_ucred->cr_label, MAGIC_CRED);
1393 	COUNTER_INC(proc_check_wait);
1394 
1395 	return (0);
1396 }
1397 
1398 COUNTER_DECL(proc_create_init);
1399 static void
1400 test_proc_create_init(struct ucred *cred)
1401 {
1402 
1403 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1404 	COUNTER_INC(proc_create_init);
1405 }
1406 
1407 COUNTER_DECL(proc_create_swapper);
1408 static void
1409 test_proc_create_swapper(struct ucred *cred)
1410 {
1411 
1412 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1413 	COUNTER_INC(proc_create_swapper);
1414 }
1415 
1416 COUNTER_DECL(proc_destroy_label);
1417 static void
1418 test_proc_destroy_label(struct label *label)
1419 {
1420 
1421 	LABEL_DESTROY(label, MAGIC_PROC);
1422 	COUNTER_INC(proc_destroy_label);
1423 }
1424 
1425 COUNTER_DECL(proc_init_label);
1426 static void
1427 test_proc_init_label(struct label *label)
1428 {
1429 
1430 	LABEL_INIT(label, MAGIC_PROC);
1431 	COUNTER_INC(proc_init_label);
1432 }
1433 
1434 COUNTER_DECL(socket_check_accept);
1435 static int
1436 test_socket_check_accept(struct ucred *cred, struct socket *so,
1437     struct label *solabel)
1438 {
1439 
1440 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1441 	LABEL_CHECK(solabel, MAGIC_SOCKET);
1442 	COUNTER_INC(socket_check_accept);
1443 
1444 	return (0);
1445 }
1446 
1447 COUNTER_DECL(socket_check_bind);
1448 static int
1449 test_socket_check_bind(struct ucred *cred, struct socket *so,
1450     struct label *solabel, struct sockaddr *sa)
1451 {
1452 
1453 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1454 	LABEL_CHECK(solabel, MAGIC_SOCKET);
1455 	COUNTER_INC(socket_check_bind);
1456 
1457 	return (0);
1458 }
1459 
1460 COUNTER_DECL(socket_check_connect);
1461 static int
1462 test_socket_check_connect(struct ucred *cred, struct socket *so,
1463     struct label *solabel, struct sockaddr *sa)
1464 {
1465 
1466 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1467 	LABEL_CHECK(solabel, MAGIC_SOCKET);
1468 	COUNTER_INC(socket_check_connect);
1469 
1470 	return (0);
1471 }
1472 
1473 COUNTER_DECL(socket_check_deliver);
1474 static int
1475 test_socket_check_deliver(struct socket *so, struct label *solabel,
1476     struct mbuf *m, struct label *mlabel)
1477 {
1478 
1479 	LABEL_CHECK(solabel, MAGIC_SOCKET);
1480 	LABEL_CHECK(mlabel, MAGIC_MBUF);
1481 	COUNTER_INC(socket_check_deliver);
1482 
1483 	return (0);
1484 }
1485 
1486 COUNTER_DECL(socket_check_listen);
1487 static int
1488 test_socket_check_listen(struct ucred *cred, struct socket *so,
1489     struct label *solabel)
1490 {
1491 
1492 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1493 	LABEL_CHECK(solabel, MAGIC_SOCKET);
1494 	COUNTER_INC(socket_check_listen);
1495 
1496 	return (0);
1497 }
1498 
1499 COUNTER_DECL(socket_check_poll);
1500 static int
1501 test_socket_check_poll(struct ucred *cred, struct socket *so,
1502     struct label *solabel)
1503 {
1504 
1505 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1506 	LABEL_CHECK(solabel, MAGIC_SOCKET);
1507 	COUNTER_INC(socket_check_poll);
1508 
1509 	return (0);
1510 }
1511 
1512 COUNTER_DECL(socket_check_receive);
1513 static int
1514 test_socket_check_receive(struct ucred *cred, struct socket *so,
1515     struct label *solabel)
1516 {
1517 
1518 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1519 	LABEL_CHECK(solabel, MAGIC_SOCKET);
1520 	COUNTER_INC(socket_check_receive);
1521 
1522 	return (0);
1523 }
1524 
1525 COUNTER_DECL(socket_check_relabel);
1526 static int
1527 test_socket_check_relabel(struct ucred *cred, struct socket *so,
1528     struct label *solabel, struct label *newlabel)
1529 {
1530 
1531 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1532 	LABEL_CHECK(solabel, MAGIC_SOCKET);
1533 	LABEL_CHECK(newlabel, MAGIC_SOCKET);
1534 	COUNTER_INC(socket_check_relabel);
1535 
1536 	return (0);
1537 }
1538 
1539 COUNTER_DECL(socket_check_send);
1540 static int
1541 test_socket_check_send(struct ucred *cred, struct socket *so,
1542     struct label *solabel)
1543 {
1544 
1545 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1546 	LABEL_CHECK(solabel, MAGIC_SOCKET);
1547 	COUNTER_INC(socket_check_send);
1548 
1549 	return (0);
1550 }
1551 
1552 COUNTER_DECL(socket_check_stat);
1553 static int
1554 test_socket_check_stat(struct ucred *cred, struct socket *so,
1555     struct label *solabel)
1556 {
1557 
1558 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1559 	LABEL_CHECK(solabel, MAGIC_SOCKET);
1560 	COUNTER_INC(socket_check_stat);
1561 
1562 	return (0);
1563 }
1564 
1565 COUNTER_DECL(socket_check_visible);
1566 static int
1567 test_socket_check_visible(struct ucred *cred, struct socket *so,
1568     struct label *solabel)
1569 {
1570 
1571 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1572 	LABEL_CHECK(solabel, MAGIC_SOCKET);
1573 	COUNTER_INC(socket_check_visible);
1574 
1575 	return (0);
1576 }
1577 
1578 COUNTER_DECL(socket_copy_label);
1579 static void
1580 test_socket_copy_label(struct label *src, struct label *dest)
1581 {
1582 
1583 	LABEL_CHECK(src, MAGIC_SOCKET);
1584 	LABEL_CHECK(dest, MAGIC_SOCKET);
1585 	COUNTER_INC(socket_copy_label);
1586 }
1587 
1588 COUNTER_DECL(socket_create);
1589 static void
1590 test_socket_create(struct ucred *cred, struct socket *so,
1591     struct label *solabel)
1592 {
1593 
1594 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1595 	LABEL_CHECK(solabel, MAGIC_SOCKET);
1596 	COUNTER_INC(socket_create);
1597 }
1598 
1599 COUNTER_DECL(socket_create_mbuf);
1600 static void
1601 test_socket_create_mbuf(struct socket *so, struct label *socketlabel,
1602     struct mbuf *m, struct label *mlabel)
1603 {
1604 
1605 	LABEL_CHECK(socketlabel, MAGIC_SOCKET);
1606 	LABEL_CHECK(mlabel, MAGIC_MBUF);
1607 	COUNTER_INC(socket_create_mbuf);
1608 }
1609 
1610 COUNTER_DECL(socket_destroy_label);
1611 static void
1612 test_socket_destroy_label(struct label *label)
1613 {
1614 
1615 	LABEL_DESTROY(label, MAGIC_SOCKET);
1616 	COUNTER_INC(socket_destroy_label);
1617 }
1618 
1619 COUNTER_DECL(socket_externalize_label);
1620 static int
1621 test_socket_externalize_label(struct label *label, char *element_name,
1622     struct sbuf *sb, int *claimed)
1623 {
1624 
1625 	LABEL_CHECK(label, MAGIC_SOCKET);
1626 	COUNTER_INC(socket_externalize_label);
1627 
1628 	return (0);
1629 }
1630 
1631 COUNTER_DECL(socket_init_label);
1632 static int
1633 test_socket_init_label(struct label *label, int flag)
1634 {
1635 
1636 	if (flag & M_WAITOK)
1637 		WITNESS_WARN(WARN_GIANTOK | WARN_SLEEPOK, NULL,
1638 		    "test_socket_init_label() at %s:%d", __FILE__,
1639 		    __LINE__);
1640 
1641 	LABEL_INIT(label, MAGIC_SOCKET);
1642 	COUNTER_INC(socket_init_label);
1643 	return (0);
1644 }
1645 
1646 COUNTER_DECL(socket_internalize_label);
1647 static int
1648 test_socket_internalize_label(struct label *label, char *element_name,
1649     char *element_data, int *claimed)
1650 {
1651 
1652 	LABEL_CHECK(label, MAGIC_SOCKET);
1653 	COUNTER_INC(socket_internalize_label);
1654 
1655 	return (0);
1656 }
1657 
1658 COUNTER_DECL(socket_newconn);
1659 static void
1660 test_socket_newconn(struct socket *oldso, struct label *oldsolabel,
1661     struct socket *newso, struct label *newsolabel)
1662 {
1663 
1664 	LABEL_CHECK(oldsolabel, MAGIC_SOCKET);
1665 	LABEL_CHECK(newsolabel, MAGIC_SOCKET);
1666 	COUNTER_INC(socket_newconn);
1667 }
1668 
1669 COUNTER_DECL(socket_relabel);
1670 static void
1671 test_socket_relabel(struct ucred *cred, struct socket *so,
1672     struct label *solabel, struct label *newlabel)
1673 {
1674 
1675 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1676 	LABEL_CHECK(solabel, MAGIC_SOCKET);
1677 	LABEL_CHECK(newlabel, MAGIC_SOCKET);
1678 	COUNTER_INC(socket_relabel);
1679 }
1680 
1681 COUNTER_DECL(socketpeer_destroy_label);
1682 static void
1683 test_socketpeer_destroy_label(struct label *label)
1684 {
1685 
1686 	LABEL_DESTROY(label, MAGIC_SOCKET);
1687 	COUNTER_INC(socketpeer_destroy_label);
1688 }
1689 
1690 COUNTER_DECL(socketpeer_externalize_label);
1691 static int
1692 test_socketpeer_externalize_label(struct label *label, char *element_name,
1693     struct sbuf *sb, int *claimed)
1694 {
1695 
1696 	LABEL_CHECK(label, MAGIC_SOCKET);
1697 	COUNTER_INC(socketpeer_externalize_label);
1698 
1699 	return (0);
1700 }
1701 
1702 COUNTER_DECL(socketpeer_init_label);
1703 static int
1704 test_socketpeer_init_label(struct label *label, int flag)
1705 {
1706 
1707 	if (flag & M_WAITOK)
1708 		WITNESS_WARN(WARN_GIANTOK | WARN_SLEEPOK, NULL,
1709 		    "test_socketpeer_init_label() at %s:%d", __FILE__,
1710 		    __LINE__);
1711 
1712 	LABEL_INIT(label, MAGIC_SOCKET);
1713 	COUNTER_INC(socketpeer_init_label);
1714 	return (0);
1715 }
1716 
1717 COUNTER_DECL(socketpeer_set_from_mbuf);
1718 static void
1719 test_socketpeer_set_from_mbuf(struct mbuf *m, struct label *mlabel,
1720     struct socket *socket, struct label *socketpeerlabel)
1721 {
1722 
1723 	LABEL_CHECK(mlabel, MAGIC_MBUF);
1724 	LABEL_CHECK(socketpeerlabel, MAGIC_SOCKET);
1725 	COUNTER_INC(socketpeer_set_from_mbuf);
1726 }
1727 
1728 COUNTER_DECL(socketpeer_set_from_socket);
1729 static void
1730 test_socketpeer_set_from_socket(struct socket *oldso,
1731     struct label *oldsolabel, struct socket *newso,
1732     struct label *newsopeerlabel)
1733 {
1734 
1735 	LABEL_CHECK(oldsolabel, MAGIC_SOCKET);
1736 	LABEL_CHECK(newsopeerlabel, MAGIC_SOCKET);
1737 	COUNTER_INC(socketpeer_set_from_socket);
1738 }
1739 
1740 COUNTER_DECL(syncache_create);
1741 static void
1742 test_syncache_create(struct label *label, struct inpcb *inp)
1743 {
1744 
1745 	LABEL_CHECK(label, MAGIC_SYNCACHE);
1746 	COUNTER_INC(syncache_create);
1747 }
1748 
1749 COUNTER_DECL(syncache_create_mbuf);
1750 static void
1751 test_syncache_create_mbuf(struct label *sc_label, struct mbuf *m,
1752     struct label *mlabel)
1753 {
1754 
1755 	LABEL_CHECK(sc_label, MAGIC_SYNCACHE);
1756 	LABEL_CHECK(mlabel, MAGIC_MBUF);
1757 	COUNTER_INC(syncache_create_mbuf);
1758 }
1759 
1760 COUNTER_DECL(syncache_destroy_label);
1761 static void
1762 test_syncache_destroy_label(struct label *label)
1763 {
1764 
1765 	LABEL_DESTROY(label, MAGIC_SYNCACHE);
1766 	COUNTER_INC(syncache_destroy_label);
1767 }
1768 
1769 COUNTER_DECL(syncache_init_label);
1770 static int
1771 test_syncache_init_label(struct label *label, int flag)
1772 {
1773 
1774 	if (flag & M_WAITOK)
1775 		WITNESS_WARN(WARN_GIANTOK | WARN_SLEEPOK, NULL,
1776 		    "test_syncache_init_label() at %s:%d", __FILE__,
1777 		    __LINE__);
1778 	LABEL_INIT(label, MAGIC_SYNCACHE);
1779 	COUNTER_INC(syncache_init_label);
1780 	return (0);
1781 }
1782 
1783 COUNTER_DECL(system_check_acct);
1784 static int
1785 test_system_check_acct(struct ucred *cred, struct vnode *vp,
1786     struct label *vplabel)
1787 {
1788 
1789 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1790 	LABEL_CHECK(vplabel, MAGIC_VNODE);
1791 	COUNTER_INC(system_check_acct);
1792 
1793 	return (0);
1794 }
1795 
1796 COUNTER_DECL(system_check_audit);
1797 static int
1798 test_system_check_audit(struct ucred *cred, void *record, int length)
1799 {
1800 
1801 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1802 	COUNTER_INC(system_check_audit);
1803 
1804 	return (0);
1805 }
1806 
1807 COUNTER_DECL(system_check_auditctl);
1808 static int
1809 test_system_check_auditctl(struct ucred *cred, struct vnode *vp,
1810     struct label *vplabel)
1811 {
1812 
1813 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1814 	LABEL_CHECK(vplabel, MAGIC_VNODE);
1815 	COUNTER_INC(system_check_auditctl);
1816 
1817 	return (0);
1818 }
1819 
1820 COUNTER_DECL(system_check_auditon);
1821 static int
1822 test_system_check_auditon(struct ucred *cred, int cmd)
1823 {
1824 
1825 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1826 	COUNTER_INC(system_check_auditon);
1827 
1828 	return (0);
1829 }
1830 
1831 COUNTER_DECL(system_check_reboot);
1832 static int
1833 test_system_check_reboot(struct ucred *cred, int how)
1834 {
1835 
1836 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1837 	COUNTER_INC(system_check_reboot);
1838 
1839 	return (0);
1840 }
1841 
1842 COUNTER_DECL(system_check_swapoff);
1843 static int
1844 test_system_check_swapoff(struct ucred *cred, struct vnode *vp,
1845     struct label *vplabel)
1846 {
1847 
1848 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1849 	LABEL_CHECK(vplabel, MAGIC_VNODE);
1850 	COUNTER_INC(system_check_swapoff);
1851 
1852 	return (0);
1853 }
1854 
1855 COUNTER_DECL(system_check_swapon);
1856 static int
1857 test_system_check_swapon(struct ucred *cred, struct vnode *vp,
1858     struct label *vplabel)
1859 {
1860 
1861 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1862 	LABEL_CHECK(vplabel, MAGIC_VNODE);
1863 	COUNTER_INC(system_check_swapon);
1864 
1865 	return (0);
1866 }
1867 
1868 COUNTER_DECL(system_check_sysctl);
1869 static int
1870 test_system_check_sysctl(struct ucred *cred, struct sysctl_oid *oidp,
1871     void *arg1, int arg2, struct sysctl_req *req)
1872 {
1873 
1874 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1875 	COUNTER_INC(system_check_sysctl);
1876 
1877 	return (0);
1878 }
1879 
1880 COUNTER_DECL(sysvmsg_cleanup);
1881 static void
1882 test_sysvmsg_cleanup(struct label *msglabel)
1883 {
1884 
1885 	LABEL_CHECK(msglabel, MAGIC_SYSV_MSG);
1886 	COUNTER_INC(sysvmsg_cleanup);
1887 }
1888 
1889 COUNTER_DECL(sysvmsg_create);
1890 static void
1891 test_sysvmsg_create(struct ucred *cred, struct msqid_kernel *msqkptr,
1892     struct label *msqlabel, struct msg *msgptr, struct label *msglabel)
1893 {
1894 
1895 	LABEL_CHECK(msglabel, MAGIC_SYSV_MSG);
1896 	LABEL_CHECK(msqlabel, MAGIC_SYSV_MSQ);
1897 	COUNTER_INC(sysvmsg_create);
1898 }
1899 
1900 COUNTER_DECL(sysvmsg_destroy_label);
1901 static void
1902 test_sysvmsg_destroy_label(struct label *label)
1903 {
1904 
1905 	LABEL_DESTROY(label, MAGIC_SYSV_MSG);
1906 	COUNTER_INC(sysvmsg_destroy_label);
1907 }
1908 
1909 COUNTER_DECL(sysvmsg_init_label);
1910 static void
1911 test_sysvmsg_init_label(struct label *label)
1912 {
1913 	LABEL_INIT(label, MAGIC_SYSV_MSG);
1914 	COUNTER_INC(sysvmsg_init_label);
1915 }
1916 
1917 COUNTER_DECL(sysvmsq_check_msgmsq);
1918 static int
1919 test_sysvmsq_check_msgmsq(struct ucred *cred, struct msg *msgptr,
1920     struct label *msglabel, struct msqid_kernel *msqkptr,
1921     struct label *msqklabel)
1922 {
1923 
1924 	LABEL_CHECK(msqklabel, MAGIC_SYSV_MSQ);
1925 	LABEL_CHECK(msglabel, MAGIC_SYSV_MSG);
1926 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1927 	COUNTER_INC(sysvmsq_check_msgmsq);
1928 
1929   	return (0);
1930 }
1931 
1932 COUNTER_DECL(sysvmsq_check_msgrcv);
1933 static int
1934 test_sysvmsq_check_msgrcv(struct ucred *cred, struct msg *msgptr,
1935     struct label *msglabel)
1936 {
1937 
1938 	LABEL_CHECK(msglabel, MAGIC_SYSV_MSG);
1939 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1940 	COUNTER_INC(sysvmsq_check_msgrcv);
1941 
1942 	return (0);
1943 }
1944 
1945 COUNTER_DECL(sysvmsq_check_msgrmid);
1946 static int
1947 test_sysvmsq_check_msgrmid(struct ucred *cred, struct msg *msgptr,
1948     struct label *msglabel)
1949 {
1950 
1951 	LABEL_CHECK(msglabel, MAGIC_SYSV_MSG);
1952 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1953 	COUNTER_INC(sysvmsq_check_msgrmid);
1954 
1955 	return (0);
1956 }
1957 
1958 COUNTER_DECL(sysvmsq_check_msqget);
1959 static int
1960 test_sysvmsq_check_msqget(struct ucred *cred,
1961     struct msqid_kernel *msqkptr, struct label *msqklabel)
1962 {
1963 
1964 	LABEL_CHECK(msqklabel, MAGIC_SYSV_MSQ);
1965 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1966 	COUNTER_INC(sysvmsq_check_msqget);
1967 
1968 	return (0);
1969 }
1970 
1971 COUNTER_DECL(sysvmsq_check_msqsnd);
1972 static int
1973 test_sysvmsq_check_msqsnd(struct ucred *cred,
1974     struct msqid_kernel *msqkptr, struct label *msqklabel)
1975 {
1976 
1977 	LABEL_CHECK(msqklabel, MAGIC_SYSV_MSQ);
1978 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1979 	COUNTER_INC(sysvmsq_check_msqsnd);
1980 
1981 	return (0);
1982 }
1983 
1984 COUNTER_DECL(sysvmsq_check_msqrcv);
1985 static int
1986 test_sysvmsq_check_msqrcv(struct ucred *cred,
1987     struct msqid_kernel *msqkptr, struct label *msqklabel)
1988 {
1989 
1990 	LABEL_CHECK(msqklabel, MAGIC_SYSV_MSQ);
1991 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
1992 	COUNTER_INC(sysvmsq_check_msqrcv);
1993 
1994 	return (0);
1995 }
1996 
1997 COUNTER_DECL(sysvmsq_check_msqctl);
1998 static int
1999 test_sysvmsq_check_msqctl(struct ucred *cred,
2000     struct msqid_kernel *msqkptr, struct label *msqklabel, int cmd)
2001 {
2002 
2003 	LABEL_CHECK(msqklabel, MAGIC_SYSV_MSQ);
2004 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2005 	COUNTER_INC(sysvmsq_check_msqctl);
2006 
2007 	return (0);
2008 }
2009 
2010 COUNTER_DECL(sysvmsq_cleanup);
2011 static void
2012 test_sysvmsq_cleanup(struct label *msqlabel)
2013 {
2014 
2015 	LABEL_CHECK(msqlabel, MAGIC_SYSV_MSQ);
2016 	COUNTER_INC(sysvmsq_cleanup);
2017 }
2018 
2019 COUNTER_DECL(sysvmsq_create);
2020 static void
2021 test_sysvmsq_create(struct ucred *cred,
2022     struct msqid_kernel *msqkptr, struct label *msqlabel)
2023 {
2024 
2025 	LABEL_CHECK(msqlabel, MAGIC_SYSV_MSQ);
2026 	COUNTER_INC(sysvmsq_create);
2027 }
2028 
2029 COUNTER_DECL(sysvmsq_destroy_label);
2030 static void
2031 test_sysvmsq_destroy_label(struct label *label)
2032 {
2033 
2034 	LABEL_DESTROY(label, MAGIC_SYSV_MSQ);
2035 	COUNTER_INC(sysvmsq_destroy_label);
2036 }
2037 
2038 COUNTER_DECL(sysvmsq_init_label);
2039 static void
2040 test_sysvmsq_init_label(struct label *label)
2041 {
2042 	LABEL_INIT(label, MAGIC_SYSV_MSQ);
2043 	COUNTER_INC(sysvmsq_init_label);
2044 }
2045 
2046 COUNTER_DECL(sysvsem_check_semctl);
2047 static int
2048 test_sysvsem_check_semctl(struct ucred *cred,
2049     struct semid_kernel *semakptr, struct label *semaklabel, int cmd)
2050 {
2051 
2052 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2053 	LABEL_CHECK(semaklabel, MAGIC_SYSV_SEM);
2054 	COUNTER_INC(sysvsem_check_semctl);
2055 
2056   	return (0);
2057 }
2058 
2059 COUNTER_DECL(sysvsem_check_semget);
2060 static int
2061 test_sysvsem_check_semget(struct ucred *cred,
2062     struct semid_kernel *semakptr, struct label *semaklabel)
2063 {
2064 
2065 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2066 	LABEL_CHECK(semaklabel, MAGIC_SYSV_SEM);
2067 	COUNTER_INC(sysvsem_check_semget);
2068 
2069 	return (0);
2070 }
2071 
2072 COUNTER_DECL(sysvsem_check_semop);
2073 static int
2074 test_sysvsem_check_semop(struct ucred *cred,
2075     struct semid_kernel *semakptr, struct label *semaklabel, size_t accesstype)
2076 {
2077 
2078 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2079 	LABEL_CHECK(semaklabel, MAGIC_SYSV_SEM);
2080 	COUNTER_INC(sysvsem_check_semop);
2081 
2082 	return (0);
2083 }
2084 
2085 COUNTER_DECL(sysvsem_cleanup);
2086 static void
2087 test_sysvsem_cleanup(struct label *semalabel)
2088 {
2089 
2090 	LABEL_CHECK(semalabel, MAGIC_SYSV_SEM);
2091 	COUNTER_INC(sysvsem_cleanup);
2092 }
2093 
2094 COUNTER_DECL(sysvsem_create);
2095 static void
2096 test_sysvsem_create(struct ucred *cred, struct semid_kernel *semakptr,
2097     struct label *semalabel)
2098 {
2099 
2100 	LABEL_CHECK(semalabel, MAGIC_SYSV_SEM);
2101 	COUNTER_INC(sysvsem_create);
2102 }
2103 
2104 COUNTER_DECL(sysvsem_destroy_label);
2105 static void
2106 test_sysvsem_destroy_label(struct label *label)
2107 {
2108 
2109 	LABEL_DESTROY(label, MAGIC_SYSV_SEM);
2110 	COUNTER_INC(sysvsem_destroy_label);
2111 }
2112 
2113 COUNTER_DECL(sysvsem_init_label);
2114 static void
2115 test_sysvsem_init_label(struct label *label)
2116 {
2117 	LABEL_INIT(label, MAGIC_SYSV_SEM);
2118 	COUNTER_INC(sysvsem_init_label);
2119 }
2120 
2121 COUNTER_DECL(sysvshm_check_shmat);
2122 static int
2123 test_sysvshm_check_shmat(struct ucred *cred,
2124     struct shmid_kernel *shmsegptr, struct label *shmseglabel, int shmflg)
2125 {
2126 
2127 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2128 	LABEL_CHECK(shmseglabel, MAGIC_SYSV_SHM);
2129 	COUNTER_INC(sysvshm_check_shmat);
2130 
2131   	return (0);
2132 }
2133 
2134 COUNTER_DECL(sysvshm_check_shmctl);
2135 static int
2136 test_sysvshm_check_shmctl(struct ucred *cred,
2137     struct shmid_kernel *shmsegptr, struct label *shmseglabel, int cmd)
2138 {
2139 
2140 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2141 	LABEL_CHECK(shmseglabel, MAGIC_SYSV_SHM);
2142 	COUNTER_INC(sysvshm_check_shmctl);
2143 
2144   	return (0);
2145 }
2146 
2147 COUNTER_DECL(sysvshm_check_shmdt);
2148 static int
2149 test_sysvshm_check_shmdt(struct ucred *cred,
2150     struct shmid_kernel *shmsegptr, struct label *shmseglabel)
2151 {
2152 
2153 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2154 	LABEL_CHECK(shmseglabel, MAGIC_SYSV_SHM);
2155 	COUNTER_INC(sysvshm_check_shmdt);
2156 
2157 	return (0);
2158 }
2159 
2160 COUNTER_DECL(sysvshm_check_shmget);
2161 static int
2162 test_sysvshm_check_shmget(struct ucred *cred,
2163     struct shmid_kernel *shmsegptr, struct label *shmseglabel, int shmflg)
2164 {
2165 
2166 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2167 	LABEL_CHECK(shmseglabel, MAGIC_SYSV_SHM);
2168 	COUNTER_INC(sysvshm_check_shmget);
2169 
2170 	return (0);
2171 }
2172 
2173 COUNTER_DECL(sysvshm_cleanup);
2174 static void
2175 test_sysvshm_cleanup(struct label *shmlabel)
2176 {
2177 
2178 	LABEL_CHECK(shmlabel, MAGIC_SYSV_SHM);
2179 	COUNTER_INC(sysvshm_cleanup);
2180 }
2181 
2182 COUNTER_DECL(sysvshm_create);
2183 static void
2184 test_sysvshm_create(struct ucred *cred, struct shmid_kernel *shmsegptr,
2185     struct label *shmlabel)
2186 {
2187 
2188 	LABEL_CHECK(shmlabel, MAGIC_SYSV_SHM);
2189 	COUNTER_INC(sysvshm_create);
2190 }
2191 
2192 COUNTER_DECL(sysvshm_destroy_label);
2193 static void
2194 test_sysvshm_destroy_label(struct label *label)
2195 {
2196 
2197 	LABEL_DESTROY(label, MAGIC_SYSV_SHM);
2198 	COUNTER_INC(sysvshm_destroy_label);
2199 }
2200 
2201 COUNTER_DECL(sysvshm_init_label);
2202 static void
2203 test_sysvshm_init_label(struct label *label)
2204 {
2205 	LABEL_INIT(label, MAGIC_SYSV_SHM);
2206 	COUNTER_INC(sysvshm_init_label);
2207 }
2208 
2209 COUNTER_DECL(thread_userret);
2210 static void
2211 test_thread_userret(struct thread *td)
2212 {
2213 
2214 	COUNTER_INC(thread_userret);
2215 }
2216 
2217 COUNTER_DECL(vnode_associate_extattr);
2218 static int
2219 test_vnode_associate_extattr(struct mount *mp, struct label *mplabel,
2220     struct vnode *vp, struct label *vplabel)
2221 {
2222 
2223 	LABEL_CHECK(mplabel, MAGIC_MOUNT);
2224 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2225 	COUNTER_INC(vnode_associate_extattr);
2226 
2227 	return (0);
2228 }
2229 
2230 COUNTER_DECL(vnode_associate_singlelabel);
2231 static void
2232 test_vnode_associate_singlelabel(struct mount *mp, struct label *mplabel,
2233     struct vnode *vp, struct label *vplabel)
2234 {
2235 
2236 	LABEL_CHECK(mplabel, MAGIC_MOUNT);
2237 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2238 	COUNTER_INC(vnode_associate_singlelabel);
2239 }
2240 
2241 COUNTER_DECL(vnode_check_access);
2242 static int
2243 test_vnode_check_access(struct ucred *cred, struct vnode *vp,
2244     struct label *vplabel, int acc_mode)
2245 {
2246 
2247 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2248 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2249 	COUNTER_INC(vnode_check_access);
2250 
2251 	return (0);
2252 }
2253 
2254 COUNTER_DECL(vnode_check_chdir);
2255 static int
2256 test_vnode_check_chdir(struct ucred *cred, struct vnode *dvp,
2257     struct label *dvplabel)
2258 {
2259 
2260 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2261 	LABEL_CHECK(dvplabel, MAGIC_VNODE);
2262 	COUNTER_INC(vnode_check_chdir);
2263 
2264 	return (0);
2265 }
2266 
2267 COUNTER_DECL(vnode_check_chroot);
2268 static int
2269 test_vnode_check_chroot(struct ucred *cred, struct vnode *dvp,
2270     struct label *dvplabel)
2271 {
2272 
2273 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2274 	LABEL_CHECK(dvplabel, MAGIC_VNODE);
2275 	COUNTER_INC(vnode_check_chroot);
2276 
2277 	return (0);
2278 }
2279 
2280 COUNTER_DECL(vnode_check_create);
2281 static int
2282 test_vnode_check_create(struct ucred *cred, struct vnode *dvp,
2283     struct label *dvplabel, struct componentname *cnp, struct vattr *vap)
2284 {
2285 
2286 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2287 	LABEL_CHECK(dvplabel, MAGIC_VNODE);
2288 	COUNTER_INC(vnode_check_create);
2289 
2290 	return (0);
2291 }
2292 
2293 COUNTER_DECL(vnode_check_deleteacl);
2294 static int
2295 test_vnode_check_deleteacl(struct ucred *cred, struct vnode *vp,
2296     struct label *vplabel, acl_type_t type)
2297 {
2298 
2299 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2300 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2301 	COUNTER_INC(vnode_check_deleteacl);
2302 
2303 	return (0);
2304 }
2305 
2306 COUNTER_DECL(vnode_check_deleteextattr);
2307 static int
2308 test_vnode_check_deleteextattr(struct ucred *cred, struct vnode *vp,
2309     struct label *vplabel, int attrnamespace, const char *name)
2310 {
2311 
2312 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2313 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2314 	COUNTER_INC(vnode_check_deleteextattr);
2315 
2316 	return (0);
2317 }
2318 
2319 COUNTER_DECL(vnode_check_exec);
2320 static int
2321 test_vnode_check_exec(struct ucred *cred, struct vnode *vp,
2322     struct label *vplabel, struct image_params *imgp,
2323     struct label *execlabel)
2324 {
2325 
2326 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2327 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2328 	LABEL_CHECK(execlabel, MAGIC_CRED);
2329 	COUNTER_INC(vnode_check_exec);
2330 
2331 	return (0);
2332 }
2333 
2334 COUNTER_DECL(vnode_check_getacl);
2335 static int
2336 test_vnode_check_getacl(struct ucred *cred, struct vnode *vp,
2337     struct label *vplabel, acl_type_t type)
2338 {
2339 
2340 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2341 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2342 	COUNTER_INC(vnode_check_getacl);
2343 
2344 	return (0);
2345 }
2346 
2347 COUNTER_DECL(vnode_check_getextattr);
2348 static int
2349 test_vnode_check_getextattr(struct ucred *cred, struct vnode *vp,
2350     struct label *vplabel, int attrnamespace, const char *name,
2351     struct uio *uio)
2352 {
2353 
2354 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2355 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2356 	COUNTER_INC(vnode_check_getextattr);
2357 
2358 	return (0);
2359 }
2360 
2361 COUNTER_DECL(vnode_check_link);
2362 static int
2363 test_vnode_check_link(struct ucred *cred, struct vnode *dvp,
2364     struct label *dvplabel, struct vnode *vp, struct label *vplabel,
2365     struct componentname *cnp)
2366 {
2367 
2368 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2369 	LABEL_CHECK(dvplabel, MAGIC_VNODE);
2370 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2371 	COUNTER_INC(vnode_check_link);
2372 
2373 	return (0);
2374 }
2375 
2376 COUNTER_DECL(vnode_check_listextattr);
2377 static int
2378 test_vnode_check_listextattr(struct ucred *cred, struct vnode *vp,
2379     struct label *vplabel, int attrnamespace)
2380 {
2381 
2382 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2383 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2384 	COUNTER_INC(vnode_check_listextattr);
2385 
2386 	return (0);
2387 }
2388 
2389 COUNTER_DECL(vnode_check_lookup);
2390 static int
2391 test_vnode_check_lookup(struct ucred *cred, struct vnode *dvp,
2392     struct label *dvplabel, struct componentname *cnp)
2393 {
2394 
2395 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2396 	LABEL_CHECK(dvplabel, MAGIC_VNODE);
2397 	COUNTER_INC(vnode_check_lookup);
2398 
2399 	return (0);
2400 }
2401 
2402 COUNTER_DECL(vnode_check_mmap);
2403 static int
2404 test_vnode_check_mmap(struct ucred *cred, struct vnode *vp,
2405     struct label *vplabel, int prot, int flags)
2406 {
2407 
2408 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2409 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2410 	COUNTER_INC(vnode_check_mmap);
2411 
2412 	return (0);
2413 }
2414 
2415 COUNTER_DECL(vnode_check_open);
2416 static int
2417 test_vnode_check_open(struct ucred *cred, struct vnode *vp,
2418     struct label *vplabel, int acc_mode)
2419 {
2420 
2421 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2422 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2423 	COUNTER_INC(vnode_check_open);
2424 
2425 	return (0);
2426 }
2427 
2428 COUNTER_DECL(vnode_check_poll);
2429 static int
2430 test_vnode_check_poll(struct ucred *active_cred, struct ucred *file_cred,
2431     struct vnode *vp, struct label *vplabel)
2432 {
2433 
2434 	LABEL_CHECK(active_cred->cr_label, MAGIC_CRED);
2435 	if (file_cred != NULL)
2436 		LABEL_CHECK(file_cred->cr_label, MAGIC_CRED);
2437 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2438 	COUNTER_INC(vnode_check_poll);
2439 
2440 	return (0);
2441 }
2442 
2443 COUNTER_DECL(vnode_check_read);
2444 static int
2445 test_vnode_check_read(struct ucred *active_cred, struct ucred *file_cred,
2446     struct vnode *vp, struct label *vplabel)
2447 {
2448 
2449 	LABEL_CHECK(active_cred->cr_label, MAGIC_CRED);
2450 	if (file_cred != NULL)
2451 		LABEL_CHECK(file_cred->cr_label, MAGIC_CRED);
2452 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2453 	COUNTER_INC(vnode_check_read);
2454 
2455 	return (0);
2456 }
2457 
2458 COUNTER_DECL(vnode_check_readdir);
2459 static int
2460 test_vnode_check_readdir(struct ucred *cred, struct vnode *dvp,
2461     struct label *dvplabel)
2462 {
2463 
2464 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2465 	LABEL_CHECK(dvplabel, MAGIC_VNODE);
2466 	COUNTER_INC(vnode_check_readdir);
2467 
2468 	return (0);
2469 }
2470 
2471 COUNTER_DECL(vnode_check_readlink);
2472 static int
2473 test_vnode_check_readlink(struct ucred *cred, struct vnode *vp,
2474     struct label *vplabel)
2475 {
2476 
2477 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2478 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2479 	COUNTER_INC(vnode_check_readlink);
2480 
2481 	return (0);
2482 }
2483 
2484 COUNTER_DECL(vnode_check_relabel);
2485 static int
2486 test_vnode_check_relabel(struct ucred *cred, struct vnode *vp,
2487     struct label *vplabel, struct label *newlabel)
2488 {
2489 
2490 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2491 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2492 	LABEL_CHECK(newlabel, MAGIC_VNODE);
2493 	COUNTER_INC(vnode_check_relabel);
2494 
2495 	return (0);
2496 }
2497 
2498 COUNTER_DECL(vnode_check_rename_from);
2499 static int
2500 test_vnode_check_rename_from(struct ucred *cred, struct vnode *dvp,
2501     struct label *dvplabel, struct vnode *vp, struct label *vplabel,
2502     struct componentname *cnp)
2503 {
2504 
2505 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2506 	LABEL_CHECK(dvplabel, MAGIC_VNODE);
2507 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2508 	COUNTER_INC(vnode_check_rename_from);
2509 
2510 	return (0);
2511 }
2512 
2513 COUNTER_DECL(vnode_check_rename_to);
2514 static int
2515 test_vnode_check_rename_to(struct ucred *cred, struct vnode *dvp,
2516     struct label *dvplabel, struct vnode *vp, struct label *vplabel,
2517     int samedir, struct componentname *cnp)
2518 {
2519 
2520 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2521 	LABEL_CHECK(dvplabel, MAGIC_VNODE);
2522 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2523 	COUNTER_INC(vnode_check_rename_to);
2524 
2525 	return (0);
2526 }
2527 
2528 COUNTER_DECL(vnode_check_revoke);
2529 static int
2530 test_vnode_check_revoke(struct ucred *cred, struct vnode *vp,
2531     struct label *vplabel)
2532 {
2533 
2534 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2535 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2536 	COUNTER_INC(vnode_check_revoke);
2537 
2538 	return (0);
2539 }
2540 
2541 COUNTER_DECL(vnode_check_setacl);
2542 static int
2543 test_vnode_check_setacl(struct ucred *cred, struct vnode *vp,
2544     struct label *vplabel, acl_type_t type, struct acl *acl)
2545 {
2546 
2547 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2548 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2549 	COUNTER_INC(vnode_check_setacl);
2550 
2551 	return (0);
2552 }
2553 
2554 COUNTER_DECL(vnode_check_setextattr);
2555 static int
2556 test_vnode_check_setextattr(struct ucred *cred, struct vnode *vp,
2557     struct label *vplabel, int attrnamespace, const char *name,
2558     struct uio *uio)
2559 {
2560 
2561 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2562 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2563 	COUNTER_INC(vnode_check_setextattr);
2564 
2565 	return (0);
2566 }
2567 
2568 COUNTER_DECL(vnode_check_setflags);
2569 static int
2570 test_vnode_check_setflags(struct ucred *cred, struct vnode *vp,
2571     struct label *vplabel, u_long flags)
2572 {
2573 
2574 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2575 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2576 	COUNTER_INC(vnode_check_setflags);
2577 
2578 	return (0);
2579 }
2580 
2581 COUNTER_DECL(vnode_check_setmode);
2582 static int
2583 test_vnode_check_setmode(struct ucred *cred, struct vnode *vp,
2584     struct label *vplabel, mode_t mode)
2585 {
2586 
2587 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2588 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2589 	COUNTER_INC(vnode_check_setmode);
2590 
2591 	return (0);
2592 }
2593 
2594 COUNTER_DECL(vnode_check_setowner);
2595 static int
2596 test_vnode_check_setowner(struct ucred *cred, struct vnode *vp,
2597     struct label *vplabel, uid_t uid, gid_t gid)
2598 {
2599 
2600 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2601 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2602 	COUNTER_INC(vnode_check_setowner);
2603 
2604 	return (0);
2605 }
2606 
2607 COUNTER_DECL(vnode_check_setutimes);
2608 static int
2609 test_vnode_check_setutimes(struct ucred *cred, struct vnode *vp,
2610     struct label *vplabel, struct timespec atime, struct timespec mtime)
2611 {
2612 
2613 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2614 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2615 	COUNTER_INC(vnode_check_setutimes);
2616 
2617 	return (0);
2618 }
2619 
2620 COUNTER_DECL(vnode_check_stat);
2621 static int
2622 test_vnode_check_stat(struct ucred *active_cred, struct ucred *file_cred,
2623     struct vnode *vp, struct label *vplabel)
2624 {
2625 
2626 	LABEL_CHECK(active_cred->cr_label, MAGIC_CRED);
2627 	if (file_cred != NULL)
2628 		LABEL_CHECK(file_cred->cr_label, MAGIC_CRED);
2629 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2630 	COUNTER_INC(vnode_check_stat);
2631 
2632 	return (0);
2633 }
2634 
2635 COUNTER_DECL(vnode_check_unlink);
2636 static int
2637 test_vnode_check_unlink(struct ucred *cred, struct vnode *dvp,
2638     struct label *dvplabel, struct vnode *vp, struct label *vplabel,
2639     struct componentname *cnp)
2640 {
2641 
2642 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2643 	LABEL_CHECK(dvplabel, MAGIC_VNODE);
2644 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2645 	COUNTER_INC(vnode_check_unlink);
2646 
2647 	return (0);
2648 }
2649 
2650 COUNTER_DECL(vnode_check_write);
2651 static int
2652 test_vnode_check_write(struct ucred *active_cred,
2653     struct ucred *file_cred, struct vnode *vp, struct label *vplabel)
2654 {
2655 
2656 	LABEL_CHECK(active_cred->cr_label, MAGIC_CRED);
2657 	if (file_cred != NULL)
2658 		LABEL_CHECK(file_cred->cr_label, MAGIC_CRED);
2659 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2660 	COUNTER_INC(vnode_check_write);
2661 
2662 	return (0);
2663 }
2664 
2665 COUNTER_DECL(vnode_copy_label);
2666 static void
2667 test_vnode_copy_label(struct label *src, struct label *dest)
2668 {
2669 
2670 	LABEL_CHECK(src, MAGIC_VNODE);
2671 	LABEL_CHECK(dest, MAGIC_VNODE);
2672 	COUNTER_INC(vnode_copy_label);
2673 }
2674 
2675 COUNTER_DECL(vnode_create_extattr);
2676 static int
2677 test_vnode_create_extattr(struct ucred *cred, struct mount *mp,
2678     struct label *mplabel, struct vnode *dvp, struct label *dvplabel,
2679     struct vnode *vp, struct label *vplabel, struct componentname *cnp)
2680 {
2681 
2682 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2683 	LABEL_CHECK(mplabel, MAGIC_MOUNT);
2684 	LABEL_CHECK(dvplabel, MAGIC_VNODE);
2685 	COUNTER_INC(vnode_create_extattr);
2686 
2687 	return (0);
2688 }
2689 
2690 COUNTER_DECL(vnode_destroy_label);
2691 static void
2692 test_vnode_destroy_label(struct label *label)
2693 {
2694 
2695 	LABEL_DESTROY(label, MAGIC_VNODE);
2696 	COUNTER_INC(vnode_destroy_label);
2697 }
2698 
2699 COUNTER_DECL(vnode_execve_transition);
2700 static void
2701 test_vnode_execve_transition(struct ucred *old, struct ucred *new,
2702     struct vnode *vp, struct label *filelabel,
2703     struct label *interpvplabel, struct image_params *imgp,
2704     struct label *execlabel)
2705 {
2706 
2707 	LABEL_CHECK(old->cr_label, MAGIC_CRED);
2708 	LABEL_CHECK(new->cr_label, MAGIC_CRED);
2709 	LABEL_CHECK(filelabel, MAGIC_VNODE);
2710 	LABEL_CHECK(interpvplabel, MAGIC_VNODE);
2711 	LABEL_CHECK(execlabel, MAGIC_CRED);
2712 	COUNTER_INC(vnode_execve_transition);
2713 }
2714 
2715 COUNTER_DECL(vnode_execve_will_transition);
2716 static int
2717 test_vnode_execve_will_transition(struct ucred *old, struct vnode *vp,
2718     struct label *filelabel, struct label *interpvplabel,
2719     struct image_params *imgp, struct label *execlabel)
2720 {
2721 
2722 	LABEL_CHECK(old->cr_label, MAGIC_CRED);
2723 	LABEL_CHECK(filelabel, MAGIC_VNODE);
2724 	LABEL_CHECK(interpvplabel, MAGIC_VNODE);
2725 	LABEL_CHECK(execlabel, MAGIC_CRED);
2726 	COUNTER_INC(vnode_execve_will_transition);
2727 
2728 	return (0);
2729 }
2730 
2731 COUNTER_DECL(vnode_externalize_label);
2732 static int
2733 test_vnode_externalize_label(struct label *label, char *element_name,
2734     struct sbuf *sb, int *claimed)
2735 {
2736 
2737 	LABEL_CHECK(label, MAGIC_VNODE);
2738 	COUNTER_INC(vnode_externalize_label);
2739 
2740 	return (0);
2741 }
2742 
2743 COUNTER_DECL(vnode_init_label);
2744 static void
2745 test_vnode_init_label(struct label *label)
2746 {
2747 
2748 	LABEL_INIT(label, MAGIC_VNODE);
2749 	COUNTER_INC(vnode_init_label);
2750 }
2751 
2752 COUNTER_DECL(vnode_internalize_label);
2753 static int
2754 test_vnode_internalize_label(struct label *label, char *element_name,
2755     char *element_data, int *claimed)
2756 {
2757 
2758 	LABEL_CHECK(label, MAGIC_VNODE);
2759 	COUNTER_INC(vnode_internalize_label);
2760 
2761 	return (0);
2762 }
2763 
2764 COUNTER_DECL(vnode_relabel);
2765 static void
2766 test_vnode_relabel(struct ucred *cred, struct vnode *vp,
2767     struct label *vplabel, struct label *label)
2768 {
2769 
2770 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2771 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2772 	LABEL_CHECK(label, MAGIC_VNODE);
2773 	COUNTER_INC(vnode_relabel);
2774 }
2775 
2776 COUNTER_DECL(vnode_setlabel_extattr);
2777 static int
2778 test_vnode_setlabel_extattr(struct ucred *cred, struct vnode *vp,
2779     struct label *vplabel, struct label *intlabel)
2780 {
2781 
2782 	LABEL_CHECK(cred->cr_label, MAGIC_CRED);
2783 	LABEL_CHECK(vplabel, MAGIC_VNODE);
2784 	LABEL_CHECK(intlabel, MAGIC_VNODE);
2785 	COUNTER_INC(vnode_setlabel_extattr);
2786 
2787 	return (0);
2788 }
2789 
2790 static struct mac_policy_ops test_ops =
2791 {
2792 	.mpo_bpfdesc_check_receive = test_bpfdesc_check_receive,
2793 	.mpo_bpfdesc_create = test_bpfdesc_create,
2794 	.mpo_bpfdesc_create_mbuf = test_bpfdesc_create_mbuf,
2795 	.mpo_bpfdesc_destroy_label = test_bpfdesc_destroy_label,
2796 	.mpo_bpfdesc_init_label = test_bpfdesc_init_label,
2797 
2798 	.mpo_cred_check_relabel = test_cred_check_relabel,
2799 	.mpo_cred_check_visible = test_cred_check_visible,
2800 	.mpo_cred_copy_label = test_cred_copy_label,
2801 	.mpo_cred_destroy_label = test_cred_destroy_label,
2802 	.mpo_cred_externalize_label = test_cred_externalize_label,
2803 	.mpo_cred_init_label = test_cred_init_label,
2804 	.mpo_cred_internalize_label = test_cred_internalize_label,
2805 	.mpo_cred_relabel = test_cred_relabel,
2806 
2807 	.mpo_devfs_create_device = test_devfs_create_device,
2808 	.mpo_devfs_create_directory = test_devfs_create_directory,
2809 	.mpo_devfs_create_symlink = test_devfs_create_symlink,
2810 	.mpo_devfs_destroy_label = test_devfs_destroy_label,
2811 	.mpo_devfs_init_label = test_devfs_init_label,
2812 	.mpo_devfs_update = test_devfs_update,
2813 	.mpo_devfs_vnode_associate = test_devfs_vnode_associate,
2814 
2815 	.mpo_ifnet_check_relabel = test_ifnet_check_relabel,
2816 	.mpo_ifnet_check_transmit = test_ifnet_check_transmit,
2817 	.mpo_ifnet_copy_label = test_ifnet_copy_label,
2818 	.mpo_ifnet_create = test_ifnet_create,
2819 	.mpo_ifnet_create_mbuf = test_ifnet_create_mbuf,
2820 	.mpo_ifnet_destroy_label = test_ifnet_destroy_label,
2821 	.mpo_ifnet_externalize_label = test_ifnet_externalize_label,
2822 	.mpo_ifnet_init_label = test_ifnet_init_label,
2823 	.mpo_ifnet_internalize_label = test_ifnet_internalize_label,
2824 	.mpo_ifnet_relabel = test_ifnet_relabel,
2825 
2826 	.mpo_syncache_destroy_label = test_syncache_destroy_label,
2827 	.mpo_syncache_init_label = test_syncache_init_label,
2828 
2829 	.mpo_sysvmsg_destroy_label = test_sysvmsg_destroy_label,
2830 	.mpo_sysvmsg_init_label = test_sysvmsg_init_label,
2831 
2832 	.mpo_sysvmsq_destroy_label = test_sysvmsq_destroy_label,
2833 	.mpo_sysvmsq_init_label = test_sysvmsq_init_label,
2834 
2835 	.mpo_sysvsem_destroy_label = test_sysvsem_destroy_label,
2836 	.mpo_sysvsem_init_label = test_sysvsem_init_label,
2837 
2838 	.mpo_sysvshm_destroy_label = test_sysvshm_destroy_label,
2839 	.mpo_sysvshm_init_label = test_sysvshm_init_label,
2840 
2841 	.mpo_inpcb_check_deliver = test_inpcb_check_deliver,
2842 	.mpo_inpcb_create = test_inpcb_create,
2843 	.mpo_inpcb_create_mbuf = test_inpcb_create_mbuf,
2844 	.mpo_inpcb_destroy_label = test_inpcb_destroy_label,
2845 	.mpo_inpcb_init_label = test_inpcb_init_label,
2846 	.mpo_inpcb_sosetlabel = test_inpcb_sosetlabel,
2847 
2848 	.mpo_ipq_create = test_ipq_create,
2849 	.mpo_ipq_destroy_label = test_ipq_destroy_label,
2850 	.mpo_ipq_init_label = test_ipq_init_label,
2851 	.mpo_ipq_match = test_ipq_match,
2852 	.mpo_ipq_reassemble = test_ipq_reassemble,
2853 	.mpo_ipq_update = test_ipq_update,
2854 
2855 	.mpo_kenv_check_dump = test_kenv_check_dump,
2856 	.mpo_kenv_check_get = test_kenv_check_get,
2857 	.mpo_kenv_check_set = test_kenv_check_set,
2858 	.mpo_kenv_check_unset = test_kenv_check_unset,
2859 
2860 	.mpo_kld_check_load = test_kld_check_load,
2861 	.mpo_kld_check_stat = test_kld_check_stat,
2862 
2863 	.mpo_mbuf_copy_label = test_mbuf_copy_label,
2864 	.mpo_mbuf_destroy_label = test_mbuf_destroy_label,
2865 	.mpo_mbuf_init_label = test_mbuf_init_label,
2866 
2867 	.mpo_mount_check_stat = test_mount_check_stat,
2868 	.mpo_mount_create = test_mount_create,
2869 	.mpo_mount_destroy_label = test_mount_destroy_label,
2870 	.mpo_mount_init_label = test_mount_init_label,
2871 
2872 	.mpo_netatalk_aarp_send = test_netatalk_aarp_send,
2873 
2874 	.mpo_netinet_arp_send = test_netinet_arp_send,
2875 	.mpo_netinet_fragment = test_netinet_fragment,
2876 	.mpo_netinet_icmp_reply = test_netinet_icmp_reply,
2877 	.mpo_netinet_icmp_replyinplace = test_netinet_icmp_replyinplace,
2878 	.mpo_netinet_igmp_send = test_netinet_igmp_send,
2879 	.mpo_netinet_tcp_reply = test_netinet_tcp_reply,
2880 
2881 	.mpo_netinet6_nd6_send = test_netinet6_nd6_send,
2882 
2883 	.mpo_pipe_check_ioctl = test_pipe_check_ioctl,
2884 	.mpo_pipe_check_poll = test_pipe_check_poll,
2885 	.mpo_pipe_check_read = test_pipe_check_read,
2886 	.mpo_pipe_check_relabel = test_pipe_check_relabel,
2887 	.mpo_pipe_check_stat = test_pipe_check_stat,
2888 	.mpo_pipe_check_write = test_pipe_check_write,
2889 	.mpo_pipe_copy_label = test_pipe_copy_label,
2890 	.mpo_pipe_create = test_pipe_create,
2891 	.mpo_pipe_destroy_label = test_pipe_destroy_label,
2892 	.mpo_pipe_externalize_label = test_pipe_externalize_label,
2893 	.mpo_pipe_init_label = test_pipe_init_label,
2894 	.mpo_pipe_internalize_label = test_pipe_internalize_label,
2895 	.mpo_pipe_relabel = test_pipe_relabel,
2896 
2897 	.mpo_posixsem_check_getvalue = test_posixsem_check_getvalue,
2898 	.mpo_posixsem_check_open = test_posixsem_check_open,
2899 	.mpo_posixsem_check_post = test_posixsem_check_post,
2900 	.mpo_posixsem_check_stat = test_posixsem_check_stat,
2901 	.mpo_posixsem_check_unlink = test_posixsem_check_unlink,
2902 	.mpo_posixsem_check_wait = test_posixsem_check_wait,
2903 	.mpo_posixsem_create = test_posixsem_create,
2904 	.mpo_posixsem_destroy_label = test_posixsem_destroy_label,
2905 	.mpo_posixsem_init_label = test_posixsem_init_label,
2906 
2907 	.mpo_posixshm_check_mmap = test_posixshm_check_mmap,
2908 	.mpo_posixshm_check_open = test_posixshm_check_open,
2909 	.mpo_posixshm_check_stat = test_posixshm_check_stat,
2910 	.mpo_posixshm_check_truncate = test_posixshm_check_truncate,
2911 	.mpo_posixshm_check_unlink = test_posixshm_check_unlink,
2912 	.mpo_posixshm_create = test_posixshm_create,
2913 	.mpo_posixshm_destroy_label = test_posixshm_destroy_label,
2914 	.mpo_posixshm_init_label = test_posixshm_init_label,
2915 
2916 	.mpo_proc_check_debug = test_proc_check_debug,
2917 	.mpo_proc_check_sched = test_proc_check_sched,
2918 	.mpo_proc_check_setaudit = test_proc_check_setaudit,
2919 	.mpo_proc_check_setaudit_addr = test_proc_check_setaudit_addr,
2920 	.mpo_proc_check_setauid = test_proc_check_setauid,
2921 	.mpo_proc_check_seteuid = test_proc_check_seteuid,
2922 	.mpo_proc_check_setegid = test_proc_check_setegid,
2923 	.mpo_proc_check_setgid = test_proc_check_setgid,
2924 	.mpo_proc_check_setgroups = test_proc_check_setgroups,
2925 	.mpo_proc_check_setregid = test_proc_check_setregid,
2926 	.mpo_proc_check_setresgid = test_proc_check_setresgid,
2927 	.mpo_proc_check_setresuid = test_proc_check_setresuid,
2928 	.mpo_proc_check_setreuid = test_proc_check_setreuid,
2929 	.mpo_proc_check_setuid = test_proc_check_setuid,
2930 	.mpo_proc_check_signal = test_proc_check_signal,
2931 	.mpo_proc_check_wait = test_proc_check_wait,
2932 	.mpo_proc_create_init = test_proc_create_init,
2933 	.mpo_proc_create_swapper = test_proc_create_swapper,
2934 	.mpo_proc_destroy_label = test_proc_destroy_label,
2935 	.mpo_proc_init_label = test_proc_init_label,
2936 
2937 	.mpo_socket_check_accept = test_socket_check_accept,
2938 	.mpo_socket_check_bind = test_socket_check_bind,
2939 	.mpo_socket_check_connect = test_socket_check_connect,
2940 	.mpo_socket_check_deliver = test_socket_check_deliver,
2941 	.mpo_socket_check_listen = test_socket_check_listen,
2942 	.mpo_socket_check_poll = test_socket_check_poll,
2943 	.mpo_socket_check_receive = test_socket_check_receive,
2944 	.mpo_socket_check_relabel = test_socket_check_relabel,
2945 	.mpo_socket_check_send = test_socket_check_send,
2946 	.mpo_socket_check_stat = test_socket_check_stat,
2947 	.mpo_socket_check_visible = test_socket_check_visible,
2948 	.mpo_socket_copy_label = test_socket_copy_label,
2949 	.mpo_socket_create = test_socket_create,
2950 	.mpo_socket_create_mbuf = test_socket_create_mbuf,
2951 	.mpo_socket_destroy_label = test_socket_destroy_label,
2952 	.mpo_socket_externalize_label = test_socket_externalize_label,
2953 	.mpo_socket_init_label = test_socket_init_label,
2954 	.mpo_socket_internalize_label = test_socket_internalize_label,
2955 	.mpo_socket_newconn = test_socket_newconn,
2956 	.mpo_socket_relabel = test_socket_relabel,
2957 
2958 	.mpo_socketpeer_destroy_label = test_socketpeer_destroy_label,
2959 	.mpo_socketpeer_externalize_label = test_socketpeer_externalize_label,
2960 	.mpo_socketpeer_init_label = test_socketpeer_init_label,
2961 	.mpo_socketpeer_set_from_mbuf = test_socketpeer_set_from_mbuf,
2962 	.mpo_socketpeer_set_from_socket = test_socketpeer_set_from_socket,
2963 
2964 	.mpo_syncache_create = test_syncache_create,
2965 	.mpo_syncache_create_mbuf = test_syncache_create_mbuf,
2966 
2967 	.mpo_system_check_acct = test_system_check_acct,
2968 	.mpo_system_check_audit = test_system_check_audit,
2969 	.mpo_system_check_auditctl = test_system_check_auditctl,
2970 	.mpo_system_check_auditon = test_system_check_auditon,
2971 	.mpo_system_check_reboot = test_system_check_reboot,
2972 	.mpo_system_check_swapoff = test_system_check_swapoff,
2973 	.mpo_system_check_swapon = test_system_check_swapon,
2974 	.mpo_system_check_sysctl = test_system_check_sysctl,
2975 
2976 	.mpo_vnode_check_access = test_vnode_check_access,
2977 	.mpo_sysvmsg_cleanup = test_sysvmsg_cleanup,
2978 	.mpo_sysvmsg_create = test_sysvmsg_create,
2979 
2980 	.mpo_sysvmsq_check_msgmsq = test_sysvmsq_check_msgmsq,
2981 	.mpo_sysvmsq_check_msgrcv = test_sysvmsq_check_msgrcv,
2982 	.mpo_sysvmsq_check_msgrmid = test_sysvmsq_check_msgrmid,
2983 	.mpo_sysvmsq_check_msqget = test_sysvmsq_check_msqget,
2984 	.mpo_sysvmsq_check_msqsnd = test_sysvmsq_check_msqsnd,
2985 	.mpo_sysvmsq_check_msqrcv = test_sysvmsq_check_msqrcv,
2986 	.mpo_sysvmsq_check_msqctl = test_sysvmsq_check_msqctl,
2987 	.mpo_sysvmsq_cleanup = test_sysvmsq_cleanup,
2988 	.mpo_sysvmsq_create = test_sysvmsq_create,
2989 
2990 	.mpo_sysvsem_check_semctl = test_sysvsem_check_semctl,
2991 	.mpo_sysvsem_check_semget = test_sysvsem_check_semget,
2992 	.mpo_sysvsem_check_semop = test_sysvsem_check_semop,
2993 	.mpo_sysvsem_cleanup = test_sysvsem_cleanup,
2994 	.mpo_sysvsem_create = test_sysvsem_create,
2995 
2996 	.mpo_sysvshm_check_shmat = test_sysvshm_check_shmat,
2997 	.mpo_sysvshm_check_shmctl = test_sysvshm_check_shmctl,
2998 	.mpo_sysvshm_check_shmdt = test_sysvshm_check_shmdt,
2999 	.mpo_sysvshm_check_shmget = test_sysvshm_check_shmget,
3000 	.mpo_sysvshm_cleanup = test_sysvshm_cleanup,
3001 	.mpo_sysvshm_create = test_sysvshm_create,
3002 
3003 	.mpo_thread_userret = test_thread_userret,
3004 
3005 	.mpo_vnode_associate_extattr = test_vnode_associate_extattr,
3006 	.mpo_vnode_associate_singlelabel = test_vnode_associate_singlelabel,
3007 	.mpo_vnode_check_chdir = test_vnode_check_chdir,
3008 	.mpo_vnode_check_chroot = test_vnode_check_chroot,
3009 	.mpo_vnode_check_create = test_vnode_check_create,
3010 	.mpo_vnode_check_deleteacl = test_vnode_check_deleteacl,
3011 	.mpo_vnode_check_deleteextattr = test_vnode_check_deleteextattr,
3012 	.mpo_vnode_check_exec = test_vnode_check_exec,
3013 	.mpo_vnode_check_getacl = test_vnode_check_getacl,
3014 	.mpo_vnode_check_getextattr = test_vnode_check_getextattr,
3015 	.mpo_vnode_check_link = test_vnode_check_link,
3016 	.mpo_vnode_check_listextattr = test_vnode_check_listextattr,
3017 	.mpo_vnode_check_lookup = test_vnode_check_lookup,
3018 	.mpo_vnode_check_mmap = test_vnode_check_mmap,
3019 	.mpo_vnode_check_open = test_vnode_check_open,
3020 	.mpo_vnode_check_poll = test_vnode_check_poll,
3021 	.mpo_vnode_check_read = test_vnode_check_read,
3022 	.mpo_vnode_check_readdir = test_vnode_check_readdir,
3023 	.mpo_vnode_check_readlink = test_vnode_check_readlink,
3024 	.mpo_vnode_check_relabel = test_vnode_check_relabel,
3025 	.mpo_vnode_check_rename_from = test_vnode_check_rename_from,
3026 	.mpo_vnode_check_rename_to = test_vnode_check_rename_to,
3027 	.mpo_vnode_check_revoke = test_vnode_check_revoke,
3028 	.mpo_vnode_check_setacl = test_vnode_check_setacl,
3029 	.mpo_vnode_check_setextattr = test_vnode_check_setextattr,
3030 	.mpo_vnode_check_setflags = test_vnode_check_setflags,
3031 	.mpo_vnode_check_setmode = test_vnode_check_setmode,
3032 	.mpo_vnode_check_setowner = test_vnode_check_setowner,
3033 	.mpo_vnode_check_setutimes = test_vnode_check_setutimes,
3034 	.mpo_vnode_check_stat = test_vnode_check_stat,
3035 	.mpo_vnode_check_unlink = test_vnode_check_unlink,
3036 	.mpo_vnode_check_write = test_vnode_check_write,
3037 	.mpo_vnode_copy_label = test_vnode_copy_label,
3038 	.mpo_vnode_create_extattr = test_vnode_create_extattr,
3039 	.mpo_vnode_destroy_label = test_vnode_destroy_label,
3040 	.mpo_vnode_execve_transition = test_vnode_execve_transition,
3041 	.mpo_vnode_execve_will_transition = test_vnode_execve_will_transition,
3042 	.mpo_vnode_externalize_label = test_vnode_externalize_label,
3043 	.mpo_vnode_init_label = test_vnode_init_label,
3044 	.mpo_vnode_internalize_label = test_vnode_internalize_label,
3045 	.mpo_vnode_relabel = test_vnode_relabel,
3046 	.mpo_vnode_setlabel_extattr = test_vnode_setlabel_extattr,
3047 };
3048 
3049 MAC_POLICY_SET(&test_ops, mac_test, "TrustedBSD MAC/Test",
3050     MPC_LOADTIME_FLAG_UNLOADOK | MPC_LOADTIME_FLAG_LABELMBUFS, &test_slot);
3051