xref: /openbmc/linux/security/device_cgroup.c (revision dd1431e5)
1 // SPDX-License-Identifier: GPL-2.0
2 /*
3  * device_cgroup.c - device cgroup subsystem
4  *
5  * Copyright 2007 IBM Corp
6  */
7 
8 #include <linux/device_cgroup.h>
9 #include <linux/cgroup.h>
10 #include <linux/ctype.h>
11 #include <linux/list.h>
12 #include <linux/uaccess.h>
13 #include <linux/seq_file.h>
14 #include <linux/slab.h>
15 #include <linux/rcupdate.h>
16 #include <linux/mutex.h>
17 
18 #ifdef CONFIG_CGROUP_DEVICE
19 
20 static DEFINE_MUTEX(devcgroup_mutex);
21 
22 enum devcg_behavior {
23 	DEVCG_DEFAULT_NONE,
24 	DEVCG_DEFAULT_ALLOW,
25 	DEVCG_DEFAULT_DENY,
26 };
27 
28 /*
29  * exception list locking rules:
30  * hold devcgroup_mutex for update/read.
31  * hold rcu_read_lock() for read.
32  */
33 
34 struct dev_exception_item {
35 	u32 major, minor;
36 	short type;
37 	short access;
38 	struct list_head list;
39 	struct rcu_head rcu;
40 };
41 
42 struct dev_cgroup {
43 	struct cgroup_subsys_state css;
44 	struct list_head exceptions;
45 	enum devcg_behavior behavior;
46 };
47 
48 static inline struct dev_cgroup *css_to_devcgroup(struct cgroup_subsys_state *s)
49 {
50 	return s ? container_of(s, struct dev_cgroup, css) : NULL;
51 }
52 
53 static inline struct dev_cgroup *task_devcgroup(struct task_struct *task)
54 {
55 	return css_to_devcgroup(task_css(task, devices_cgrp_id));
56 }
57 
58 /*
59  * called under devcgroup_mutex
60  */
61 static int dev_exceptions_copy(struct list_head *dest, struct list_head *orig)
62 {
63 	struct dev_exception_item *ex, *tmp, *new;
64 
65 	lockdep_assert_held(&devcgroup_mutex);
66 
67 	list_for_each_entry(ex, orig, list) {
68 		new = kmemdup(ex, sizeof(*ex), GFP_KERNEL);
69 		if (!new)
70 			goto free_and_exit;
71 		list_add_tail(&new->list, dest);
72 	}
73 
74 	return 0;
75 
76 free_and_exit:
77 	list_for_each_entry_safe(ex, tmp, dest, list) {
78 		list_del(&ex->list);
79 		kfree(ex);
80 	}
81 	return -ENOMEM;
82 }
83 
84 /*
85  * called under devcgroup_mutex
86  */
87 static int dev_exception_add(struct dev_cgroup *dev_cgroup,
88 			     struct dev_exception_item *ex)
89 {
90 	struct dev_exception_item *excopy, *walk;
91 
92 	lockdep_assert_held(&devcgroup_mutex);
93 
94 	excopy = kmemdup(ex, sizeof(*ex), GFP_KERNEL);
95 	if (!excopy)
96 		return -ENOMEM;
97 
98 	list_for_each_entry(walk, &dev_cgroup->exceptions, list) {
99 		if (walk->type != ex->type)
100 			continue;
101 		if (walk->major != ex->major)
102 			continue;
103 		if (walk->minor != ex->minor)
104 			continue;
105 
106 		walk->access |= ex->access;
107 		kfree(excopy);
108 		excopy = NULL;
109 	}
110 
111 	if (excopy != NULL)
112 		list_add_tail_rcu(&excopy->list, &dev_cgroup->exceptions);
113 	return 0;
114 }
115 
116 /*
117  * called under devcgroup_mutex
118  */
119 static void dev_exception_rm(struct dev_cgroup *dev_cgroup,
120 			     struct dev_exception_item *ex)
121 {
122 	struct dev_exception_item *walk, *tmp;
123 
124 	lockdep_assert_held(&devcgroup_mutex);
125 
126 	list_for_each_entry_safe(walk, tmp, &dev_cgroup->exceptions, list) {
127 		if (walk->type != ex->type)
128 			continue;
129 		if (walk->major != ex->major)
130 			continue;
131 		if (walk->minor != ex->minor)
132 			continue;
133 
134 		walk->access &= ~ex->access;
135 		if (!walk->access) {
136 			list_del_rcu(&walk->list);
137 			kfree_rcu(walk, rcu);
138 		}
139 	}
140 }
141 
142 static void __dev_exception_clean(struct dev_cgroup *dev_cgroup)
143 {
144 	struct dev_exception_item *ex, *tmp;
145 
146 	list_for_each_entry_safe(ex, tmp, &dev_cgroup->exceptions, list) {
147 		list_del_rcu(&ex->list);
148 		kfree_rcu(ex, rcu);
149 	}
150 }
151 
152 /**
153  * dev_exception_clean - frees all entries of the exception list
154  * @dev_cgroup: dev_cgroup with the exception list to be cleaned
155  *
156  * called under devcgroup_mutex
157  */
158 static void dev_exception_clean(struct dev_cgroup *dev_cgroup)
159 {
160 	lockdep_assert_held(&devcgroup_mutex);
161 
162 	__dev_exception_clean(dev_cgroup);
163 }
164 
165 static inline bool is_devcg_online(const struct dev_cgroup *devcg)
166 {
167 	return (devcg->behavior != DEVCG_DEFAULT_NONE);
168 }
169 
170 /**
171  * devcgroup_online - initializes devcgroup's behavior and exceptions based on
172  * 		      parent's
173  * @css: css getting online
174  * returns 0 in case of success, error code otherwise
175  */
176 static int devcgroup_online(struct cgroup_subsys_state *css)
177 {
178 	struct dev_cgroup *dev_cgroup = css_to_devcgroup(css);
179 	struct dev_cgroup *parent_dev_cgroup = css_to_devcgroup(css->parent);
180 	int ret = 0;
181 
182 	mutex_lock(&devcgroup_mutex);
183 
184 	if (parent_dev_cgroup == NULL)
185 		dev_cgroup->behavior = DEVCG_DEFAULT_ALLOW;
186 	else {
187 		ret = dev_exceptions_copy(&dev_cgroup->exceptions,
188 					  &parent_dev_cgroup->exceptions);
189 		if (!ret)
190 			dev_cgroup->behavior = parent_dev_cgroup->behavior;
191 	}
192 	mutex_unlock(&devcgroup_mutex);
193 
194 	return ret;
195 }
196 
197 static void devcgroup_offline(struct cgroup_subsys_state *css)
198 {
199 	struct dev_cgroup *dev_cgroup = css_to_devcgroup(css);
200 
201 	mutex_lock(&devcgroup_mutex);
202 	dev_cgroup->behavior = DEVCG_DEFAULT_NONE;
203 	mutex_unlock(&devcgroup_mutex);
204 }
205 
206 /*
207  * called from kernel/cgroup.c with cgroup_lock() held.
208  */
209 static struct cgroup_subsys_state *
210 devcgroup_css_alloc(struct cgroup_subsys_state *parent_css)
211 {
212 	struct dev_cgroup *dev_cgroup;
213 
214 	dev_cgroup = kzalloc(sizeof(*dev_cgroup), GFP_KERNEL);
215 	if (!dev_cgroup)
216 		return ERR_PTR(-ENOMEM);
217 	INIT_LIST_HEAD(&dev_cgroup->exceptions);
218 	dev_cgroup->behavior = DEVCG_DEFAULT_NONE;
219 
220 	return &dev_cgroup->css;
221 }
222 
223 static void devcgroup_css_free(struct cgroup_subsys_state *css)
224 {
225 	struct dev_cgroup *dev_cgroup = css_to_devcgroup(css);
226 
227 	__dev_exception_clean(dev_cgroup);
228 	kfree(dev_cgroup);
229 }
230 
231 #define DEVCG_ALLOW 1
232 #define DEVCG_DENY 2
233 #define DEVCG_LIST 3
234 
235 #define MAJMINLEN 13
236 #define ACCLEN 4
237 
238 static void set_access(char *acc, short access)
239 {
240 	int idx = 0;
241 	memset(acc, 0, ACCLEN);
242 	if (access & DEVCG_ACC_READ)
243 		acc[idx++] = 'r';
244 	if (access & DEVCG_ACC_WRITE)
245 		acc[idx++] = 'w';
246 	if (access & DEVCG_ACC_MKNOD)
247 		acc[idx++] = 'm';
248 }
249 
250 static char type_to_char(short type)
251 {
252 	if (type == DEVCG_DEV_ALL)
253 		return 'a';
254 	if (type == DEVCG_DEV_CHAR)
255 		return 'c';
256 	if (type == DEVCG_DEV_BLOCK)
257 		return 'b';
258 	return 'X';
259 }
260 
261 static void set_majmin(char *str, unsigned m)
262 {
263 	if (m == ~0)
264 		strcpy(str, "*");
265 	else
266 		sprintf(str, "%u", m);
267 }
268 
269 static int devcgroup_seq_show(struct seq_file *m, void *v)
270 {
271 	struct dev_cgroup *devcgroup = css_to_devcgroup(seq_css(m));
272 	struct dev_exception_item *ex;
273 	char maj[MAJMINLEN], min[MAJMINLEN], acc[ACCLEN];
274 
275 	rcu_read_lock();
276 	/*
277 	 * To preserve the compatibility:
278 	 * - Only show the "all devices" when the default policy is to allow
279 	 * - List the exceptions in case the default policy is to deny
280 	 * This way, the file remains as a "whitelist of devices"
281 	 */
282 	if (devcgroup->behavior == DEVCG_DEFAULT_ALLOW) {
283 		set_access(acc, DEVCG_ACC_MASK);
284 		set_majmin(maj, ~0);
285 		set_majmin(min, ~0);
286 		seq_printf(m, "%c %s:%s %s\n", type_to_char(DEVCG_DEV_ALL),
287 			   maj, min, acc);
288 	} else {
289 		list_for_each_entry_rcu(ex, &devcgroup->exceptions, list) {
290 			set_access(acc, ex->access);
291 			set_majmin(maj, ex->major);
292 			set_majmin(min, ex->minor);
293 			seq_printf(m, "%c %s:%s %s\n", type_to_char(ex->type),
294 				   maj, min, acc);
295 		}
296 	}
297 	rcu_read_unlock();
298 
299 	return 0;
300 }
301 
302 /**
303  * match_exception	- iterates the exception list trying to find a complete match
304  * @exceptions: list of exceptions
305  * @type: device type (DEVCG_DEV_BLOCK or DEVCG_DEV_CHAR)
306  * @major: device file major number, ~0 to match all
307  * @minor: device file minor number, ~0 to match all
308  * @access: permission mask (DEVCG_ACC_READ, DEVCG_ACC_WRITE, DEVCG_ACC_MKNOD)
309  *
310  * It is considered a complete match if an exception is found that will
311  * contain the entire range of provided parameters.
312  *
313  * Return: true in case it matches an exception completely
314  */
315 static bool match_exception(struct list_head *exceptions, short type,
316 			    u32 major, u32 minor, short access)
317 {
318 	struct dev_exception_item *ex;
319 
320 	list_for_each_entry_rcu(ex, exceptions, list) {
321 		if ((type & DEVCG_DEV_BLOCK) && !(ex->type & DEVCG_DEV_BLOCK))
322 			continue;
323 		if ((type & DEVCG_DEV_CHAR) && !(ex->type & DEVCG_DEV_CHAR))
324 			continue;
325 		if (ex->major != ~0 && ex->major != major)
326 			continue;
327 		if (ex->minor != ~0 && ex->minor != minor)
328 			continue;
329 		/* provided access cannot have more than the exception rule */
330 		if (access & (~ex->access))
331 			continue;
332 		return true;
333 	}
334 	return false;
335 }
336 
337 /**
338  * match_exception_partial - iterates the exception list trying to find a partial match
339  * @exceptions: list of exceptions
340  * @type: device type (DEVCG_DEV_BLOCK or DEVCG_DEV_CHAR)
341  * @major: device file major number, ~0 to match all
342  * @minor: device file minor number, ~0 to match all
343  * @access: permission mask (DEVCG_ACC_READ, DEVCG_ACC_WRITE, DEVCG_ACC_MKNOD)
344  *
345  * It is considered a partial match if an exception's range is found to
346  * contain *any* of the devices specified by provided parameters. This is
347  * used to make sure no extra access is being granted that is forbidden by
348  * any of the exception list.
349  *
350  * Return: true in case the provided range mat matches an exception completely
351  */
352 static bool match_exception_partial(struct list_head *exceptions, short type,
353 				    u32 major, u32 minor, short access)
354 {
355 	struct dev_exception_item *ex;
356 
357 	list_for_each_entry_rcu(ex, exceptions, list,
358 				lockdep_is_held(&devcgroup_mutex)) {
359 		if ((type & DEVCG_DEV_BLOCK) && !(ex->type & DEVCG_DEV_BLOCK))
360 			continue;
361 		if ((type & DEVCG_DEV_CHAR) && !(ex->type & DEVCG_DEV_CHAR))
362 			continue;
363 		/*
364 		 * We must be sure that both the exception and the provided
365 		 * range aren't masking all devices
366 		 */
367 		if (ex->major != ~0 && major != ~0 && ex->major != major)
368 			continue;
369 		if (ex->minor != ~0 && minor != ~0 && ex->minor != minor)
370 			continue;
371 		/*
372 		 * In order to make sure the provided range isn't matching
373 		 * an exception, all its access bits shouldn't match the
374 		 * exception's access bits
375 		 */
376 		if (!(access & ex->access))
377 			continue;
378 		return true;
379 	}
380 	return false;
381 }
382 
383 /**
384  * verify_new_ex - verifies if a new exception is allowed by parent cgroup's permissions
385  * @dev_cgroup: dev cgroup to be tested against
386  * @refex: new exception
387  * @behavior: behavior of the exception's dev_cgroup
388  *
389  * This is used to make sure a child cgroup won't have more privileges
390  * than its parent
391  */
392 static bool verify_new_ex(struct dev_cgroup *dev_cgroup,
393 		          struct dev_exception_item *refex,
394 		          enum devcg_behavior behavior)
395 {
396 	bool match = false;
397 
398 	RCU_LOCKDEP_WARN(!rcu_read_lock_held() &&
399 			 !lockdep_is_held(&devcgroup_mutex),
400 			 "device_cgroup:verify_new_ex called without proper synchronization");
401 
402 	if (dev_cgroup->behavior == DEVCG_DEFAULT_ALLOW) {
403 		if (behavior == DEVCG_DEFAULT_ALLOW) {
404 			/*
405 			 * new exception in the child doesn't matter, only
406 			 * adding extra restrictions
407 			 */
408 			return true;
409 		} else {
410 			/*
411 			 * new exception in the child will add more devices
412 			 * that can be acessed, so it can't match any of
413 			 * parent's exceptions, even slightly
414 			 */
415 			match = match_exception_partial(&dev_cgroup->exceptions,
416 							refex->type,
417 							refex->major,
418 							refex->minor,
419 							refex->access);
420 
421 			if (match)
422 				return false;
423 			return true;
424 		}
425 	} else {
426 		/*
427 		 * Only behavior == DEVCG_DEFAULT_DENY allowed here, therefore
428 		 * the new exception will add access to more devices and must
429 		 * be contained completely in an parent's exception to be
430 		 * allowed
431 		 */
432 		match = match_exception(&dev_cgroup->exceptions, refex->type,
433 					refex->major, refex->minor,
434 					refex->access);
435 
436 		if (match)
437 			/* parent has an exception that matches the proposed */
438 			return true;
439 		else
440 			return false;
441 	}
442 	return false;
443 }
444 
445 /*
446  * parent_has_perm:
447  * when adding a new allow rule to a device exception list, the rule
448  * must be allowed in the parent device
449  */
450 static int parent_has_perm(struct dev_cgroup *childcg,
451 				  struct dev_exception_item *ex)
452 {
453 	struct dev_cgroup *parent = css_to_devcgroup(childcg->css.parent);
454 
455 	if (!parent)
456 		return 1;
457 	return verify_new_ex(parent, ex, childcg->behavior);
458 }
459 
460 /**
461  * parent_allows_removal - verify if it's ok to remove an exception
462  * @childcg: child cgroup from where the exception will be removed
463  * @ex: exception being removed
464  *
465  * When removing an exception in cgroups with default ALLOW policy, it must
466  * be checked if removing it will give the child cgroup more access than the
467  * parent.
468  *
469  * Return: true if it's ok to remove exception, false otherwise
470  */
471 static bool parent_allows_removal(struct dev_cgroup *childcg,
472 				  struct dev_exception_item *ex)
473 {
474 	struct dev_cgroup *parent = css_to_devcgroup(childcg->css.parent);
475 
476 	if (!parent)
477 		return true;
478 
479 	/* It's always allowed to remove access to devices */
480 	if (childcg->behavior == DEVCG_DEFAULT_DENY)
481 		return true;
482 
483 	/*
484 	 * Make sure you're not removing part or a whole exception existing in
485 	 * the parent cgroup
486 	 */
487 	return !match_exception_partial(&parent->exceptions, ex->type,
488 					ex->major, ex->minor, ex->access);
489 }
490 
491 /**
492  * may_allow_all - checks if it's possible to change the behavior to
493  *		   allow based on parent's rules.
494  * @parent: device cgroup's parent
495  * returns: != 0 in case it's allowed, 0 otherwise
496  */
497 static inline int may_allow_all(struct dev_cgroup *parent)
498 {
499 	if (!parent)
500 		return 1;
501 	return parent->behavior == DEVCG_DEFAULT_ALLOW;
502 }
503 
504 /**
505  * revalidate_active_exceptions - walks through the active exception list and
506  * 				  revalidates the exceptions based on parent's
507  * 				  behavior and exceptions. The exceptions that
508  * 				  are no longer valid will be removed.
509  * 				  Called with devcgroup_mutex held.
510  * @devcg: cgroup which exceptions will be checked
511  *
512  * This is one of the three key functions for hierarchy implementation.
513  * This function is responsible for re-evaluating all the cgroup's active
514  * exceptions due to a parent's exception change.
515  * Refer to Documentation/admin-guide/cgroup-v1/devices.rst for more details.
516  */
517 static void revalidate_active_exceptions(struct dev_cgroup *devcg)
518 {
519 	struct dev_exception_item *ex;
520 	struct list_head *this, *tmp;
521 
522 	list_for_each_safe(this, tmp, &devcg->exceptions) {
523 		ex = container_of(this, struct dev_exception_item, list);
524 		if (!parent_has_perm(devcg, ex))
525 			dev_exception_rm(devcg, ex);
526 	}
527 }
528 
529 /**
530  * propagate_exception - propagates a new exception to the children
531  * @devcg_root: device cgroup that added a new exception
532  * @ex: new exception to be propagated
533  *
534  * returns: 0 in case of success, != 0 in case of error
535  */
536 static int propagate_exception(struct dev_cgroup *devcg_root,
537 			       struct dev_exception_item *ex)
538 {
539 	struct cgroup_subsys_state *pos;
540 	int rc = 0;
541 
542 	rcu_read_lock();
543 
544 	css_for_each_descendant_pre(pos, &devcg_root->css) {
545 		struct dev_cgroup *devcg = css_to_devcgroup(pos);
546 
547 		/*
548 		 * Because devcgroup_mutex is held, no devcg will become
549 		 * online or offline during the tree walk (see on/offline
550 		 * methods), and online ones are safe to access outside RCU
551 		 * read lock without bumping refcnt.
552 		 */
553 		if (pos == &devcg_root->css || !is_devcg_online(devcg))
554 			continue;
555 
556 		rcu_read_unlock();
557 
558 		/*
559 		 * in case both root's behavior and devcg is allow, a new
560 		 * restriction means adding to the exception list
561 		 */
562 		if (devcg_root->behavior == DEVCG_DEFAULT_ALLOW &&
563 		    devcg->behavior == DEVCG_DEFAULT_ALLOW) {
564 			rc = dev_exception_add(devcg, ex);
565 			if (rc)
566 				return rc;
567 		} else {
568 			/*
569 			 * in the other possible cases:
570 			 * root's behavior: allow, devcg's: deny
571 			 * root's behavior: deny, devcg's: deny
572 			 * the exception will be removed
573 			 */
574 			dev_exception_rm(devcg, ex);
575 		}
576 		revalidate_active_exceptions(devcg);
577 
578 		rcu_read_lock();
579 	}
580 
581 	rcu_read_unlock();
582 	return rc;
583 }
584 
585 /*
586  * Modify the exception list using allow/deny rules.
587  * CAP_SYS_ADMIN is needed for this.  It's at least separate from CAP_MKNOD
588  * so we can give a container CAP_MKNOD to let it create devices but not
589  * modify the exception list.
590  * It seems likely we'll want to add a CAP_CONTAINER capability to allow
591  * us to also grant CAP_SYS_ADMIN to containers without giving away the
592  * device exception list controls, but for now we'll stick with CAP_SYS_ADMIN
593  *
594  * Taking rules away is always allowed (given CAP_SYS_ADMIN).  Granting
595  * new access is only allowed if you're in the top-level cgroup, or your
596  * parent cgroup has the access you're asking for.
597  */
598 static int devcgroup_update_access(struct dev_cgroup *devcgroup,
599 				   int filetype, char *buffer)
600 {
601 	const char *b;
602 	char temp[12];		/* 11 + 1 characters needed for a u32 */
603 	int count, rc = 0;
604 	struct dev_exception_item ex;
605 	struct dev_cgroup *parent = css_to_devcgroup(devcgroup->css.parent);
606 
607 	if (!capable(CAP_SYS_ADMIN))
608 		return -EPERM;
609 
610 	memset(&ex, 0, sizeof(ex));
611 	b = buffer;
612 
613 	switch (*b) {
614 	case 'a':
615 		switch (filetype) {
616 		case DEVCG_ALLOW:
617 			if (css_has_online_children(&devcgroup->css))
618 				return -EINVAL;
619 
620 			if (!may_allow_all(parent))
621 				return -EPERM;
622 			dev_exception_clean(devcgroup);
623 			devcgroup->behavior = DEVCG_DEFAULT_ALLOW;
624 			if (!parent)
625 				break;
626 
627 			rc = dev_exceptions_copy(&devcgroup->exceptions,
628 						 &parent->exceptions);
629 			if (rc)
630 				return rc;
631 			break;
632 		case DEVCG_DENY:
633 			if (css_has_online_children(&devcgroup->css))
634 				return -EINVAL;
635 
636 			dev_exception_clean(devcgroup);
637 			devcgroup->behavior = DEVCG_DEFAULT_DENY;
638 			break;
639 		default:
640 			return -EINVAL;
641 		}
642 		return 0;
643 	case 'b':
644 		ex.type = DEVCG_DEV_BLOCK;
645 		break;
646 	case 'c':
647 		ex.type = DEVCG_DEV_CHAR;
648 		break;
649 	default:
650 		return -EINVAL;
651 	}
652 	b++;
653 	if (!isspace(*b))
654 		return -EINVAL;
655 	b++;
656 	if (*b == '*') {
657 		ex.major = ~0;
658 		b++;
659 	} else if (isdigit(*b)) {
660 		memset(temp, 0, sizeof(temp));
661 		for (count = 0; count < sizeof(temp) - 1; count++) {
662 			temp[count] = *b;
663 			b++;
664 			if (!isdigit(*b))
665 				break;
666 		}
667 		rc = kstrtou32(temp, 10, &ex.major);
668 		if (rc)
669 			return -EINVAL;
670 	} else {
671 		return -EINVAL;
672 	}
673 	if (*b != ':')
674 		return -EINVAL;
675 	b++;
676 
677 	/* read minor */
678 	if (*b == '*') {
679 		ex.minor = ~0;
680 		b++;
681 	} else if (isdigit(*b)) {
682 		memset(temp, 0, sizeof(temp));
683 		for (count = 0; count < sizeof(temp) - 1; count++) {
684 			temp[count] = *b;
685 			b++;
686 			if (!isdigit(*b))
687 				break;
688 		}
689 		rc = kstrtou32(temp, 10, &ex.minor);
690 		if (rc)
691 			return -EINVAL;
692 	} else {
693 		return -EINVAL;
694 	}
695 	if (!isspace(*b))
696 		return -EINVAL;
697 	for (b++, count = 0; count < 3; count++, b++) {
698 		switch (*b) {
699 		case 'r':
700 			ex.access |= DEVCG_ACC_READ;
701 			break;
702 		case 'w':
703 			ex.access |= DEVCG_ACC_WRITE;
704 			break;
705 		case 'm':
706 			ex.access |= DEVCG_ACC_MKNOD;
707 			break;
708 		case '\n':
709 		case '\0':
710 			count = 3;
711 			break;
712 		default:
713 			return -EINVAL;
714 		}
715 	}
716 
717 	switch (filetype) {
718 	case DEVCG_ALLOW:
719 		/*
720 		 * If the default policy is to allow by default, try to remove
721 		 * an matching exception instead. And be silent about it: we
722 		 * don't want to break compatibility
723 		 */
724 		if (devcgroup->behavior == DEVCG_DEFAULT_ALLOW) {
725 			/* Check if the parent allows removing it first */
726 			if (!parent_allows_removal(devcgroup, &ex))
727 				return -EPERM;
728 			dev_exception_rm(devcgroup, &ex);
729 			break;
730 		}
731 
732 		if (!parent_has_perm(devcgroup, &ex))
733 			return -EPERM;
734 		rc = dev_exception_add(devcgroup, &ex);
735 		break;
736 	case DEVCG_DENY:
737 		/*
738 		 * If the default policy is to deny by default, try to remove
739 		 * an matching exception instead. And be silent about it: we
740 		 * don't want to break compatibility
741 		 */
742 		if (devcgroup->behavior == DEVCG_DEFAULT_DENY)
743 			dev_exception_rm(devcgroup, &ex);
744 		else
745 			rc = dev_exception_add(devcgroup, &ex);
746 
747 		if (rc)
748 			break;
749 		/* we only propagate new restrictions */
750 		rc = propagate_exception(devcgroup, &ex);
751 		break;
752 	default:
753 		rc = -EINVAL;
754 	}
755 	return rc;
756 }
757 
758 static ssize_t devcgroup_access_write(struct kernfs_open_file *of,
759 				      char *buf, size_t nbytes, loff_t off)
760 {
761 	int retval;
762 
763 	mutex_lock(&devcgroup_mutex);
764 	retval = devcgroup_update_access(css_to_devcgroup(of_css(of)),
765 					 of_cft(of)->private, strstrip(buf));
766 	mutex_unlock(&devcgroup_mutex);
767 	return retval ?: nbytes;
768 }
769 
770 static struct cftype dev_cgroup_files[] = {
771 	{
772 		.name = "allow",
773 		.write = devcgroup_access_write,
774 		.private = DEVCG_ALLOW,
775 	},
776 	{
777 		.name = "deny",
778 		.write = devcgroup_access_write,
779 		.private = DEVCG_DENY,
780 	},
781 	{
782 		.name = "list",
783 		.seq_show = devcgroup_seq_show,
784 		.private = DEVCG_LIST,
785 	},
786 	{ }	/* terminate */
787 };
788 
789 struct cgroup_subsys devices_cgrp_subsys = {
790 	.css_alloc = devcgroup_css_alloc,
791 	.css_free = devcgroup_css_free,
792 	.css_online = devcgroup_online,
793 	.css_offline = devcgroup_offline,
794 	.legacy_cftypes = dev_cgroup_files,
795 };
796 
797 /**
798  * devcgroup_legacy_check_permission - checks if an inode operation is permitted
799  * @dev_cgroup: the dev cgroup to be tested against
800  * @type: device type
801  * @major: device major number
802  * @minor: device minor number
803  * @access: combination of DEVCG_ACC_WRITE, DEVCG_ACC_READ and DEVCG_ACC_MKNOD
804  *
805  * returns 0 on success, -EPERM case the operation is not permitted
806  */
807 static int devcgroup_legacy_check_permission(short type, u32 major, u32 minor,
808 					short access)
809 {
810 	struct dev_cgroup *dev_cgroup;
811 	bool rc;
812 
813 	rcu_read_lock();
814 	dev_cgroup = task_devcgroup(current);
815 	if (dev_cgroup->behavior == DEVCG_DEFAULT_ALLOW)
816 		/* Can't match any of the exceptions, even partially */
817 		rc = !match_exception_partial(&dev_cgroup->exceptions,
818 					      type, major, minor, access);
819 	else
820 		/* Need to match completely one exception to be allowed */
821 		rc = match_exception(&dev_cgroup->exceptions, type, major,
822 				     minor, access);
823 	rcu_read_unlock();
824 
825 	if (!rc)
826 		return -EPERM;
827 
828 	return 0;
829 }
830 
831 #endif /* CONFIG_CGROUP_DEVICE */
832 
833 #if defined(CONFIG_CGROUP_DEVICE) || defined(CONFIG_CGROUP_BPF)
834 
835 int devcgroup_check_permission(short type, u32 major, u32 minor, short access)
836 {
837 	int rc = BPF_CGROUP_RUN_PROG_DEVICE_CGROUP(type, major, minor, access);
838 
839 	if (rc)
840 		return -EPERM;
841 
842 	#ifdef CONFIG_CGROUP_DEVICE
843 	return devcgroup_legacy_check_permission(type, major, minor, access);
844 
845 	#else /* CONFIG_CGROUP_DEVICE */
846 	return 0;
847 
848 	#endif /* CONFIG_CGROUP_DEVICE */
849 }
850 EXPORT_SYMBOL(devcgroup_check_permission);
851 #endif /* defined(CONFIG_CGROUP_DEVICE) || defined(CONFIG_CGROUP_BPF) */
852