|
|
|
|
|
|
|
|
|
|
xen-ia64-devel
Re: [Xen-ia64-devel] GET_THIS_PADDR appears to be broken
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
|
|
|
|
|