Lines Matching defs:pool
89 /* Memory pool. Nb: first two fields must match core's VgHashNode. */
93 Addr pool; // pool identifier
94 SizeT rzB; // pool red-zone size
95 Bool is_zeroed; // allocations from this pool are zeroed
96 VgHashTable chunks; // chunks associated with this pool
108 void MC_(create_mempool) ( Addr pool, UInt rzB, Bool is_zeroed );
109 void MC_(destroy_mempool) ( Addr pool );
110 void MC_(mempool_alloc) ( ThreadId tid, Addr pool,
112 void MC_(mempool_free) ( Addr pool, Addr addr );
113 void MC_(mempool_trim) ( Addr pool, Addr addr, SizeT size );
115 void MC_(mempool_change) ( Addr pool, Addr addrA, Addr addrB, SizeT size );
116 Bool MC_(mempool_exists) ( Addr pool );