Fix labeling for /dev/dmfm

diff --git a/policy/modules/kernel/devices.fc b/policy/modules/kernel/devices.fc
index b48524ebd238e8502ba78130c027f9e1eb6aabc2..fa24001101fc94962f72fe27089c3b3661c39e3b 100644 (file)
--- a/policy/modules/kernel/devices.fc
+++ b/policy/modules/kernel/devices.fc
@@ -22,7 +22,7 @@
 /dev/crash             -c      gen_context(system_u:object_r:crash_device_t,mls_systemhigh)
 /dev/dahdi/.*          -c      gen_context(system_u:object_r:sound_device_t,s0)
 /dev/dlm.*             -c      gen_context(system_u:object_r:dlm_control_device_t,s0)
-/dev/dmfm              -c      gen_context(system_u:object_r:sound_device_t,s0)
+/dev/dmfm.*            -c      gen_context(system_u:object_r:sound_device_t,s0)
 /dev/dmmidi.*          -c      gen_context(system_u:object_r:sound_device_t,s0)
 /dev/dsp.*             -c      gen_context(system_u:object_r:sound_device_t,s0)
 /dev/efirtc            -c      gen_context(system_u:object_r:clock_device_t,s0)