1 /* -----------------------------------------------------------------------------
3 * (c) The GHC Team, 1998-1999
5 * Block Allocator Interface
7 * ---------------------------------------------------------------------------*/
12 #include "BeginPrivate.h"
14 /* Debugging -------------------------------------------------------------- */
16 extern nat countBlocks (bdescr *bd);
17 extern nat countAllocdBlocks (bdescr *bd);
18 extern void returnMemoryToOS(nat n);
21 void checkFreeListSanity(void);
22 nat countFreeList(void);
23 void markBlocks (bdescr *bd);
24 void reportUnmarkedBlocks (void);
27 extern lnat n_alloc_blocks; // currently allocated blocks
28 extern lnat hw_alloc_blocks; // high-water allocated blocks
30 #include "EndPrivate.h"
32 #endif /* BLOCK_ALLOC_H */