[PATCH] xen: sched: get rid of cpupool_scheduler_cpumask()

[Dario Faggioli <dario.faggioli@citrix.com>]

Hi everyone,

This was patch 4 of a series, v2 of which is in this thread:

http://lists.xen.org/archives/html/xen-devel/2015-07/msg00573.html

The first 3 patches have been applied long ago. However, I just noticed that
this one has not (unless I'm missing something).

I guess George never got round to look at it again, after v1, and formally Ack
it, and hence it has been forgotten... by me as well! :-O

As stated at the link above, it really should be straightforward, as v1 was
basically ok already, and this incorporates all of George's points and
suggestions.

It's nothing high priority, but I think it is an improvement, and therefore I'm
resubmitting it.

Regards,
Dario
---
Dario Faggioli (1):
      xen: sched: get rid of cpupool_scheduler_cpumask()

 xen/common/domain.c         |    5 +++--
 xen/common/domctl.c         |    4 ++--
 xen/common/sched_arinc653.c |    2 +-
 xen/common/sched_credit.c   |    8 +++-----
 xen/common/sched_rt.c       |   12 ++++++------
 xen/common/schedule.c       |    2 +-
 xen/include/xen/sched-if.h  |   12 ++++++++++--
 7 files changed, 26 insertions(+), 19 deletions(-)

--
<<This happens because I choose it to happen!>> (Raistlin Majere)
-----------------------------------------------------------------
Dario Faggioli, Ph.D, http://about.me/dario.faggioli
Senior Software Engineer, Citrix Systems R&D Ltd., Cambridge (UK)