commit c16238f12dca29936b4a77bf25f80494644e3e04
author Tri Vo <trong@google.com> Tue Mar 27 16:41:16 2018 -0700
committer Tri Vo <trong@google.com> Tue Mar 27 23:53:10 2018 +0000
tree 21edc7e52f045407c2408090dc6f1f24177e03fc
parent 71f61252d764064675bc193c1005426456765ffc

marlin: Mark proc_* types with proc_type attribute.

Bug: 74182216
Test: build policy
Change-Id: Ic25c047dd2d0a6c30586a5362b051df70c31e314

sepolicy/file.te

diff --git a/sepolicy/file.te b/sepolicy/file.te
index 8521a02..bdcd248 100644
--- a/sepolicy/file.te
+++ b/sepolicy/file.te
@@ -57,8 +57,8 @@
 type debugfs_ufs, debugfs_type, fs_type;
 
 # /proc
-type proc_kernel_sched, fs_type;
-type proc_wifi_dbg, fs_type;
+type proc_kernel_sched, fs_type, proc_type;
+type proc_wifi_dbg, fs_type, proc_type;
 
 # /dev/socket needs to be file_type so init can create
 type cnd_socket, file_type;
@@ -73,7 +73,7 @@
 type persist_display_file, file_type;
 
 # msm_irqbalance
-type proc_irq, fs_type;
+type proc_irq, fs_type, proc_type;
 type irqbalance_socket, file_type;
 
 # /vendor