Actually, it was originally called x86-64. The AMD64 branding came around about the time the chips were actually released. Back around 2002 or 2003, I sent aw

Actually, it was originally called x86-64. The AMD64 branding came around about the time the chips were actually released. Back around 2002 or 2003, I sent away to AMD for a set of reference manuals, got back a nice five-volume set which said "x86-64" everywhere and a little note in the box saying "where it says x86-64, read AMD64"