Man Pages (9F): Kernel Functions for Device Drivers