It will eventually market this under the name "AMD64".
在市場上以AMD64的名稱稱之。