GC_invalidate_mark_state  372 gc/alloc.c         GC_invalidate_mark_state();  /* Flush mark stack.	*/
GC_invalidate_mark_state  383 gc/alloc.c         	GC_invalidate_mark_state();
GC_invalidate_mark_state 1286 gc/include/private/gc_priv.h void GC_invalidate_mark_state GC_PROTO((void));
GC_invalidate_mark_state  506 gc/mark.c                GC_invalidate_mark_state();