 int* const dest,                                      const unsigned int val) { #if defined(KOKKOS_ENABLE_RFO_PREFETCH)   _mm_prefetch((const char*)dest, _MM_HINT_ET0); #endif   return __sync_fetch_and_sub(dest, val); }  inline 