Re: [Xen-ia64-devel] GET_THIS_PADDR appears to be broken

[Tristan Gingold <tgingold@xxxxxxx>]

On Thu, Jun 28, 2007 at 05:07:41AM +0200, Tristan Gingold wrote:
> On Wed, Jun 27, 2007 at 10:38:44PM +0900, Horms wrote:
> > On Wed, Jun 27, 2007 at 02:19:20PM +0200, tgingold@xxxxxxx wrote:
> > > Quoting Horms <horms@xxxxxxxxxxxx>:
> > > 
> > > > GET_THIS_PADDR() doesn't appear to work correclty
> > > > on xen-ia64-unstable.hg 15165:96331db61e47
> > > >
> > > > Long-winded description of why
> > > >
> > > >   cpu_data           = 0xf000000004410000
> > > >   ia64_tpa(cpu_data) = 0x0000000004410000
> > > >   __per_cpu_start    = 0x0003ffffffff0000
> > > >
> > > >   ia64_set_kr(IA64_KR_PER_CPU_DATA,
> > > >               ia64_tpa(cpu_data) - (long) __per_cpu_start);
> > > >   ar.k3              = ia64_tpa(cpu_data) - __per_cpu_start;
> > > >                      = 0x0000000004410000 - 0xf000000004410000
> > > >                    = 0x0f00000004420000 # N.B Underflow
> > > 
> > > I am lost here :-(  I though ar.kX were reserved by the domains.
> 
> In fact ar.kr3 is set by SET_PER_CPU_DATA in mca_asm.S
> Not anymore lost ;-)

and therefore you weren't looking at the correct assignment of kr3!

Tristan.

_______________________________________________
Xen-ia64-devel mailing list
Xen-ia64-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-ia64-devel