PREFETCH 2050 gc/include/private/gcconfig.h # ifndef PREFETCH PREFETCH 687 gc/mark.c PREFETCH((ptr_t)current); PREFETCH 757 gc/mark.c PREFETCH((ptr_t)limit - PREF_DIST*CACHE_LINE_SIZE); PREFETCH 763 gc/mark.c PREFETCH((ptr_t)deferred); PREFETCH 773 gc/mark.c PREFETCH((ptr_t)deferred); PREFETCH 786 gc/mark.c PREFETCH((ptr_t)current_p + PREF_DIST*CACHE_LINE_SIZE); PREFETCH 790 gc/mark.c PREFETCH((ptr_t)current); PREFETCH 1321 gc/mark.c PREFETCH(obj);