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