DOKK / manpages / debian 10 / systemtap-doc / function::usrdev2kerndev.3stap.en
FUNCTION::USRDEV2KER(3stap) Device Tapset FUNCTION::USRDEV2KER(3stap)

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)

October 2018 SystemTap Tapset Reference