IA64だと違うものになってしまうのでx86-64かな。
もっともAMDが提案した時に
Intelは何も言わずEM64TとかIA32eとか言ってたけど
今はIntel64とか言ってたかな。