9927 refetch_read_once() would like a p please bob

@@ -61,11 +61,11 @@
             : "r" (addr));
 #endif  /* __amd64 */
 }
 
 extern __GNU_INLINE void
-refetch_read_once(void *addr)
+prefetch_read_once(void *addr)
 {
 #if defined(__amd64)
         __asm__(
             "prefetchnta (%0);"
             "prefetchnta 32(%0);"