flask: add gcov_op check
authorWei Liu <wei.liu2@citrix.com>
Thu, 13 Oct 2016 14:33:15 +0000 (15:33 +0100)
committerWei Liu <wei.liu2@citrix.com>
Sat, 3 Dec 2016 15:55:35 +0000 (15:55 +0000)
commit24b0b42c9ab164cba4d66eeb95a33dcbd88626ec
tree94030184cde320c8250120f0d5b260f593e13ae9
parentf1ef35f7c989ad50d0a92f6904b05af6e9d122c3
flask: add gcov_op check

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Reviewed-by: Konrad Rzeszutek Wilk <konrad.wilk@oracle.com>
Acked-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
tools/flask/policy/modules/dom0.te
xen/xsm/flask/hooks.c
xen/xsm/flask/policy/access_vectors