アドレッシング - pmd_val()

概要

ページミドルディレクトリの値を返す

詳細

pmd_t型の値valを引数として受け取り、CONFIG_PARAVIRTと__PAGETABLE_PMD_FOLDED、CONFIG_PGTABLE_LEVELSの値によって以下のように処理が異なる

• CONFIG_PARAVIRTが有効でCONFIG_PGTABLE_LEVELSが3以上
  • PVOP_CALLEEx()にvalが32bitの場合は引数を1つ、64bitモードの場合は第1引数valの下位32bitを、第2引数に上位32bitの2つの値を渡してpv_mmu_ops.pmd_val*1を実行しpmdval_t型の値を返す
• CONFIG_PARAVIRTが無効で__PAGETABLE_PMD_FOLDEDが有効
  • native_pmd_val()を実行しpmdval_t型の値を返す
• それ以外
  • pud_val()でページアッパーディレクトリの値を取得して返す
  • ページテーブルにページミドルディレクトリが存在しないため、ページアッパーディレクトリと同じ値になる

*1:この関数はコンパイル時にPTE_IDENTで初期化される