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_ani...@epam.com>
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_ani...@epam.com>
FWIW,
Reviewed-by: Dario Faggioli <dfaggi...@suse.com>
Acked-by: Julien Grall <julien.gr...@arm.com>
I have now committed the patch.
Cheers,
--
Julien Grall
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel
