PREFETCH          808 gc/include/private/gcconfig.h #	define PREFETCH(x) \
PREFETCH         1152 gc/include/private/gcconfig.h #	  define PREFETCH(x) \
PREFETCH         1166 gc/include/private/gcconfig.h #	  define PREFETCH(x) \
PREFETCH         1485 gc/include/private/gcconfig.h #       define PREFETCH(x)  { \
PREFETCH         1671 gc/include/private/gcconfig.h #	    define PREFETCH(x) \
PREFETCH         1679 gc/include/private/gcconfig.h #	    define PREFETCH(x) \
PREFETCH         1926 gc/include/private/gcconfig.h #	    define PREFETCH(x) __builtin_prefetch((x), 0, 0)
PREFETCH         2051 gc/include/private/gcconfig.h #   define PREFETCH(x)