deferred          748 gc/mark.c              word deferred;
deferred          759 gc/mark.c      	  deferred = *limit;
deferred          760 gc/mark.c      	  FIXUP_POINTER(deferred);
deferred          762 gc/mark.c      	  if ((ptr_t)deferred >= least_ha && (ptr_t)deferred <  greatest_ha) {
deferred          763 gc/mark.c      	    PREFETCH((ptr_t)deferred);
deferred          769 gc/mark.c      	  deferred = *limit;
deferred          770 gc/mark.c      	  FIXUP_POINTER(deferred);
deferred          772 gc/mark.c      	  if ((ptr_t)deferred >= least_ha && (ptr_t)deferred <  greatest_ha) {
deferred          773 gc/mark.c      	    PREFETCH((ptr_t)deferred);
deferred          801 gc/mark.c              HC_PUSH_CONTENTS((ptr_t)deferred, mark_stack_top,