If the process attempts to modify the page, the kernel gets a write fault.
プロセスがそのページを変更しようとするとカーネルは書き込み例外を検出します。 - FreeBSD
A kernel demand paging part 2 swaps a page of the kernel space 4a in the physical memory 5 from a swap device 6 when a page fault is generated in the kernel space 4a in the case of system operation. カーネルデマンドページング部2は、システム運用時にカーネル空間4a内でページフォルトが発生した場合に、カーネル空間4aのページをスワップデバイス6から物理メモリ5にスワップインする。 - 特許庁
(7), but is set to 10 if the kernel command line contains the word "debug", and to 15 in case of a kernelfault (the 10 and 15 are just silly, and equivalent to 8).
(7) に設定されるが、起動時にカーネルのコマンド・ライン・オプションに "debug" という単語が含まれている場合は10 に設定され、カーネル・フォールトが発生した場合には 15 に設定される(但し、10 や 15 という数字に意味はなく、8 と同等である)。 - JM
To provide an information processor for suppressing the occurrence of a page fault in the case of performing communication by using an inter-user/kernel shared memory as a transmission/reception buffer. ユーザ・カーネル間共有メモリを送受信バッファとして利用して通信する場合におけるページフォルトの発生を抑制する情報処理装置を提供する。 - 特許庁
If you are using a GENERIC kernel image from one of the snapshots, then it is possible for somebody else to track down the offending function, but if you are running a custom kernel then only you can tell us where the fault occurred.
もしスナップショットなどの GENERICカーネルを使っているのであれば、他の人間が問題のある関数について追試をすることができますが、カスタマイズされたカーネルの場合は、使っている本人にしか問題の起こった場所は特定できないのです。 - FreeBSD
Copyright (c) 2001 Robert Kiesling. Copyright (c) 2002, 2003 David Merrill. The contents of this document are licensed under the GNU Free Documentation License. Copyright (C) 1999 JM Project All rights reserved.