Description of problem:
service openhpid restart causes denial, smth with tmpfs

Version-Release number of selected component (if applicable):
selinux-policy-3.12.1-103.el7.noarch
openhpi-3.2.1-2.el7.x86_64


How reproducible:
saw once, I guess always reproducible

Steps to Reproduce:
1, sed -i s/OPENHPI_UNCONFIGURED.*/OPENHPI_UNCONFIGURED="NO"/ /etc/openhpi/openhpi.con

2, service openhpid restart
[root@hp-dl380pgen8-02-vm-7 smoke]# cat /var/log/audit/audit.log | grep openhpid
type=SERVICE_START msg=audit(1385379821.928:109): pid=1 uid=0 auid=4294967295 ses=4294967295 subj=system_u:system_r:init_t:s0 msg=' comm="openhpid" exe="/usr/lib/systemd/systemd" hostname=? addr=? terminal=? res=success'
type=SERVICE_STOP msg=audit(1385379821.928:110): pid=1 uid=0 auid=4294967295 ses=4294967295 subj=system_u:system_r:init_t:s0 msg=' comm="openhpid" exe="/usr/lib/systemd/systemd" hostname=? addr=? terminal=? res=failed'
type=AVC msg=audit(1385379891.755:111): avc:  denied  { read } for  pid=25891 comm="openhpid" name="openhpid.pid" dev="tmpfs" ino=48780 scontext=system_u:system_r:openhpid_t:s0 tcontext=unconfined_u:object_r:var_run_t:s0 tclass=file
type=SYSCALL msg=audit(1385379891.755:111): arch=c000003e syscall=2 success=no exit=-13 a0=7f6882d7eec3 a1=0 a2=6 a3=7fff804bf120 items=0 ppid=1 pid=25891 auid=4294967295 uid=0 gid=0 euid=0 suid=0 fsuid=0 egid=0 sgid=0 fsgid=0 tty=(none) ses=4294967295 comm="openhpid" exe="/usr/sbin/openhpid" subj=system_u:system_r:openhpid_t:s0 key=(null)
type=AVC msg=audit(1385379891.755:112): avc:  denied  { write } for  pid=25891 comm="openhpid" name="openhpid.pid" dev="tmpfs" ino=48780 scontext=system_u:system_r:openhpid_t:s0 tcontext=unconfined_u:object_r:var_run_t:s0 tclass=file
type=SYSCALL msg=audit(1385379891.755:112): arch=c000003e syscall=2 success=no exit=-13 a0=7f6882d7eec3 a1=41 a2=1a0 a3=7fff804bf120 items=0 ppid=1 pid=25891 auid=4294967295 uid=0 gid=0 euid=0 suid=0 fsuid=0 egid=0 sgid=0 fsgid=0 tty=(none) ses=4294967295 comm="openhpid" exe="/usr/sbin/openhpid" subj=system_u:system_r:openhpid_t:s0 key=(null)
type=SERVICE_START msg=audit(1385379891.758:113): pid=1 uid=0 auid=4294967295 ses=4294967295 subj=system_u:system_r:init_t:s0 msg=' comm="openhpid" exe="/usr/lib/systemd/systemd" hostname=? addr=? terminal=? res=failed'


Actual results:
denial:
type=AVC msg=audit(1385379891.755:111): avc:  denied  { read } for  pid=25891 comm="openhpid" name="openhpid.pid" dev="tmpfs" ino=48780 scontext=system_u:system_r:openhpid_t:s0 tcontext=unconfined_u:object_r:var_run_t:s0 tclass=file


Expected results:
no denial


Additional info: