__builtin_prefetch 1926 gc/include/private/gcconfig.h #	    define PREFETCH(x) __builtin_prefetch((x), 0, 0)
__builtin_prefetch 1927 gc/include/private/gcconfig.h #	    define PREFETCH_FOR_WRITE(x) __builtin_prefetch((x), 1)