# HG changeset patch
# User yamahata@xxxxxxxxxxxxx
# Date 1190968328 -32400
# Node ID 1c800e01a406e830c4b98d77d6475a7e0245a12c
# Parent  e77dab5df5a5d20f9da8b53d3fdc3371c40a6c6f
fix xenctx: rse arithmetic.
PATCHNAME: fix_xenctx

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

diff -r e77dab5df5a5 -r 1c800e01a406 tools/xentrace/xenctx.c
--- a/tools/xentrace/xenctx.c	Thu Sep 27 21:22:36 2007 +0900
+++ b/tools/xentrace/xenctx.c	Fri Sep 28 17:32:08 2007 +0900
@@ -489,7 +489,7 @@ void print_ctx(vcpu_guest_context_t *ctx
     for (i = 0; i < cfm_sof; i++) {
         int off = cfm_sof - i;
         unsigned int rbs_off =
-            (((62 - ((rbs_size + regs->rbs_voff) % 64) + off)) / 63) + off;
+            (((62 - ((rbs_size + regs->rbs_voff) % 63) + off)) / 63) + off;
         if (rbs_off > rbs_size)
             break;
         printf(" r%02d: %016lx%s", 32 + i,