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? Regards, Rene