diff options
author | Keir Fraser <keir@xen.org> | 2010-12-01 21:20:14 +0000 |
---|---|---|
committer | Keir Fraser <keir@xen.org> | 2010-12-01 21:20:14 +0000 |
commit | 22787f2e107ca3d8717da0beea23518bb3e7a592 (patch) | |
tree | 86048b1bb8088014998efac604c3d1cf5ed8b6ca /xen/include/public/domctl.h | |
parent | 7fe20b9f9657a2541a5fdc6ad9f43a20f0daa431 (diff) | |
download | xen-22787f2e107ca3d8717da0beea23518bb3e7a592.tar.gz xen-22787f2e107ca3d8717da0beea23518bb3e7a592.tar.bz2 xen-22787f2e107ca3d8717da0beea23518bb3e7a592.zip |
ARINC 653 scheduler
From: Josh Holtrop <Josh.Holtrop@dornerworks.com>
Signed-off-by: Keir Fraser <keir@xen.org>
Acked-by: George Dunlap <george.dunlap@eu.citrix.com>
Diffstat (limited to 'xen/include/public/domctl.h')
-rw-r--r-- | xen/include/public/domctl.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/xen/include/public/domctl.h b/xen/include/public/domctl.h index 0605c95d81..161dc7020d 100644 --- a/xen/include/public/domctl.h +++ b/xen/include/public/domctl.h @@ -300,6 +300,7 @@ DEFINE_XEN_GUEST_HANDLE(xen_domctl_max_vcpus_t); #define XEN_SCHEDULER_SEDF 4 #define XEN_SCHEDULER_CREDIT 5 #define XEN_SCHEDULER_CREDIT2 6 +#define XEN_SCHEDULER_ARINC653 7 /* Set or get info? */ #define XEN_DOMCTL_SCHEDOP_putinfo 0 #define XEN_DOMCTL_SCHEDOP_getinfo 1 |