man pages section 9E: DDI and DKI Driver Entry Points