On Fri, Oct 12, 2018 at 08:33:48AM -0600, Jan Beulich wrote:
> >>> On 04.10.18 at 17:43, wrote:
> > --- a/xen/include/xen/compat.h
> > +++ b/xen/include/xen/compat.h
> > @@ -228,7 +228,16 @@ struct vcpu_runstate_info;
> > void xlat_vcpu_runstate_info(struct vcpu_runstate_info *);
> >
> > struc
>>> On 04.10.18 at 17:43, wrote:
> --- a/xen/include/xen/compat.h
> +++ b/xen/include/xen/compat.h
> @@ -228,7 +228,16 @@ struct vcpu_runstate_info;
> void xlat_vcpu_runstate_info(struct vcpu_runstate_info *);
>
> struct domain;
> +
> +#ifdef CONFIG_PV
> int switch_compat(struct domain *);
>
DCE couldn't have helped here because the invocation of switch_compat
also depends on external input.
Signed-off-by: Wei Liu
---
xen/include/xen/compat.h | 9 +
1 file changed, 9 insertions(+)
diff --git a/xen/include/xen/compat.h b/xen/include/xen/compat.h
index 895e2ff..6f72353 10064