FreeBSDのカーネルのソースをまとめてダウンロードしたいのだが場所が分からない。 FTPサイトを巡ってもそれらしきものが見つからない・・・。

OSASKのKさんからアドバイスを頂いた。 非常に有用な内容だったので、引用してみる(Kさん引用NGだったら即削除します) # CR3に代入した時点で、TLBはクリアされます。ひげぽんさんとしては、そのクリア時間を知りたいだけですか？それならこのコードでいいの…