Wei Liu 76dcdb75b7 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>

2018-01-26 11:15:36 +00:00

..

policy

xen: Fix xsm build after [g]cov renaming

2018-01-26 11:15:36 +00:00

utils

DEPS handling: Use DEPS_INCLUDE everywhere

2017-09-07 16:21:54 +01:00

Makefile

Makefile: Fix uninstall target

2017-07-28 17:47:42 +01:00