Re: pool (was Re: options DIAGNOSTIC)

[Tsubai Masanari <tsubai@iri.co.jp>]

>API 的には PMAP_MAP_POOLPAGE() は pa を渡して va を
>返すのでどちらかというと PMAP_UNMAP_POOLPAGE() かなと

そうですね。UNMAP の方でした。

>思いますが、 malloc を使う場合 MAP したのではない va を
>UNMAP していいのかと言われるとやっぱりちょっと変かも。

malloc は考えてません。:-)
pa == va とわかってるのに vtophys するのはもったいないなーというの
と、マクロで隠すと pmreal == pmap というのが直接見えなくなるので
pmreal を残したままにすることを正当化できる:-)というのが目的です。
#ifdef は余計かな。読みにくくなるだけだ。

>ところで、現状の pmreal に (malloc の返す) page で map されてる
>va を渡しても問題なく動くんでしょうか。(速度は別にして)

軽く試してみたところ、割り込みが入る辺りで落ちました。例外処理
などでアドレス変換無効にしているところがあるので、まあ、こんな
ものかと。(例によってちゃんと読んでません:-)