function::MKDEV(3stap) on Linux

The text 4258e953bdd2, as Debian 9 (Stretch) shipped it.

Creates a value that can be compared to a kernel device number (kdev_t)

function::MKDEV(3stap) on Linux now