Re: [Xen-devel] [PATCH] xen:arm: we never get into schedule_tail() with prev==current

[Julien Grall <julien.grall@xxxxxxx>]

Hi,

On 08/05/2019 12:25, Dario Faggioli wrote:
> On Wed, 2019-05-08 at 12:59 +0300, Andrii Anisov wrote:
> > From: Andrii Anisov <andrii_anisov@xxxxxxxx>
> >
> > ARM's schedule_tail() is called from two places: context_switch() and
> > continue_new_vcpu(). Both functions are always called with
> > prev!=current. So replace the correspondent check in schedule_tail()
> > with ASSERT() which is the development (debug) build guard.
> >
> > Signed-off-by: Andrii Anisov <andrii_anisov@xxxxxxxx>
> FWIW,
>
> Reviewed-by: Dario Faggioli <dfaggioli@xxxxxxxx>
Acked-by: Julien Grall <julien.grall@xxxxxxx>

I have now committed the patch.

Cheers,

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel