1
/******************************************************************************
4
* API for manipulating parameters of the Simple EDF scheduler.
6
* changes by Stephan Diestelhorst
8
* by Mark Williamson, Copyright (c) 2004 Intel Research Cambridge.
11
#include "xc_private.h"
13
int xc_sedf_domain_set(
23
struct xen_domctl_sched_sedf *p = &domctl.u.scheduler_op.u.sedf;
25
domctl.cmd = XEN_DOMCTL_scheduler_op;
26
domctl.domain = (domid_t)domid;
27
domctl.u.scheduler_op.sched_id = XEN_SCHEDULER_SEDF;
28
domctl.u.scheduler_op.cmd = XEN_DOMCTL_SCHEDOP_putinfo;
33
p->extratime = extratime;
35
return do_domctl(xc_handle, &domctl);
38
int xc_sedf_domain_get(
49
struct xen_domctl_sched_sedf *p = &domctl.u.scheduler_op.u.sedf;
51
domctl.cmd = XEN_DOMCTL_scheduler_op;
52
domctl.domain = (domid_t)domid;
53
domctl.u.scheduler_op.sched_id = XEN_SCHEDULER_SEDF;
54
domctl.u.scheduler_op.cmd = XEN_DOMCTL_SCHEDOP_getinfo;
56
ret = do_domctl(xc_handle, &domctl);
60
*latency = p->latency;
61
*extratime = p->extratime;