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

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;
   }