diff options
author | mischief <mischief@offblast.org> | 2014-06-09 12:17:45 -0700 |
---|---|---|
committer | mischief <mischief@offblast.org> | 2014-06-09 12:17:45 -0700 |
commit | 4afbc988cadd89e9063a10d27996fa09025ed3f5 (patch) | |
tree | cd71baf68f7a28e1a7ed6d0fcc9cb435e6589fc2 /sys/include | |
parent | f6a7c628235180f4b23c8e1aa3d744aa59d020bb (diff) |
pool: declare pooldump in pool.h. the manual says it is public.
Diffstat (limited to 'sys/include')
-rw-r--r-- | sys/include/pool.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/include/pool.h b/sys/include/pool.h index 1442e9536..571373e9f 100644 --- a/sys/include/pool.h +++ b/sys/include/pool.h @@ -39,6 +39,7 @@ extern void* poolrealloc(Pool*, void*, ulong); extern void poolcheck(Pool*); extern int poolcompact(Pool*); extern void poolblockcheck(Pool*, void*); +extern void pooldump(Pool*); extern Pool* mainmem; extern Pool* imagmem; |