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

This section describes functions a developer may use to provide calling and return syntax from a device driver to the kernel.

The intended audience for this section is software engineers who write, modify, or maintain device drivers. Readers should be familiar with the C programming language as well as system internals.