| Damien | dcced92 | 2013-10-21 23:45:08 +0100 | [diff] [blame] | 1 | void gc_init(void *start, void *end); |
| 2 | void gc_collect_start(); |
| 3 | void gc_collect_root(void **ptrs, machine_uint_t len); |
| 4 | void gc_collect_end(); |
| 5 | void gc_collect(); |
| 6 | void *gc_alloc(machine_uint_t n_bytes); |
| 7 | machine_uint_t gc_nbytes(void *ptr_in); |
| 8 | void *gc_realloc(void *ptr, machine_uint_t n_bytes); |
| Damien | eefcc79 | 2013-10-22 15:25:25 +0100 | [diff] [blame^] | 9 | |
| 10 | typedef struct _gc_info_t { |
| 11 | machine_uint_t total; |
| 12 | machine_uint_t used; |
| 13 | machine_uint_t free; |
| 14 | machine_uint_t num_1block; |
| 15 | machine_uint_t num_2block; |
| 16 | machine_uint_t max_block; |
| 17 | } gc_info_t; |
| 18 | |
| 19 | void gc_info(gc_info_t *info); |