Paul Mackerras wrote:
> 
> Just by inspection, this looks like pfn should be changed to
> paddr64 >> PAGE_SHIFT in that last line.
> 
> Paul.

Agreed, thank you.  Patch is attached.

-- 
~Randy