The text df9a3d338e7f, as Debian 8 (Jessie) shipped it.
Managed dma_pool_destroy
dmam_pool_destroy(9) on Linux now
