X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_string.c;h=71077829c4bccc893995a73d952b44c5e91ee86a;hb=f2c976eb850d2633d2bc05011a66bbc91a432204;hp=e98efd2bc0df116e11622f40a9e6913a5962afec;hpb=d38e1d6edeee83bfb1e3e3c6e2367faa5055bdfe;p=palacios.git

diff --git a/palacios/src/palacios/vmm_string.c b/palacios/src/palacios/vmm_string.c
index e98efd2..7107782 100644
--- a/palacios/src/palacios/vmm_string.c
+++ b/palacios/src/palacios/vmm_string.c
@@ -63,7 +63,7 @@
 
 static float e = 0.00000001;
 
-double ceil(double x) {
+double v3_ceil(double x) {
   if ((double)(x - (int)x) == 0) {
     return (int)x;
   }