Prints dIDLEv0 as opposed to d32767v0
Signed-off-by: Andrew Cooper <andrew.coop...@citrix.com>
CC: Keir Fraser <k...@xen.org>
CC: Jan Beulich <jbeul...@suse.com>
CC: Tim Deegan <t...@xen.org>
CC: Ian Campbell <ian.campb...@citrix.com>
CC: Ian Jackson <ian.jack...@eu.citrix.com>
---
xen/common/vsprintf.c | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/xen/common/vsprintf.c b/xen/common/vsprintf.c
index 065cc42..ed76f24 100644
--- a/xen/common/vsprintf.c
+++ b/xen/common/vsprintf.c
@@ -338,7 +338,10 @@ static char *pointer(char *str, char *end, const char
**fmt_ptr,
++*fmt_ptr;
if ( str < end )
*str = 'd';
- str = number(str + 1, end, v->domain->domain_id, 10, -1, -1, 0);
+ if ( unlikely(v->domain->domain_id == DOMID_IDLE) )
+ str = string(str + 1, end, "IDLE", -1, -1, 0);
+ else
+ str = number(str + 1, end, v->domain->domain_id, 10, -1, -1, 0);
if ( str < end )
*str = 'v';
return number(str + 1, end, v->vcpu_id, 10, -1, -1, 0);
--
1.7.10.4
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
