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

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