CACHE_LINE_SIZE  2060 gc/include/private/gcconfig.h # ifndef CACHE_LINE_SIZE
CACHE_LINE_SIZE   757 gc/mark.c      	  PREFETCH((ptr_t)limit - PREF_DIST*CACHE_LINE_SIZE);
CACHE_LINE_SIZE   786 gc/mark.c              PREFETCH((ptr_t)current_p + PREF_DIST*CACHE_LINE_SIZE);