diff --git a/xen/include/xen/coverage.h b/xen/include/xen/coverage.h
index ba5fb67947..91b0d44625 100644
--- a/xen/include/xen/coverage.h
+++ b/xen/include/xen/coverage.h
@@ -2,13 +2,18 @@
 #define _XEN_COV_H
 
 #ifdef CONFIG_COVERAGE
+
 #include <public/sysctl.h>
 int sysctl_cov_op(struct xen_sysctl_coverage_op *op);
+
 #else
+
+#include <xen/errno.h>
 static inline int sysctl_cov_op(void *unused)
 {
     return -EOPNOTSUPP;
 }
+
 #endif
 
 #endif	/* _XEN_GCOV_H */