X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_string.h;h=1f33de1af1c21fbe23150593cc3a0e5a5e8d62fa;hb=7192677f55dd5594438a8a8846aa2d70f76d2c76;hp=46ecef5eefab34d92b323fa1b26bd22febdd8948;hpb=a109eb919a162bd7de58d62020801bc2e633be50;p=palacios-OLD.git

diff --git a/palacios/include/palacios/vmm_string.h b/palacios/include/palacios/vmm_string.h
index 46ecef5..1f33de1 100644
--- a/palacios/include/palacios/vmm_string.h
+++ b/palacios/include/palacios/vmm_string.h
@@ -1,7 +1,9 @@
-/*
- * String library
+/* * String library
  * Copyright (c) 2001,2004 David H. Hovemeyer <daveho@cs.umd.edu>
- * $Revision: 1.1 $
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, Lei Xia <xiaxlei@gmail.com> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+ * $Revision: 1.2 $
  * 
  * This is free software.  You are permitted to use,
  * redistribute, and modify it as specified in the file "COPYING".
@@ -10,6 +12,8 @@
 #ifndef STRING_H
 #define STRING_H
 
+#ifdef __V3VEE__
+
 #include <stddef.h>
 
 void* memset(void* s, int c, size_t n);
@@ -30,5 +34,9 @@ char *strrchr(const char *s, int c);
 char *strpbrk(const char *s, const char *accept);
 
 
+double ceil(double x);
+
+
+#endif // !__V3VEE__
 
 #endif  /* STRING_H */