xen: rtds: always clear the flag when replenishing a depleted vcpu
authorMeng Xu <mengxu@cis.upenn.edu>
Sat, 22 Oct 2016 02:12:02 +0000 (22:12 -0400)
committerWei Liu <wei.liu2@citrix.com>
Wed, 26 Oct 2016 12:40:01 +0000 (13:40 +0100)
commit1b843b2097e89d0fae18123cde88da9d167d9a0c
tree99425ab6fa32208d6ff8be3776fb75ee53e75c3b
parent1307f8d3d46fe34f6eb739894008e8af3c168818
xen: rtds: always clear the flag when replenishing a depleted vcpu

We should clear the __RTDS_depleted bit once a VCPU budget is replenished.
Because repl_timer_handler may be called after rt_schedule
but before rt_context_saved, the VCPU may be not on CPU or on queue
when the VCPU is the middle of context switch

Signed-off-by: Meng Xu <mengxu@cis.upenn.edu>
Acked-by: Dario Faggioli <dario.faggioli@citrix.com>
Release-acked-by: Wei Liu <wei.liu2@citrix.com>
xen/common/sched_rt.c