9927 refetch_read_once() would like a p please bob

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