Provided by: systemtap-doc_3.1-3ubuntu0.1_all bug

NAME

       function::usrdev2kerndev - Converts a user-space device number into the format used in the
       kernel

SYNOPSIS

           usrdev2kerndev:long(dev:long)

ARGUMENTS

       dev
           Device number in user-space format.

SEE ALSO

       tapset::dev(3stap)