__deputy_memset is just memset

diff --git a/tos/lib/safe/include/deputy/checks.h b/tos/lib/safe/include/deputy/checks.h
index 32d85f37ef77a412b15345401e148197babdde2e..61f935d936418072afa0386d24da6295396b54f7 100644 (file)
--- a/tos/lib/safe/include/deputy/checks.h
+++ b/tos/lib/safe/include/deputy/checks.h
@@ -56,15 +56,7 @@ void deputy_fail_noreturn_fast(void);
 extern asmlinkage
 int deputy_findnull(const void *e1, unsigned int sz);
 
-//Define deputy_memset, which we use to initialize locals
-//FIXME:  We should set __deputy_memset = __builtin_memset to take advantage 
-//of optimizations.  How do we do that in a portable way?
-#if defined(memset) && !defined(IN_DEPUTY_LIBRARY)
 #define __deputy_memset memset
-#else
-extern asmlinkage
-void *__deputy_memset(void *s, int c, unsigned int n);
-#endif
 
 #if  defined(DEPUTY_FAST_CHECKS)
    #define deputy_fail deputy_fail_noreturn_fast