ia64/xen-unstable

view xen/include/public/sched_ctl.h @ 5704:9b73afea874e

Certain types of event channel are now auto-bound to vcpu0 by Xen.
Make sure that xenolinux agrees with this.
author sos22@douglas.cl.cam.ac.uk
date Fri Jul 08 15:35:43 2005 +0000 (2005-07-08)
parents 2b6c1a809807
children b3a255e88810
line source
1 /******************************************************************************
2 * Generic scheduler control interface.
3 *
4 * Mark Williamson, (C) 2004 Intel Research Cambridge
5 */
7 #ifndef __XEN_PUBLIC_SCHED_CTL_H__
8 #define __XEN_PUBLIC_SCHED_CTL_H__
10 /* Scheduler types. */
11 #define SCHED_BVT 0
12 #define SCHED_SEDF 4
14 /* Set or get info? */
15 #define SCHED_INFO_PUT 0
16 #define SCHED_INFO_GET 1
18 /*
19 * Generic scheduler control command - used to adjust system-wide scheduler
20 * parameters
21 */
22 struct sched_ctl_cmd {
23 u32 sched_id;
24 u32 direction;
25 union {
26 struct bvt_ctl {
27 u32 ctx_allow;
28 } bvt;
29 } u;
30 };
32 struct sched_adjdom_cmd {
33 u32 sched_id;
34 u32 direction;
35 domid_t domain;
36 union {
37 struct bvt_adjdom
38 {
39 u32 mcu_adv; /* mcu advance: inverse of weight */
40 u32 warpback; /* warp? */
41 s32 warpvalue; /* warp value */
42 long long warpl; /* warp limit */
43 long long warpu; /* unwarp time requirement */
44 } bvt;
46 struct sedf_adjdom
47 {
48 u64 period;
49 u64 slice;
50 u64 latency;
51 u16 extratime;
52 u16 weight;
53 } sedf;
55 } u;
56 };
58 #endif /* __XEN_PUBLIC_SCHED_CTL_H__ */