この記事はTumblrで公開されていました
Plan 9を使っていると、たまに、
<pid> <command>: checked <n> page table entries
というログがコンソールに出力される場合があります。これは、/sys/src/9/port/fault.cのcheckpagesが出力しているもので、checkpagesが呼び出しされるのは/sys/src/9/pc/trap.cのfault386からです。
fault386はページフォルト発生時に割り込みで呼ばれる処理なので、エラーメッセージとしては、頻発していないならそれほど気にするものではなさそうです。
余談ですが、Plan 9の割り込みは主に/sys/src/9/pc/trap.cのtrapinit0とtrapinitの2つの関数で行われていて、これらは単純に、割り込みを有効にするタイミングが違いますが、どちらも割り込みテーブルにアドレスを設定しているだけです。Intelのドキュメントに割り込みテーブル構造が載っていますけど、32bitと64bitで、若干フォーマットが異なるのがややこしいですね。