>>946
>>948
データ64アドレス32のモードは無いが、普通の64bitモード(データ32アドレス64)の時、プリフィックスで命令ごとにデータ64bitにしたり(0x4?)、アドレス32bitにしたり(0x67)できる。常に0x67を使うのが>940のx32abi(これはILP32でr8-r15とかも使える。)