set_mark_bit_from_hdr  599 gc/alloc.c     	set_mark_bit_from_hdr(hhdr, word_no);
set_mark_bit_from_hdr  189 gc/mark.c          set_mark_bit_from_hdr(hhdr, word_no);
set_mark_bit_from_hdr 1391 gc/mark.c      	    set_mark_bit_from_hdr(hhdr, displ);