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