devices: add more video4linux related devices as v4l_device_t

Add some missing video4linux related devices:
- /dev/cec.* is for consumer electronics control (CEC), needed to
  control among other audio return channel (ARC) and display standby.
- /dev/media.* is media control used for complex ISPs among other.
- /dev/swradio.* is software defined radio devices.
- /dev/v4l-subdev.* is v4l sub devices.
- /dev/v4l-touch.* is debug support for touchpad devices.

Signed-off-by: Hans-Christian Noren Egtvedt <[email protected]>

policy/modules/kernel/devices.fc

@@ -18,6 +18,7 @@
 /dev/beep		-c	gen_context(system_u:object_r:sound_device_t,s0)
 /dev/btrfs-control	-c	gen_context(system_u:object_r:lvm_control_t,s0)
 /dev/cachefiles		-c	gen_context(system_u:object_r:cachefiles_device_t,s0)
+/dev/cec.*		-c	gen_context(system_u:object_r:v4l_device_t,s0)
 /dev/cdc-wdm[0-9]       -c      gen_context(system_u:object_r:modem_device_t,s0)
 /dev/controlD64		-c	gen_context(system_u:object_r:xserver_misc_device_t,s0)
 /dev/crash		-c	gen_context(system_u:object_r:crash_device_t,mls_systemhigh)
@@ -67,6 +68,7 @@
 /dev/loop-control	-c	gen_context(system_u:object_r:loop_control_device_t,s0)
 /dev/lp.*		-c	gen_context(system_u:object_r:printer_device_t,s0)
 /dev/mcelog		-c	gen_context(system_u:object_r:kmsg_device_t,mls_systemhigh)
+/dev/media.*		-c	gen_context(system_u:object_r:v4l_device_t,s0)
 /dev/mei[0-9]*	-c	gen_context(system_u:object_r:mei_device_t,s0)
 /dev/mem		-c	gen_context(system_u:object_r:memory_device_t,mls_systemhigh)
 /dev/memory_bandwidth	-c	gen_context(system_u:object_r:pmqos_device_t,s0)
@@ -117,6 +119,7 @@
 /dev/sndstat		-c	gen_context(system_u:object_r:sound_device_t,s0)
 /dev/sonypi		-c	gen_context(system_u:object_r:v4l_device_t,s0)
 /dev/sysdig[0-9]	-c	gen_context(system_u:object_r:sysdig_device_t,s0)
+/dev/swradio.*		-c	gen_context(system_u:object_r:v4l_device_t,s0)
 /dev/tee[0-9]		-c	gen_context(system_u:object_r:tee_device_t,s0)
 /dev/teepriv[0-9]	-c	gen_context(system_u:object_r:tee_priv_device_t,s0)
 /dev/tlk[0-3]		-c	gen_context(system_u:object_r:v4l_device_t,s0)
@@ -134,6 +137,8 @@
 ifdef(`distro_suse', `
 /dev/usbscanner		-c	gen_context(system_u:object_r:scanner_device_t,s0)
 ')
+/dev/v4l-subdev.*	-c	gen_context(system_u:object_r:v4l_device_t,s0)
+/dev/v4l-touch.*	-c	gen_context(system_u:object_r:v4l_device_t,s0)
 /dev/vbi.*		-c	gen_context(system_u:object_r:v4l_device_t,s0)
 /dev/vbox.*		-c	gen_context(system_u:object_r:xserver_misc_device_t,s0)
 /dev/vsock		-c	gen_context(system_u:object_r:vsock_device_t,s0)