アドレッシング - __pgd()
概要
pgdval_t型の値をpgd_t型に変換する
詳細
pgdval_t型の値を引数として受け取り、CONFIG_PARAVIRTの値によって以下のように処理が異なる
- 有効
- PVOP_CALLEEx()にvalが32bitの場合は引数を1つ、64bitモードの場合は第1引数valの下位32bitを、第2引数に上位32bitの2つの値を渡してpv_mmu_ops.make_pgd*1を実行しpgdval_t型の値を取得する
- 取得した値をpgd_t型の値に変換して返す
- 無効
- native_make_pgd()でpgdval_t型の値をpgd_t型の値に変換して返す