PREFETCH_FOR_WRITE 2055 gc/include/private/gcconfig.h # ifndef PREFETCH_FOR_WRITE
PREFETCH_FOR_WRITE  107 gc/new_hblk.c  	PREFETCH_FOR_WRITE((ptr_t)(p+64));
PREFETCH_FOR_WRITE  145 gc/new_hblk.c  	PREFETCH_FOR_WRITE((ptr_t)(p+64));
PREFETCH_FOR_WRITE  174 gc/new_hblk.c      PREFETCH_FOR_WRITE((ptr_t)h);
PREFETCH_FOR_WRITE  175 gc/new_hblk.c      PREFETCH_FOR_WRITE((ptr_t)h + 128);
PREFETCH_FOR_WRITE  176 gc/new_hblk.c      PREFETCH_FOR_WRITE((ptr_t)h + 256);
PREFETCH_FOR_WRITE  177 gc/new_hblk.c      PREFETCH_FOR_WRITE((ptr_t)h + 378);
PREFETCH_FOR_WRITE  302 gc/pthread_support.c 	    PREFETCH_FOR_WRITE(next);