diff options
| -rw-r--r-- | xen/common/sched_arinc653.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xen/common/sched_arinc653.c b/xen/common/sched_arinc653.c index d563834297..e0cab17fc3 100644 --- a/xen/common/sched_arinc653.c +++ b/xen/common/sched_arinc653.c @@ -241,7 +241,7 @@ arinc653_sched_set( found_dom0 = 1; /* Check for a valid VCPU ID and run time. */ - if ( (schedule->sched_entries[i].vcpu_id < 0) + if ( (schedule->sched_entries[i].vcpu_id >= MAX_VIRT_CPUS) || (schedule->sched_entries[i].runtime <= 0) ) goto fail; |