Provided by: systemtap-doc_2.3-1ubuntu1_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.