X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/013297c0d65e3dab85bb75c5a104babaebedd230..56a09572268504317eb2885b827f9c4378071a7c:/kernel/fiasco/src/lib/libk/atomic.cpp

diff --git a/kernel/fiasco/src/lib/libk/atomic.cpp b/kernel/fiasco/src/lib/libk/atomic.cpp
index ff4d5b105..3f8ddb83f 100644
--- a/kernel/fiasco/src/lib/libk/atomic.cpp
+++ b/kernel/fiasco/src/lib/libk/atomic.cpp
@@ -169,14 +169,6 @@ mp_cas2_arch(char *m, Mword o1, Mword o2, Mword n1, Mword n2)
 
   return ret;
 }
-inline
-bool
-tas(Mword *l)
-{
-  Mword tmp;
-  asm volatile ("xchg %0, %1" : "=r"(tmp) : "m"(*l), "0"(1) : "memory");
-  return tmp;
-}
 
 //---------------------------------------------------------------------------
 IMPLEMENTATION[(ppc32 && !mp) || (sparc && !mp) || (arm && !armv6plus)]: