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