On 17/08/18 08:04, Jan Beulich wrote: > --- a/xen/include/asm-x86/pv/domain.h > +++ b/xen/include/asm-x86/pv/domain.h > @@ -21,6 +21,8 @@ > #ifndef __X86_PV_DOMAIN_H__ > #define __X86_PV_DOMAIN_H__ > > +#include <xen/sched.h>
Just types? Its all you need. ~Andrew > + > /* > * PCID values for the address spaces of 64-bit pv domains: > * > @@ -59,6 +61,8 @@ int pv_vcpu_initialise(struct vcpu *v); > void pv_domain_destroy(struct domain *d); > int pv_domain_initialise(struct domain *d); > > +bool xpti_pcid_enabled(void); > + > #else /* !CONFIG_PV */ > > #include <xen/errno.h> > > > _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel