diff options
Diffstat (limited to 'tools/xentrace/xenctx.c')
| -rw-r--r-- | tools/xentrace/xenctx.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/xentrace/xenctx.c b/tools/xentrace/xenctx.c index 127379e671..c67171ca7e 100644 --- a/tools/xentrace/xenctx.c +++ b/tools/xentrace/xenctx.c @@ -875,8 +875,8 @@ static void dump_ctx(int vcpu) #endif print_ctx(&ctx); - print_code(&ctx, vcpu); #ifndef NO_TRANSLATION + print_code(&ctx, vcpu); if (is_kernel_text(instr_pointer(&ctx))) print_stack(&ctx, vcpu, guest_word_size); #endif |