On Mon, Apr 24, 2017 at 03:57:42AM -0600, Jan Beulich wrote:
> >>> On 10.04.17 at 15:27, wrote:
> > +int vcpu_initialise(struct vcpu *v)
> > +{
> > +struct domain *d = v->domain;
> > +int rc;
> > +
> > +v->arch.flags = TF_kernel_mode;
> > +
> > +rc = mapcache_vcpu_init(v);
> > +
>>> On 10.04.17 at 15:27, wrote:
> +int vcpu_initialise(struct vcpu *v)
> +{
> +struct domain *d = v->domain;
> +int rc;
> +
> +v->arch.flags = TF_kernel_mode;
> +
> +rc = mapcache_vcpu_init(v);
> +if ( rc )
> +return rc;
> +
> +if ( !is_idle_domain(d) )
> +{
>
No functional change.
Signed-off-by: Wei Liu
---
xen/arch/x86/domain.c | 65 ---
1 file changed, 36 insertions(+), 29 deletions(-)
diff --git a/xen/arch/x86/domain.c b/xen/arch/x86/domain.c
index 90e2b1f82a..96c777c771 100644
--- a/xen/arch/x86/do
