Am 27.06.2010 um 22:53 schrieb Rene Gollent:
On Sun, Jun 27, 2010 at 4:16 PM, <andreas.faerber@xxxxxx> wrote:Note that on ppc64 GPR1 needs to be 64-bit, thus the choice of addr_t.Perhaps I misunderstood something, but if it needs to be 64-bit on PPC64, wouldn't that imply that it needs to be a phys_addr_t?
Perhaps I misunderstand, but it's dependent on the virtual, not the physical address. And the current frame pointer code uses addr_t. So I tried to avoid uint32, which is used for EBP on x86.
Regards, Andreas