dev_t(3type) on Linux

The text a2b2cf2cde13, as Debian 13 (Trixie) shipped it.

device ID

dev_t(3type) on Linux now