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

[Tristan Gingold <tgingold@xxxxxxx>]

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 ;-)

Tristan.

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