diff options
author | Dave Barach <dave@barachs.net> | 2020-08-28 10:39:00 -0400 |
---|---|---|
committer | Florin Coras <florin.coras@gmail.com> | 2020-08-28 15:31:07 +0000 |
commit | 2b79341dcafe8fa9397acf42b8021c88664db2df (patch) | |
tree | 6bfc5c5c86d5e6c42f62445d68822adab48eac00 /.gitignore | |
parent | e6df80de415f53a7df326d06ab4a8a60a96ba039 (diff) |
vppinfra: add clib_mem_destroy_mspace(void *ms)
Also clib_mem_destroy() to destroy the current mspace.
Handy when an application wants to make a memory allocation arena
disappear.
Type: improvement
Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: I020db902fbe2473545506fecbc230c2b048992f8
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions