Name

mempool_alloc — allocate an element from a specific memory pool