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); }