GC_invalid_header  130 gc/headers.c   hdr * GC_invalid_header;
GC_invalid_header  146 gc/headers.c       GC_invalid_header = alloc_hdr();
GC_invalid_header  147 gc/headers.c       GC_invalidate_map(GC_invalid_header);
GC_invalid_header   63 gc/include/private/gc_hdrs.h extern hdr * GC_invalid_header; /* header for an imaginary block 	*/
GC_invalid_header   72 gc/include/private/gc_hdrs.h 	      hdr * new_hdr = GC_invalid_header; \
GC_invalid_header  184 gc/include/private/gc_pmark.h 	 hdr * new_hdr = GC_invalid_header; \