アドレッシング - pud_val()
概要
ページアッパーディレクトリの値を返す
詳細
pud_t型の値valを引数として受け取り、CONFIG_PARAVIRTと__PAGETABLE_PUD_FOLDED、CONFIG_PGTABLE_LEVELSの値によって以下のように処理が異なる
- CONFIG_PARAVIRTが有効でCONFIG_PGTABLE_LEVELSの値が4
- PVOP_CALLEEx()にvalが32bitの場合は引数を1つ、64bitモードの場合は第1引数valの下位32bitを、第2引数に上位32bitの2つの値を渡してpv_mmu_ops.pud_val*1を実行しpudval_t型の値を返す
- CONFIG_PARAVIRTが無効で__PAGETABLE_PUD_FOLDEDが有効
- native_pud_val()を実行しpudval_t型の値を返す
- それ以外
