The man pages for the driver routines, structures, and support routines that comprise the DDI/DKI can be found in the sections of man Pages(1M): System Administration Commands listed below. See the Intro(9) man page for more information about these sections.
Section 9E - Driver entry points
Section 9F - Driver support functions
A Device Driver Developers Kit (DDK) is available separately.