projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bb5400b) | patch
xen: Fix xsm build after [g]cov renaming
authorWei Liu <wei.liu2@citrix.com>
Thu, 25 Jan 2018 13:14:24 +0000 (13:14 +0000)
committerIan Jackson <Ian.Jackson@eu.citrix.com>
Fri, 26 Jan 2018 11:15:36 +0000 (11:15 +0000)
commit76dcdb75b7cc9e7e8470e711db14bbbd3ae92415
treec9cc46853e404238eb39e47b9cf415fc6f3dab02tree | snapshot
parentbb5400b20a0c2c2dce114075b09063038ad373dbcommit | diff
xen: Fix xsm build after [g]cov renaming

Commit e8d461497d9 renamed gcov_op to coverage_op but forgot to change
XSM handles.

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Acked-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Roger Pau Monné <roger.pau@citrix.com>
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>
tools/flask/policy/modules/dom0.te diff | blob | history
xen/xsm/flask/hooks.c diff | blob | history
xen/xsm/flask/policy/access_vectors diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.