Re: [Xen-devel] [PATCH v8 18/20] xenctx: Add 16 bit output

[Ian Campbell <Ian.Campbell@xxxxxxxxxx>]

On Thu, 2014-03-27 at 15:05 -0400, Don Slutz wrote:
> @@ -1043,7 +1046,9 @@ static void dump_ctx(int vcpu)
>      }
>      if ( xenctx.do_stack )
>      {
> -        print_stack(&ctx, vcpu, guest_word_size, xenctx.stk_addr);
> +        print_stack(&ctx, vcpu,
> +                    !guest_protected_mode ? 2 : guest_word_size,

Doesn't this indicate that guest_word_size is set wrongly in the !
guest_protected_mode case?

Ian.


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel