carta
blk_free_devt(9) on Linux
The text bf1094e2d25f, as Debian 7 (Wheezy) shipped it.
free a dev_t
blk_free_devt(9) on Linux now