xref: /freebsd/sys/kern/subr_acl_posix1e.c (revision cfd6422a5217410fbd66f7a7a8a64d9d85e61229)
1 /*-
2  * SPDX-License-Identifier: BSD-2-Clause-FreeBSD
3  *
4  * Copyright (c) 1999-2006 Robert N. M. Watson
5  * All rights reserved.
6  *
7  * This software was developed by Robert Watson for the TrustedBSD Project.
8  *
9  * Redistribution and use in source and binary forms, with or without
10  * modification, are permitted provided that the following conditions
11  * are met:
12  * 1. Redistributions of source code must retain the above copyright
13  *    notice, this list of conditions and the following disclaimer.
14  * 2. Redistributions in binary form must reproduce the above copyright
15  *    notice, this list of conditions and the following disclaimer in the
16  *    documentation and/or other materials provided with the distribution.
17  *
18  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
19  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
20  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
21  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
22  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
23  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
24  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
25  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
26  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
27  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
28  * SUCH DAMAGE.
29  */
30 /*
31  * Developed by the TrustedBSD Project.
32  *
33  * ACL support routines specific to POSIX.1e access control lists.  These are
34  * utility routines for code common across file systems implementing POSIX.1e
35  * ACLs.
36  */
37 
38 #include <sys/cdefs.h>
39 __FBSDID("$FreeBSD$");
40 
41 #include <sys/param.h>
42 #include <sys/kernel.h>
43 #include <sys/module.h>
44 #include <sys/systm.h>
45 #include <sys/mount.h>
46 #include <sys/priv.h>
47 #include <sys/vnode.h>
48 #include <sys/errno.h>
49 #include <sys/stat.h>
50 #include <sys/acl.h>
51 
52 /*
53  * Implement a version of vaccess() that understands POSIX.1e ACL semantics;
54  * the access ACL has already been prepared for evaluation by the file system
55  * and is passed via 'uid', 'gid', and 'acl'.  Return 0 on success, else an
56  * errno value.
57  */
58 int
59 vaccess_acl_posix1e(enum vtype type, uid_t file_uid, gid_t file_gid,
60     struct acl *acl, accmode_t accmode, struct ucred *cred)
61 {
62 	struct acl_entry *acl_other, *acl_mask;
63 	accmode_t dac_granted;
64 	accmode_t priv_granted;
65 	accmode_t acl_mask_granted;
66 	int group_matched, i;
67 
68 	KASSERT((accmode & ~(VEXEC | VWRITE | VREAD | VADMIN | VAPPEND)) == 0,
69 	    ("invalid bit in accmode"));
70 	KASSERT((accmode & VAPPEND) == 0 || (accmode & VWRITE),
71 	    	("VAPPEND without VWRITE"));
72 
73 	/*
74 	 * Look for a normal, non-privileged way to access the file/directory
75 	 * as requested.  If it exists, go with that.  Otherwise, attempt to
76 	 * use privileges granted via priv_granted.  In some cases, which
77 	 * privileges to use may be ambiguous due to "best match", in which
78 	 * case fall back on first match for the time being.
79 	 */
80 
81 	/*
82 	 * Determine privileges now, but don't apply until we've found a DAC
83 	 * entry that matches but has failed to allow access.
84 	 *
85 	 * XXXRW: Ideally, we'd determine the privileges required before
86 	 * asking for them.
87 	 */
88 	priv_granted = 0;
89 
90 	if (type == VDIR) {
91 		if ((accmode & VEXEC) && !priv_check_cred(cred, PRIV_VFS_LOOKUP))
92 			priv_granted |= VEXEC;
93 	} else {
94 		/*
95 		 * Ensure that at least one execute bit is on. Otherwise,
96 		 * a privileged user will always succeed, and we don't want
97 		 * this to happen unless the file really is executable.
98 		 */
99 		if ((accmode & VEXEC) && (acl_posix1e_acl_to_mode(acl) &
100 		    (S_IXUSR | S_IXGRP | S_IXOTH)) != 0 &&
101 		    !priv_check_cred(cred, PRIV_VFS_EXEC))
102 			priv_granted |= VEXEC;
103 	}
104 
105 	if ((accmode & VREAD) && !priv_check_cred(cred, PRIV_VFS_READ))
106 		priv_granted |= VREAD;
107 
108 	if (((accmode & VWRITE) || (accmode & VAPPEND)) &&
109 	    !priv_check_cred(cred, PRIV_VFS_WRITE))
110 		priv_granted |= (VWRITE | VAPPEND);
111 
112 	if ((accmode & VADMIN) && !priv_check_cred(cred, PRIV_VFS_ADMIN))
113 		priv_granted |= VADMIN;
114 
115 	/*
116 	 * The owner matches if the effective uid associated with the
117 	 * credential matches that of the ACL_USER_OBJ entry.  While we're
118 	 * doing the first scan, also cache the location of the ACL_MASK and
119 	 * ACL_OTHER entries, preventing some future iterations.
120 	 */
121 	acl_mask = acl_other = NULL;
122 	for (i = 0; i < acl->acl_cnt; i++) {
123 		switch (acl->acl_entry[i].ae_tag) {
124 		case ACL_USER_OBJ:
125 			if (file_uid != cred->cr_uid)
126 				break;
127 			dac_granted = 0;
128 			dac_granted |= VADMIN;
129 			if (acl->acl_entry[i].ae_perm & ACL_EXECUTE)
130 				dac_granted |= VEXEC;
131 			if (acl->acl_entry[i].ae_perm & ACL_READ)
132 				dac_granted |= VREAD;
133 			if (acl->acl_entry[i].ae_perm & ACL_WRITE)
134 				dac_granted |= (VWRITE | VAPPEND);
135 			if ((accmode & dac_granted) == accmode)
136 				return (0);
137 
138 			/*
139 			 * XXXRW: Do privilege lookup here.
140 			 */
141 			if ((accmode & (dac_granted | priv_granted)) ==
142 			    accmode) {
143 				return (0);
144 			}
145 			goto error;
146 
147 		case ACL_MASK:
148 			acl_mask = &acl->acl_entry[i];
149 			break;
150 
151 		case ACL_OTHER:
152 			acl_other = &acl->acl_entry[i];
153 			break;
154 
155 		default:
156 			break;
157 		}
158 	}
159 
160 	/*
161 	 * An ACL_OTHER entry should always exist in a valid access ACL.  If
162 	 * it doesn't, then generate a serious failure.  For now, this means
163 	 * a debugging message and EPERM, but in the future should probably
164 	 * be a panic.
165 	 */
166 	if (acl_other == NULL) {
167 		/*
168 		 * XXX This should never happen
169 		 */
170 		printf("vaccess_acl_posix1e: ACL_OTHER missing\n");
171 		return (EPERM);
172 	}
173 
174 	/*
175 	 * Checks against ACL_USER, ACL_GROUP_OBJ, and ACL_GROUP fields are
176 	 * masked by an ACL_MASK entry, if any.  As such, first identify the
177 	 * ACL_MASK field, then iterate through identifying potential user
178 	 * matches, then group matches.  If there is no ACL_MASK, assume that
179 	 * the mask allows all requests to succeed.
180 	 */
181 	if (acl_mask != NULL) {
182 		acl_mask_granted = 0;
183 		if (acl_mask->ae_perm & ACL_EXECUTE)
184 			acl_mask_granted |= VEXEC;
185 		if (acl_mask->ae_perm & ACL_READ)
186 			acl_mask_granted |= VREAD;
187 		if (acl_mask->ae_perm & ACL_WRITE)
188 			acl_mask_granted |= (VWRITE | VAPPEND);
189 	} else
190 		acl_mask_granted = VEXEC | VREAD | VWRITE | VAPPEND;
191 
192 	/*
193 	 * Check ACL_USER ACL entries.  There will either be one or no
194 	 * matches; if there is one, we accept or rejected based on the
195 	 * match; otherwise, we continue on to groups.
196 	 */
197 	for (i = 0; i < acl->acl_cnt; i++) {
198 		switch (acl->acl_entry[i].ae_tag) {
199 		case ACL_USER:
200 			if (acl->acl_entry[i].ae_id != cred->cr_uid)
201 				break;
202 			dac_granted = 0;
203 			if (acl->acl_entry[i].ae_perm & ACL_EXECUTE)
204 				dac_granted |= VEXEC;
205 			if (acl->acl_entry[i].ae_perm & ACL_READ)
206 				dac_granted |= VREAD;
207 			if (acl->acl_entry[i].ae_perm & ACL_WRITE)
208 				dac_granted |= (VWRITE | VAPPEND);
209 			dac_granted &= acl_mask_granted;
210 			if ((accmode & dac_granted) == accmode)
211 				return (0);
212 			/*
213 			 * XXXRW: Do privilege lookup here.
214 			 */
215 			if ((accmode & (dac_granted | priv_granted)) !=
216 			    accmode)
217 				goto error;
218 
219 			return (0);
220 		}
221 	}
222 
223 	/*
224 	 * Group match is best-match, not first-match, so find a "best"
225 	 * match.  Iterate across, testing each potential group match.  Make
226 	 * sure we keep track of whether we found a match or not, so that we
227 	 * know if we should try again with any available privilege, or if we
228 	 * should move on to ACL_OTHER.
229 	 */
230 	group_matched = 0;
231 	for (i = 0; i < acl->acl_cnt; i++) {
232 		switch (acl->acl_entry[i].ae_tag) {
233 		case ACL_GROUP_OBJ:
234 			if (!groupmember(file_gid, cred))
235 				break;
236 			dac_granted = 0;
237 			if (acl->acl_entry[i].ae_perm & ACL_EXECUTE)
238 				dac_granted |= VEXEC;
239 			if (acl->acl_entry[i].ae_perm & ACL_READ)
240 				dac_granted |= VREAD;
241 			if (acl->acl_entry[i].ae_perm & ACL_WRITE)
242 				dac_granted |= (VWRITE | VAPPEND);
243 			dac_granted  &= acl_mask_granted;
244 
245 			if ((accmode & dac_granted) == accmode)
246 				return (0);
247 
248 			group_matched = 1;
249 			break;
250 
251 		case ACL_GROUP:
252 			if (!groupmember(acl->acl_entry[i].ae_id, cred))
253 				break;
254 			dac_granted = 0;
255 			if (acl->acl_entry[i].ae_perm & ACL_EXECUTE)
256 				dac_granted |= VEXEC;
257 			if (acl->acl_entry[i].ae_perm & ACL_READ)
258 				dac_granted |= VREAD;
259 			if (acl->acl_entry[i].ae_perm & ACL_WRITE)
260 				dac_granted |= (VWRITE | VAPPEND);
261 			dac_granted  &= acl_mask_granted;
262 
263 			if ((accmode & dac_granted) == accmode)
264 				return (0);
265 
266 			group_matched = 1;
267 			break;
268 
269 		default:
270 			break;
271 		}
272 	}
273 
274 	if (group_matched == 1) {
275 		/*
276 		 * There was a match, but it did not grant rights via pure
277 		 * DAC.  Try again, this time with privilege.
278 		 */
279 		for (i = 0; i < acl->acl_cnt; i++) {
280 			switch (acl->acl_entry[i].ae_tag) {
281 			case ACL_GROUP_OBJ:
282 				if (!groupmember(file_gid, cred))
283 					break;
284 				dac_granted = 0;
285 				if (acl->acl_entry[i].ae_perm & ACL_EXECUTE)
286 					dac_granted |= VEXEC;
287 				if (acl->acl_entry[i].ae_perm & ACL_READ)
288 					dac_granted |= VREAD;
289 				if (acl->acl_entry[i].ae_perm & ACL_WRITE)
290 					dac_granted |= (VWRITE | VAPPEND);
291 				dac_granted &= acl_mask_granted;
292 
293 				/*
294 				 * XXXRW: Do privilege lookup here.
295 				 */
296 				if ((accmode & (dac_granted | priv_granted))
297 				    != accmode)
298 					break;
299 
300 				return (0);
301 
302 			case ACL_GROUP:
303 				if (!groupmember(acl->acl_entry[i].ae_id,
304 				    cred))
305 					break;
306 				dac_granted = 0;
307 				if (acl->acl_entry[i].ae_perm & ACL_EXECUTE)
308 				dac_granted |= VEXEC;
309 				if (acl->acl_entry[i].ae_perm & ACL_READ)
310 					dac_granted |= VREAD;
311 				if (acl->acl_entry[i].ae_perm & ACL_WRITE)
312 					dac_granted |= (VWRITE | VAPPEND);
313 				dac_granted &= acl_mask_granted;
314 
315 				/*
316 				 * XXXRW: Do privilege lookup here.
317 				 */
318 				if ((accmode & (dac_granted | priv_granted))
319 				    != accmode)
320 					break;
321 
322 				return (0);
323 
324 			default:
325 				break;
326 			}
327 		}
328 		/*
329 		 * Even with privilege, group membership was not sufficient.
330 		 * Return failure.
331 		 */
332 		goto error;
333 	}
334 
335 	/*
336 	 * Fall back on ACL_OTHER.  ACL_MASK is not applied to ACL_OTHER.
337 	 */
338 	dac_granted = 0;
339 	if (acl_other->ae_perm & ACL_EXECUTE)
340 		dac_granted |= VEXEC;
341 	if (acl_other->ae_perm & ACL_READ)
342 		dac_granted |= VREAD;
343 	if (acl_other->ae_perm & ACL_WRITE)
344 		dac_granted |= (VWRITE | VAPPEND);
345 
346 	if ((accmode & dac_granted) == accmode)
347 		return (0);
348 	/*
349 	 * XXXRW: Do privilege lookup here.
350 	 */
351 	if ((accmode & (dac_granted | priv_granted)) == accmode) {
352 		return (0);
353 	}
354 
355 error:
356 	return ((accmode & VADMIN) ? EPERM : EACCES);
357 }
358 
359 /*
360  * For the purposes of filesystems maintaining the _OBJ entries in an inode
361  * with a mode_t field, this routine converts a mode_t entry to an
362  * acl_perm_t.
363  */
364 acl_perm_t
365 acl_posix1e_mode_to_perm(acl_tag_t tag, mode_t mode)
366 {
367 	acl_perm_t	perm = 0;
368 
369 	switch(tag) {
370 	case ACL_USER_OBJ:
371 		if (mode & S_IXUSR)
372 			perm |= ACL_EXECUTE;
373 		if (mode & S_IRUSR)
374 			perm |= ACL_READ;
375 		if (mode & S_IWUSR)
376 			perm |= ACL_WRITE;
377 		return (perm);
378 
379 	case ACL_GROUP_OBJ:
380 		if (mode & S_IXGRP)
381 			perm |= ACL_EXECUTE;
382 		if (mode & S_IRGRP)
383 			perm |= ACL_READ;
384 		if (mode & S_IWGRP)
385 			perm |= ACL_WRITE;
386 		return (perm);
387 
388 	case ACL_OTHER:
389 		if (mode & S_IXOTH)
390 			perm |= ACL_EXECUTE;
391 		if (mode & S_IROTH)
392 			perm |= ACL_READ;
393 		if (mode & S_IWOTH)
394 			perm |= ACL_WRITE;
395 		return (perm);
396 
397 	default:
398 		printf("acl_posix1e_mode_to_perm: invalid tag (%d)\n", tag);
399 		return (0);
400 	}
401 }
402 
403 /*
404  * Given inode information (uid, gid, mode), return an acl entry of the
405  * appropriate type.
406  */
407 struct acl_entry
408 acl_posix1e_mode_to_entry(acl_tag_t tag, uid_t uid, gid_t gid, mode_t mode)
409 {
410 	struct acl_entry	acl_entry;
411 
412 	acl_entry.ae_tag = tag;
413 	acl_entry.ae_perm = acl_posix1e_mode_to_perm(tag, mode);
414 	acl_entry.ae_entry_type = 0;
415 	acl_entry.ae_flags = 0;
416 	switch(tag) {
417 	case ACL_USER_OBJ:
418 		acl_entry.ae_id = uid;
419 		break;
420 
421 	case ACL_GROUP_OBJ:
422 		acl_entry.ae_id = gid;
423 		break;
424 
425 	case ACL_OTHER:
426 		acl_entry.ae_id = ACL_UNDEFINED_ID;
427 		break;
428 
429 	default:
430 		acl_entry.ae_id = ACL_UNDEFINED_ID;
431 		printf("acl_posix1e_mode_to_entry: invalid tag (%d)\n", tag);
432 	}
433 
434 	return (acl_entry);
435 }
436 
437 /*
438  * Utility function to generate a file mode given appropriate ACL entries.
439  */
440 mode_t
441 acl_posix1e_perms_to_mode(struct acl_entry *acl_user_obj_entry,
442     struct acl_entry *acl_group_obj_entry, struct acl_entry *acl_other_entry)
443 {
444 	mode_t	mode;
445 
446 	mode = 0;
447 	if (acl_user_obj_entry->ae_perm & ACL_EXECUTE)
448 		mode |= S_IXUSR;
449 	if (acl_user_obj_entry->ae_perm & ACL_READ)
450 		mode |= S_IRUSR;
451 	if (acl_user_obj_entry->ae_perm & ACL_WRITE)
452 		mode |= S_IWUSR;
453 	if (acl_group_obj_entry->ae_perm & ACL_EXECUTE)
454 		mode |= S_IXGRP;
455 	if (acl_group_obj_entry->ae_perm & ACL_READ)
456 		mode |= S_IRGRP;
457 	if (acl_group_obj_entry->ae_perm & ACL_WRITE)
458 		mode |= S_IWGRP;
459 	if (acl_other_entry->ae_perm & ACL_EXECUTE)
460 		mode |= S_IXOTH;
461 	if (acl_other_entry->ae_perm & ACL_READ)
462 		mode |= S_IROTH;
463 	if (acl_other_entry->ae_perm & ACL_WRITE)
464 		mode |= S_IWOTH;
465 
466 	return (mode);
467 }
468 
469 /*
470  * Utility function to generate a file mode given a complete POSIX.1e access
471  * ACL.  Note that if the ACL is improperly formed, this may result in a
472  * panic.
473  */
474 mode_t
475 acl_posix1e_acl_to_mode(struct acl *acl)
476 {
477 	struct acl_entry *acl_mask, *acl_user_obj, *acl_group_obj, *acl_other;
478 	int i;
479 
480 	/*
481 	 * Find the ACL entries relevant to a POSIX permission mode.
482 	 */
483 	acl_user_obj = acl_group_obj = acl_other = acl_mask = NULL;
484 	for (i = 0; i < acl->acl_cnt; i++) {
485 		switch (acl->acl_entry[i].ae_tag) {
486 		case ACL_USER_OBJ:
487 			acl_user_obj = &acl->acl_entry[i];
488 			break;
489 
490 		case ACL_GROUP_OBJ:
491 			acl_group_obj = &acl->acl_entry[i];
492 			break;
493 
494 		case ACL_OTHER:
495 			acl_other = &acl->acl_entry[i];
496 			break;
497 
498 		case ACL_MASK:
499 			acl_mask = &acl->acl_entry[i];
500 			break;
501 
502 		case ACL_USER:
503 		case ACL_GROUP:
504 			break;
505 
506 		default:
507 			panic("acl_posix1e_acl_to_mode: bad ae_tag");
508 		}
509 	}
510 
511 	if (acl_user_obj == NULL || acl_group_obj == NULL || acl_other == NULL)
512 		panic("acl_posix1e_acl_to_mode: missing base ae_tags");
513 
514 	/*
515 	 * POSIX.1e specifies that if there is an ACL_MASK entry, we replace
516 	 * the mode "group" bits with its permissions.  If there isn't, we
517 	 * use the ACL_GROUP_OBJ permissions.
518 	 */
519 	if (acl_mask != NULL)
520 		return (acl_posix1e_perms_to_mode(acl_user_obj, acl_mask,
521 		    acl_other));
522 	else
523 		return (acl_posix1e_perms_to_mode(acl_user_obj, acl_group_obj,
524 		    acl_other));
525 }
526 
527 /*
528  * Perform a syntactic check of the ACL, sufficient to allow an implementing
529  * filesystem to determine if it should accept this and rely on the POSIX.1e
530  * ACL properties.
531  */
532 int
533 acl_posix1e_check(struct acl *acl)
534 {
535 	int num_acl_user_obj, num_acl_user, num_acl_group_obj, num_acl_group;
536 	int num_acl_mask, num_acl_other, i;
537 
538 	/*
539 	 * Verify that the number of entries does not exceed the maximum
540 	 * defined for acl_t.
541 	 *
542 	 * Verify that the correct number of various sorts of ae_tags are
543 	 * present:
544 	 *   Exactly one ACL_USER_OBJ
545 	 *   Exactly one ACL_GROUP_OBJ
546 	 *   Exactly one ACL_OTHER
547 	 *   If any ACL_USER or ACL_GROUP entries appear, then exactly one
548 	 *   ACL_MASK entry must also appear.
549 	 *
550 	 * Verify that all ae_perm entries are in ACL_PERM_BITS.
551 	 *
552 	 * Verify all ae_tag entries are understood by this implementation.
553 	 *
554 	 * Note: Does not check for uniqueness of qualifier (ae_id) field.
555 	 */
556 	num_acl_user_obj = num_acl_user = num_acl_group_obj = num_acl_group =
557 	    num_acl_mask = num_acl_other = 0;
558 	if (acl->acl_cnt > ACL_MAX_ENTRIES)
559 		return (EINVAL);
560 	for (i = 0; i < acl->acl_cnt; i++) {
561 		/*
562 		 * Check for a valid tag.
563 		 */
564 		switch(acl->acl_entry[i].ae_tag) {
565 		case ACL_USER_OBJ:
566 			acl->acl_entry[i].ae_id = ACL_UNDEFINED_ID; /* XXX */
567 			if (acl->acl_entry[i].ae_id != ACL_UNDEFINED_ID)
568 				return (EINVAL);
569 			num_acl_user_obj++;
570 			break;
571 		case ACL_GROUP_OBJ:
572 			acl->acl_entry[i].ae_id = ACL_UNDEFINED_ID; /* XXX */
573 			if (acl->acl_entry[i].ae_id != ACL_UNDEFINED_ID)
574 				return (EINVAL);
575 			num_acl_group_obj++;
576 			break;
577 		case ACL_USER:
578 			if (acl->acl_entry[i].ae_id == ACL_UNDEFINED_ID)
579 				return (EINVAL);
580 			num_acl_user++;
581 			break;
582 		case ACL_GROUP:
583 			if (acl->acl_entry[i].ae_id == ACL_UNDEFINED_ID)
584 				return (EINVAL);
585 			num_acl_group++;
586 			break;
587 		case ACL_OTHER:
588 			acl->acl_entry[i].ae_id = ACL_UNDEFINED_ID; /* XXX */
589 			if (acl->acl_entry[i].ae_id != ACL_UNDEFINED_ID)
590 				return (EINVAL);
591 			num_acl_other++;
592 			break;
593 		case ACL_MASK:
594 			acl->acl_entry[i].ae_id = ACL_UNDEFINED_ID; /* XXX */
595 			if (acl->acl_entry[i].ae_id != ACL_UNDEFINED_ID)
596 				return (EINVAL);
597 			num_acl_mask++;
598 			break;
599 		default:
600 			return (EINVAL);
601 		}
602 		/*
603 		 * Check for valid perm entries.
604 		 */
605 		if ((acl->acl_entry[i].ae_perm | ACL_PERM_BITS) !=
606 		    ACL_PERM_BITS)
607 			return (EINVAL);
608 	}
609 	if ((num_acl_user_obj != 1) || (num_acl_group_obj != 1) ||
610 	    (num_acl_other != 1) || (num_acl_mask != 0 && num_acl_mask != 1))
611 		return (EINVAL);
612 	if (((num_acl_group != 0) || (num_acl_user != 0)) &&
613 	    (num_acl_mask != 1))
614 		return (EINVAL);
615 	return (0);
616 }
617 
618 /*
619  * Given a requested mode for a new object, and a default ACL, combine the
620  * two to produce a new mode.  Be careful not to clear any bits that aren't
621  * intended to be affected by the POSIX.1e ACL.  Eventually, this might also
622  * take the cmask as an argument, if we push that down into
623  * per-filesystem-code.
624  */
625 mode_t
626 acl_posix1e_newfilemode(mode_t cmode, struct acl *dacl)
627 {
628 	mode_t mode;
629 
630 	mode = cmode;
631 	/*
632 	 * The current composition policy is that a permission bit must be
633 	 * set in *both* the ACL and the requested creation mode for it to
634 	 * appear in the resulting mode/ACL.  First clear any possibly
635 	 * effected bits, then reconstruct.
636 	 */
637 	mode &= ACL_PRESERVE_MASK;
638 	mode |= (ACL_OVERRIDE_MASK & cmode & acl_posix1e_acl_to_mode(dacl));
639 
640 	return (mode);
641 }
642 
643 static int
644 acl_posix1e_modload(module_t mod, int what, void *arg)
645 {
646 	int ret;
647 
648 	ret = 0;
649 
650 	switch (what) {
651 	case MOD_LOAD:
652 	case MOD_SHUTDOWN:
653 		break;
654 
655 	case MOD_QUIESCE:
656 		/* XXX TODO */
657 		ret = 0;
658 		break;
659 
660 	case MOD_UNLOAD:
661 		/* XXX TODO */
662 		ret = 0;
663 		break;
664 	default:
665 		ret = EINVAL;
666 		break;
667 	}
668 
669 	return (ret);
670 }
671 
672 static moduledata_t acl_posix1e_mod = {
673 	"acl_posix1e",
674 	acl_posix1e_modload,
675 	NULL
676 };
677 
678 DECLARE_MODULE(acl_posix1e, acl_posix1e_mod, SI_SUB_VFS, SI_ORDER_FIRST);
679 MODULE_VERSION(acl_posix1e, 1);
680