『man Pages(9F): DDI and DKI Kernel Functions』

このセクションではデバイスドライバからカーネルドライバへの呼び出しやリターン構文を提供する場合に、開発者が使用する関数を説明します。

デバイスドライバの記述方法、保守、または修正に携わるソフトウェアのエンジニアを対象にしています。システム内部と同じく、C 言語に慣れているユーザーを対象として書かれています。