PREF_DIST 757 gc/mark.c PREFETCH((ptr_t)limit - PREF_DIST*CACHE_LINE_SIZE); PREF_DIST 786 gc/mark.c PREFETCH((ptr_t)current_p + PREF_DIST*CACHE_LINE_SIZE);