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