Bueno, pues de hecho si existio otra version de XP de 64bits pero era para procesadores Itanium.
La version de 64bits a la que te refieres, Professional x64 Edition vale tanto para AMD64 como EMT64 que es como lo llama Intel, porque son lo mismo. Ahora se usa el nombre mas generico x64.
