Juergen Gross (2):
xen/credit: fix race with schedule_cpu_rm() in csched_timer()
xen/sched: fix schedule_dump() handling of free cpus
xen/common/sched/core.c | 2 +-
xen/common/sched/credit.c | 4 ++++
2 files changed, 5 insertions(+), 1 deletion(-)
--
2.55.0