refs #5418 drive-by cleanup

git-svn-id: file:///svn/toku/tokudb@49043 c7de825b-a66e-492c-adef-691d508d4ae1

portability/portability.cc

@@ -354,14 +354,3 @@ double tokutime_to_seconds(tokutime_t t) {
     }
     return t*seconds_per_clock;
 }
-
-#if __GNUC__ && __i386__
-
-// workaround for a gcc 4.1.2 bug on 32 bit platforms.
-uint64_t toku_sync_fetch_and_add_uint64(volatile uint64_t *a, uint64_t b) __attribute__((noinline));
-
-uint64_t toku_sync_fetch_and_add_uint64(volatile uint64_t *a, uint64_t b) {
-    return __sync_fetch_and_add(a, b);
-}
-
-#endif