PUSH_CONTENTS_HDR 188 gc/include/private/gc_pmark.h PUSH_CONTENTS_HDR(my_current, mark_stack_top, mark_stack_limit, \ PUSH_CONTENTS_HDR 201 gc/include/private/gc_pmark.h PUSH_CONTENTS_HDR(my_current, mark_stack_top, mark_stack_limit, \