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) )
> +{
>
