The text 28e674fbdc7e, as Debian 7 (Wheezy) shipped it.
deallocate buffer pools
hcd_buffer_destroy(9) on Linux now
