６４ビットを使ってるならｘ６４だな。
ｘ８６は32ビットのやつ。