1 /* This caused an out-of-range address on the MIPS port. */ foo(char * x)2 void foo (char *x) { __builtin_prefetch (x + 0x8000); } 3