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

[Don Slutz <dslutz@xxxxxxxxxxx>]

On 04/01/14 10:25, Ian Campbell wrote:
> 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?
I guess so, will fix it there.
   -Don Slutz

> Ian.

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