2016-06-29 アドレッシング - native_make_pgd() address 概要 pgdval_t型の値をpgd_t型に変換する 詳細 pgdval_t型の値valを引数として受け取り、valを値とするpgd_t型の値を返す