>>448
pmapがVIPTキャッシュをあんまり考慮してないとか
KSEG0/KSEG1に全物理メモリが見えてないといけないとか