diff options
| -rw-r--r-- | tools/libxl/libxl.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tools/libxl/libxl.c b/tools/libxl/libxl.c index 7b99165948..89183b1365 100644 --- a/tools/libxl/libxl.c +++ b/tools/libxl/libxl.c @@ -3659,6 +3659,14 @@ libxl_scheduler libxl_get_scheduler(libxl_ctx *ctx) return sched; } +static int sched_arinc653_domain_set(libxl__gc *gc, uint32_t domid, + const libxl_domain_sched_params *scinfo) +{ + /* Currently, the ARINC 653 scheduler does not take any domain-specific + configuration, so we simply return success. */ + return 0; +} + static int sched_credit_domain_get(libxl__gc *gc, uint32_t domid, libxl_domain_sched_params *scinfo) { @@ -3926,6 +3934,9 @@ int libxl_domain_sched_params_set(libxl_ctx *ctx, uint32_t domid, case LIBXL_SCHEDULER_CREDIT2: ret=sched_credit2_domain_set(gc, domid, scinfo); break; + case LIBXL_SCHEDULER_ARINC653: + ret=sched_arinc653_domain_set(gc, domid, scinfo); + break; default: LOG(ERROR, "Unknown scheduler"); ret=ERROR_INVAL; |