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 June 2018 FUNCTION::USRDEV2KER(3stap)