diff options
Diffstat (limited to 'rts/HsFFI.c')
| -rw-r--r-- | rts/HsFFI.c | 20 |
1 files changed, 17 insertions, 3 deletions
diff --git a/rts/HsFFI.c b/rts/HsFFI.c index 8fae246111..e482932193 100644 --- a/rts/HsFFI.c +++ b/rts/HsFFI.c @@ -10,7 +10,7 @@ #include "HsFFI.h" #include "Rts.h" -#include "Stable.h" +#include "StablePtr.h" #include "Task.h" // hs_init and hs_exit are defined in RtsStartup.c @@ -28,14 +28,28 @@ hs_perform_gc(void) performMajorGC(); } +// Lock the stable pointer table +void hs_lock_stable_ptr_table (void) +{ + stablePtrLock(); +} + +// Deprecated version of hs_lock_stable_ptr_table void hs_lock_stable_tables (void) { - stableLock(); + stablePtrLock(); +} + +// Unlock the stable pointer table +void hs_unlock_stable_ptr_table (void) +{ + stablePtrUnlock(); } +// Deprecated version of hs_unlock_stable_ptr_table void hs_unlock_stable_tables (void) { - stableUnlock(); + stablePtrUnlock(); } void |