# HG changeset patch
# User yamahata@xxxxxxxxxxxxx
# Date 1191236222 -32400
# Node ID 6dfbc702ca97e58dc143324c4693fcab00ddcd9f
# Parent  6fa9e1c02f08c0d63de08abf191d9111f081c605
vcpu_ctx[] array size should be MAX_VIRT_CPUS instead of 1.
PATCHNAME: xenitp_vcpu_ctx_size

Signed-off-by: Isaku Yamahata <yamahata@xxxxxxxxxxxxx>

diff -r 6fa9e1c02f08 -r 6dfbc702ca97 tools/debugger/xenitp/xenitp.c
--- a/tools/debugger/xenitp/xenitp.c	Mon Oct 01 19:55:03 2007 +0900
+++ b/tools/debugger/xenitp/xenitp.c	Mon Oct 01 19:57:02 2007 +0900
@@ -931,7 +931,7 @@ unsigned char *parse_arg (unsigned char 
     return res;
 }
 
-vcpu_guest_context_t vcpu_ctx[1];
+vcpu_guest_context_t vcpu_ctx[MAX_VIRT_CPUS];
 
 int vcpu_setcontext (int vcpu)
 {