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)