DOKK / manpages

Man pages matching name device_get_driver in section 9: