PREFETCH_FOR_WRITE  810 gc/include/private/gcconfig.h #	define PREFETCH_FOR_WRITE(x) \
PREFETCH_FOR_WRITE 1161 gc/include/private/gcconfig.h #	    define PREFETCH_FOR_WRITE(x) \
PREFETCH_FOR_WRITE 1168 gc/include/private/gcconfig.h #	  define PREFETCH_FOR_WRITE(x) \
PREFETCH_FOR_WRITE 1673 gc/include/private/gcconfig.h #	    define PREFETCH_FOR_WRITE(x) \
PREFETCH_FOR_WRITE 1681 gc/include/private/gcconfig.h #	    define PREFETCH_FOR_WRITE(x) \
PREFETCH_FOR_WRITE 1927 gc/include/private/gcconfig.h #	    define PREFETCH_FOR_WRITE(x) __builtin_prefetch((x), 1)
PREFETCH_FOR_WRITE 2056 gc/include/private/gcconfig.h #   define PREFETCH_FOR_WRITE(x)