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)