[v2,0/3] xen/sched: fixes and cleanup related to cpupools

Message

Jürgen Groß Dec. 4, 2023, 3:23 p.m. UTC

Fix 2 bugs related to cpupool handling and do some related cleanups.

V2:
- send out the fixes tagged properly as "PATCH"
- add cleanup patch
 
Juergen Gross (3):
  xen/sched: fix adding offline cpu to cpupool
  xen/sched: fix sched_move_domain()
  xen/sched: do some minor cleanup of sched_move_domain()

 xen/common/sched/core.c    | 74 ++++++++++++++++++++------------------
 xen/common/sched/cpupool.c |  2 ++
 2 files changed, 41 insertions(+), 35 deletions(-)