xen/sched: make arinc653 scheduler vcpu agnostic.
authorJuergen Gross <jgross@suse.com>
Fri, 27 Sep 2019 07:00:22 +0000 (09:00 +0200)
committerJan Beulich <jbeulich@suse.com>
Fri, 27 Sep 2019 13:32:00 +0000 (15:32 +0200)
commit2a404605e96dff4f098af039cff5e5f37591db51
tree75320a2d58264a19ff10d97ef7990b97356b0df2
parenta76255b4266516c758edf6924f31bca5072d629d
xen/sched: make arinc653 scheduler vcpu agnostic.

Switch arinc653 scheduler completely from vcpu to sched_unit usage.

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