1 /* -----------------------------------------------------------------------------
2 * $Id: StablePtr.h,v 1.2 1998/12/02 13:28:49 simonm Exp $
6 * ---------------------------------------------------------------------------*/
8 extern StgPtr *stable_ptr_table;
9 extern StgPtr *stable_ptr_free;
11 extern void initStablePtrTable(void);
12 extern void markStablePtrTable(void);
13 extern void enlargeStablePtrTable(void);
16 deRefStablePointer(StgInt stable_ptr)
18 return stable_ptr_table[stable_ptr];
21 extern void performIO(StgStablePtr stableIndex);