diff options
Diffstat (limited to 'gc/mmtk/src/api.rs')
| -rw-r--r-- | gc/mmtk/src/api.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gc/mmtk/src/api.rs b/gc/mmtk/src/api.rs index 0145dcda08..3fa8b2af02 100644 --- a/gc/mmtk/src/api.rs +++ b/gc/mmtk/src/api.rs @@ -328,6 +328,11 @@ pub extern "C" fn mmtk_last_heap_address() -> Address { memory_manager::last_heap_address() } +#[no_mangle] +pub extern "C" fn mmtk_worker_count() -> usize { + memory_manager::num_of_workers(mmtk()) +} + // =============== Miscellaneous =============== #[no_mangle] |