diff options
Diffstat (limited to 'tools/xenmon')
| -rw-r--r-- | tools/xenmon/xenbaked.c | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/tools/xenmon/xenbaked.c b/tools/xenmon/xenbaked.c index 3789f20c84..fc0eb727e0 100644 --- a/tools/xenmon/xenbaked.c +++ b/tools/xenmon/xenbaked.c @@ -766,11 +766,9 @@ int indexof(int domid) int xc_handle, ndomains; extern void qos_kill_thread(int domid); - if (domid < 0 || domid >= NDOMAINS) { // shouldn't happen - if (domid != IDLE_DOMAIN_ID) { - printf("bad domain id: %d\r\n", domid); - return 0; - } + if (domid < 0) { // shouldn't happen + printf("bad domain id: %d\r\n", domid); + return 0; } for (idx=0; idx<NDOMAINS; idx++) |