sched: fix locking in a653sched_free_vdata()
authorJuergen Gross <jgross@suse.com>
Fri, 27 Sep 2019 12:03:42 +0000 (14:03 +0200)
committerJan Beulich <jbeulich@suse.com>
Fri, 27 Sep 2019 12:03:42 +0000 (14:03 +0200)
commit19049f8d796a220b14675a1e8b657279bd293041
tree22c455010b3bbbe8cb04bdb20f894678bd1de048
parentddc5a85fbcfbacc34bbd9abcdb12923de2fc27b3
sched: fix locking in a653sched_free_vdata()

The arinc653 scheduler's free_vdata() function is missing proper
locking: as it is modifying the scheduler's private vcpu list it needs
to take the scheduler lock during that operation.

Signed-off-by: Juergen Gross <jgross@suse.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Dario Faggioli <dfaggioli@suse.com>
xen/common/sched_arinc653.c