X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_string.c;h=efe5a7df29394f4f81109b00e4dc446ce242a75b;hb=785b7105d35b97c6e7a176facc29a2efdb234951;hp=77cee8241c5c45e464b73b14f549bd08d0a7b7df;hpb=266af4b5b19da7bee8e7445288c7c1cb3ee194c7;p=palacios.releases.git

diff --git a/palacios/src/palacios/vmm_string.c b/palacios/src/palacios/vmm_string.c
index 77cee82..efe5a7d 100644
--- a/palacios/src/palacios/vmm_string.c
+++ b/palacios/src/palacios/vmm_string.c
@@ -60,17 +60,6 @@
 #include <palacios/vmm.h>
 
 
-
-static float e = 0.00000001;
-
-double v3_ceil(double x) {
-    if ((double)(x - (int)x) == 0) {
-	return (int)x;
-    }
-    return (int)(x + e) + 1;
-}
-
-
 #if NEED_MEMSET
 void* memset(void* s, int c, size_t n)
 {