FUNCTION::USRDEV2KER(3stap) Device Tapset FUNCTION::USRDEV2KER(3stap)NAMEfunction::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.
SystemTap Tapset Reference March 2013 FUNCTION::USRDEV2KER(3stap)