X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_string.h;h=975a3d1acf16ff8b400627c0ebadeaae5825a908;hb=03a41b18bdb6ce4bf666f18acdaf302e2360efdc;hp=60155a08121936bc17169447e89070c81fd3191a;hpb=d38e1d6edeee83bfb1e3e3c6e2367faa5055bdfe;p=palacios-OLD.git

diff --git a/palacios/include/palacios/vmm_string.h b/palacios/include/palacios/vmm_string.h
index 60155a0..975a3d1 100644
--- a/palacios/include/palacios/vmm_string.h
+++ b/palacios/include/palacios/vmm_string.h
@@ -56,7 +56,7 @@ char *strrchr(const char *s, int c);
 char *strpbrk(const char *s, const char *accept);
 
 
-double ceil(double x);
+double v3_ceil(double x);