inline void Prefetch::read (void *loc, intx interval) {
#ifdef AMD64
  _Prefetch_read(loc, interval);
#endif // AMD64
}
inline void Prefetch::read(void *loc, intx interval) {
  _Prefetch_read(loc, interval);
}