K 10 svn:author V 6 marcel K 8 svn:date V 27 2003-01-05T21:40:45.000000Z K 7 svn:log V 254 Make all memory I/O addresses (explicitly) 64-bit. Memory mapped devices aren't necessarily mapped within 4GB. I/O port addresses are offsets into the memory mapped I/O port space, which is not larger than 16MB. No need to convert those to 64 bit types. END