DOKK
/
manpages
Man pages matching name
device_set_driver
in section
9
: