On Mon, 2015-06-29 at 12:56 +0100, Andrew Cooper wrote:
> On 26/06/15 17:19, Dario Faggioli wrote:
> > --- a/xen/include/public/domctl.h
> > +++ b/xen/include/public/domctl.h
> > @@ -324,7 +324,6 @@ DEFINE_XEN_GUEST_HANDLE(xen_domctl_max_vcpus_t);
> >
> > /* XEN_DOMCTL_scheduler_op */
> > /* Sc
On 26/06/15 17:19, Dario Faggioli wrote:
> --- a/xen/include/public/domctl.h
> +++ b/xen/include/public/domctl.h
> @@ -324,7 +324,6 @@ DEFINE_XEN_GUEST_HANDLE(xen_domctl_max_vcpus_t);
>
> /* XEN_DOMCTL_scheduler_op */
> /* Scheduler types. */
> -#define XEN_SCHEDULER_SEDF 4
Please instead