mempool_alloc(9) on Linux

The text 5ed075f8f788, as Debian 9 (Stretch) shipped it. The page shows this text now.

allocate an element from a specific memory pool

mempool_alloc(9) on Linux now