24531904_j

probe
probe ─ アクセスのプローブ (Probe Access)
書式 : (qp) probe.rr 1 = r 3 , r 2 read_form, register_form M38
(qp) probe.wr 1 = r 3 , r 2 write_form, register_form M38
(qp) probe.rr 1 = r 3 , imm 2 read_form, immediate_form M39
(qp) probe.wr 1 = r 3 , imm 2 write_form, immediate_form M39
(qp) probe.r.faultr 3 , imm 2 fault_form, read_form, immediate_form M40
(qp) probe.w.fault r 3 , imm 2 fault_form, write_form, immediate_form M40
(qp) probe.rw.fault r 3 , imm 2 fault_form, read_write_form, immediate_form M40
説明 : この命令は、 ( 指定された特権レベルでの ) 指定 さ れた仮想ア ド レ スへの読み込み ま たは
書き込みアクセスが許可されるかど うかを判定する。 指定されたアクセスが許可される
場合は、 GR r1 が 1 に設定される。 許可されない場合は、 GR r1 が 0 に設定される。
fault_form では、 指定 さ れたア ク セスが許可される場合、 こ の命令は何 も 実行しない。 指
定されたアクセスが許可されない場合は、 フォルトが発生する。
PSR.dt が 1 の場合は、 DTLB および VHPT 内で現在の変換エン ト リ の クエ リ が行われ、
GR r3 のビ ッ ト {60:0} によって指定された仮想アドレスおよびGR r3 のビ ッ ト {63:61} に
よ ってインデッ クスが付けられたリ ージ ョ ン ・ レジスタへのアクセスが、 GR r2 のビ ッ
ト {1:0} または imm2 によ って指定される特権レベルで許可されるかど うかを判定する。
PSR.pk が 1 の場合は、 保護キー ・ チェ ッ ク も 実行される。 read_form と write_form は、
こ の命令が、 読み込みアクセスをチ ェ ッ ク するか、 書き込みアクセスをチェ ッ ク するか、
あるいはその両方をチェックするかを指定する。 PSR.dt が 0 の場合は、 VHPT ウォーカがディスエーブルにされるため、 フォルトを発生
しないプロ ーブは、 命令のア ド レ ス ・ オペラ ン ド を仮想ア ド レス と して使用して、
DTLB のクエリだけを実行する。 プローブされるアドレスが DTLB 内で見つか った場合
は、 フ ォル ト を発生しないプローブは、 適切な値を返す ( 別のデー タ TLB フォルトが発
生しない場合 )。
PSR.dt が 0 の場合は、 フ ォ ル ト を発生する プロ ーブは、 命令のア ド レ ス ・ オペラ ン ド を
物理ア ド レ ス と して取 り 扱 う 。 こ の場合、 TLB に関連する フ ォル ト は発生しない。
実装 さ れていない仮想ア ド レ ス に対して、 フ ォ ル ト を発生しないプ ロ ー ブを発行する と 、
0 が返される。 実装されていない仮想アドレスに対して (PSR.dt が 1 の場合 )、 または実
装されていない物理ア ド レ スに対して (PSR.dt が 0 の場合 )、 フ ォ ル ト を発生す る プ ロ ー
ブを発行する と 、 実装されていないデー タ ・ ア ド レ ス ・ フ ォ ル ト が発生する。
こ の命令でフ ォ ル ト が発生した場合、 こ の命令は、 ISR 内の非アクセス ・ ビ ッ ト をセ ッ
トし、 コンプリータに基づいてISR の読み込みビッ ト または書き込みビッ ト をセッ ト す
る。 実装されていないデータ ・ アド レス、 データ ・ キー許可、 データ ・ アクセス権、
データ ・ ダーティ ・ ビッ ト、 データ ・ アクセス ・ ビッ ト、 データ ・ デバッグの各フォル
ト は、 フ ォ ル ト を発生する形式のプ ロ ー ブ命令でのみ発生す る。 フ ォ ル ト を発生しない
形式のプローブ命令では、 これらのフ ォル ト は発生しない。
こ の命令は、 現在の特権レ ベル と 同じ か、 それよ り 下位の特権レベルについてのみ、 プ
ロ ー ブを実行で き る。 指定された特権レ ベルの方が上位 ( 小さい数値 ) である場合は、
プローブは現在の特権レベルで実行される。
第 3 巻 : 命令リファレンス 3:193