アドレッシング - __pud()
概要
pudval_t型の値をpud_t型に変換する
詳細
pudval_t型の値を引数として受け取り、CONFIG_PARAVIRTとCONFIG_PGTABLE_LEVELS、__PAGETABLE_PUD_FOLDEDの値によって以下のように処理が異なる
- CONFIG_PARAVIRTが定義されていてCONFIG_PGTABLE_LEVELSの値が4の場合
- PVOP_CALLEEx()にvalが32bitの場合は引数を1つ、64bitモードの場合は第1引数valの下位32bitを、第2引数に上位32bitの2つの値を渡してpv_mmu_ops.make_pud*1を実行しpudval_t型の値を取得する
- 取得した値をpud_t型に変換して返す
- CONFIG_PARAVIRTと__PAGETABLE_PUD_FOLDEDが未定義の場合
- native_make_pud()でpudval_t型の値をpud_t型に変換して返す
- 上記以外の場合
- __pgd()でvalをpgd_t型に変換した値をpud_t型に変換して返す
