X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_string.c;h=18722e5b4b909e2ba9cc53f2270e917f3706200a;hp=ecc08a84d2e3eaa9c54b96adfe6ca2f27581963e;hb=af355c370ac80f8e19d6375cb3070213c29a92eb;hpb=9e5b4c4140241b45094c87ac15f75fead726981f

diff --git a/palacios/src/palacios/vmm_string.c b/palacios/src/palacios/vmm_string.c
index ecc08a8..18722e5 100644
--- a/palacios/src/palacios/vmm_string.c
+++ b/palacios/src/palacios/vmm_string.c
@@ -1,7 +1,7 @@
 /*
  * String library
  * Copyright (c) 2001,2004 David H. Hovemeyer <daveho@cs.umd.edu>
- * $Revision: 1.1 $
+ * $Revision: 1.2 $
  * 
  * This is free software.  You are permitted to use,
  * redistribute, and modify it as specified in the file "COPYING".
@@ -16,9 +16,20 @@
 
 
 #include <palacios/vmm_string.h>
+#include <palacios/vmm.h>
 
-extern void *Malloc(size_t size);
 
+
+static float e = 0.00000001;
+
+double ceil(double x) {
+  if ((double)(x - (int)x) == 0) {
+    return (int)x;
+  }
+  return (int)(x + e) + 1;
+}
+
+#if 0
 void* memset(void* s, int c, size_t n)
 {
     unsigned char* p = (unsigned char*) s;
@@ -31,6 +42,7 @@ void* memset(void* s, int c, size_t n)
     return s;
 }
 
+
 void* memcpy(void *dst, const void* src, size_t n)
 {
     unsigned char* d = (unsigned char*) dst;
@@ -44,6 +56,7 @@ void* memcpy(void *dst, const void* src, size_t n)
     return dst;
 }
 
+
 int memcmp(const void *s1_, const void *s2_, size_t n)
 {
     const signed char *s1 = s1_, *s2 = s2_;
@@ -152,7 +165,7 @@ char *strdup(const char *s1)
 {
     char *ret;
 
-    ret = Malloc(strlen(s1) + 1);
+    ret = V3_Malloc(strlen(s1) + 1);
     strcpy(ret, s1);
 
     return ret;
@@ -210,3 +223,4 @@ char *strpbrk(const char *s, const char *accept)
     return 0;
 }
 
+#endif