On Sun, Jun 06, 2010 at 09:05:54PM -0400, Paul Koning wrote: > That's exactly correct. To convert a 32 bit address to the equivalent > 64 bit address, you sign-extend it. OK, so I'll add casts in the alchemy code (it only uses a few places to encode offsets % PAGE_SIZE in a bus space handle). Martin