diff options
Diffstat (limited to 'byterun/alloc.h')
| -rw-r--r-- | byterun/alloc.h | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/byterun/alloc.h b/byterun/alloc.h index 4f6d191f2..39a8797d5 100644 --- a/byterun/alloc.h +++ b/byterun/alloc.h @@ -23,12 +23,22 @@ value alloc (mlsize_t, tag_t); value alloc_small (mlsize_t, tag_t); value alloc_tuple (mlsize_t); value alloc_string (mlsize_t); -value alloc_final (mlsize_t, final_fun, mlsize_t, mlsize_t); value copy_string (char *); value copy_string_array (char **); value copy_double (double); value alloc_array (value (*funct) (char *), char ** array); -int convert_flag_list (value, int *); +value alloc_custom(struct custom_operations * ops, + unsigned long size, /*size in bytes*/ + mlsize_t mem, /*resources consumed*/ + mlsize_t max /*max resources*/); + +typedef void (*final_fun)(value); +value alloc_final (mlsize_t /*size in words*/, + final_fun, /*finalization function*/ + mlsize_t, /*resources consumed*/ + mlsize_t /*max resources*/); + +int convert_flag_list (value, int *); #endif /* _alloc_ */ |