X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fpool.h;h=ff5898434e5d03eb0ec070b83a991a9a91374a22;hb=bbe7ad1a7454599693c188fe1eaf8f5d6e154206;hp=e884ae61e723a4d063deebdadc99ed9f9d5db817;hpb=4fdeb2145d081ff1b84e3f6c99f9d1c048c0d64a;p=pspp

diff --git a/src/pool.h b/src/pool.h
index e884ae61e7..ff5898434e 100644
--- a/src/pool.h
+++ b/src/pool.h
@@ -40,6 +40,7 @@ void pool_clear (struct pool *);
 
 /* Suballocation routines. */
 void *pool_alloc (struct pool *, size_t) MALLOC_LIKE;
+void *pool_nalloc (struct pool *, size_t n, size_t s) MALLOC_LIKE;
 void *pool_clone (struct pool *, const void *, size_t) MALLOC_LIKE;
 char *pool_strdup (struct pool *, const char *) MALLOC_LIKE;
 char *pool_strndup (struct pool *, const char *, size_t) MALLOC_LIKE;
@@ -47,7 +48,10 @@ char *pool_strcat (struct pool *, const char *, ...) MALLOC_LIKE;
 
 /* Standard allocation routines. */
 void *pool_malloc (struct pool *, size_t) MALLOC_LIKE;
+void *pool_nmalloc (struct pool *, size_t n, size_t s) MALLOC_LIKE;
 void *pool_realloc (struct pool *, void *, size_t);
+void *pool_nrealloc (struct pool *, void *, size_t n, size_t s);
+void *pool_2nrealloc (struct pool *, void *, size_t *pn, size_t s);
 void pool_free (struct pool *, void *);
 
 /* Gizmo allocations. */