> like x64 I seem to recall reading somewhere that "x64" actually referred to something which was distinct from x86_64 (was it a special mode of using 32-bit p

> like x64 I seem to recall reading somewhere that "x64" actually referred to something which was distinct from x86_64 (was it a special mode of using 32-bit pointers with a 64-bit kernel? I can't remember exactly now), but now that I am googling for it, I can't seem to find anything.