アドレッシング - pgd_val()
概要
ページグローバルディレクトリの値を返す
詳細
pgd_t型の値valを引数として受け取り、CONFIG_PARAVIRTの値によって以下のように処理が異なる
- 有効
- PVOP_CALLEEx()にvalが32bitの場合は引数を1つ、64bitモードの場合は第1引数valの下位32bitを、第2引数に上位32bitの2つの値を渡してpv_mmu_ops.pgd_val*1を実行しpgdval_t型の値を返す
- 無効
- native_pgd_val()を実行しpgdval_t型の値を返す
