diff options
Diffstat (limited to 'win32_threads.c')
| -rw-r--r-- | win32_threads.c | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/win32_threads.c b/win32_threads.c index 2a415ac7..96f82068 100644 --- a/win32_threads.c +++ b/win32_threads.c @@ -2505,6 +2505,12 @@ GC_INNER void GC_get_next_stack(char *start, char *limit, static unsigned required_markers_cnt = 0; /* The default value (0) means the number of */ /* markers should be selected automatically. */ + + GC_API void GC_CALL GC_set_markers_count(unsigned markers) + { + /* The same implementation as in pthread_support.c. */ + required_markers_cnt = markers < MAX_MARKERS ? markers : MAX_MARKERS; + } #endif /* PARALLEL_MARK */ /* We have no DllMain to take care of new threads. Thus we */ @@ -2742,14 +2748,6 @@ GC_INNER void GC_get_next_stack(char *start, char *limit, #endif /* GC_WINMAIN_REDIRECT */ -GC_API void GC_CALL GC_set_markers_count(unsigned markers GC_ATTR_UNUSED) -{ - /* The same implementation as in pthread_support.c. */ -# ifdef PARALLEL_MARK - required_markers_cnt = markers < MAX_MARKERS ? markers : MAX_MARKERS; -# endif -} - GC_INNER void GC_thr_init(void) { struct GC_stack_base sb; |