From 9087df66bbf8bf04f1c235cca43642b2bf84217b Mon Sep 17 00:00:00 2001
From: regehr <regehr>
Date: Thu, 3 Jul 2008 03:11:54 +0000
Subject: [PATCH] __deputy_memset is just memset

---
 tos/lib/safe/include/deputy/checks.h | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/tos/lib/safe/include/deputy/checks.h b/tos/lib/safe/include/deputy/checks.h
index 32d85f37..61f935d9 100644
--- 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
-- 
2.39.2