64 ビット モードでは、デフォルトのアドレス サイズは 64 ビットです。アドレス サイズ オーバーライド プレフィックス (67h) が存在する場合、アドレス サイズは 32 ビットです。
正規の 64 ビット アドレスのビット 63 から実装されている最上位ビットまでがすべて 0 またはすべて 1 であるという事実を認識しています。32 ビット アドレス (64 ビット モードの命令に 67h をプレフィックスとして付けることで得られる) は、標準形式である必要がありますか? はいの場合、この正規形はどのように定義されていますか?