Provided by: systemtap-doc_5.1-4.1_amd64 

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) SystemTap Tapset Reference April 2024 FUNCTION::USRDEV2KER(3stap)