function::usrdev2kerndev − Converts a user−space device number into the format used in the kernel
usrdev2kerndev:long(dev:long)
dev
Device number in user−space format.
tapset::dev(3stap)