mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 02:01:24 +01:00
xen: Fix xsm build after [g]cov renaming
Commit e8d461497d 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>
This commit is contained in:
Wei Liu authored and Ian Jackson committed
1 parent
bb5400b20a
commit
76dcdb75b7
3 files changed
+5
-5
No files matched your search
@@ -16,7 +16,7 @@ allow dom0_t xen_t:xen {
|
||||
allow dom0_t xen_t:xen2 {
|
||||
resource_op psr_cmt_op psr_alloc pmu_ctrl get_symbol
|
||||
get_cpu_levelling_caps get_cpu_featureset livepatch_op
|
||||
gcov_op set_parameter
|
||||
coverage_op set_parameter
|
||||
};
|
||||
|
||||
# Allow dom0 to use all XENVER_ subops that have checks.
|
||||
|
||||