X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_string.c;h=77cee8241c5c45e464b73b14f549bd08d0a7b7df;hb=4f65d7ae7fd62f2a52735c7b69fe1da65b9fed9f;hp=e98efd2bc0df116e11622f40a9e6913a5962afec;hpb=d38e1d6edeee83bfb1e3e3c6e2367faa5055bdfe;p=palacios.releases.git diff --git a/palacios/src/palacios/vmm_string.c b/palacios/src/palacios/vmm_string.c index e98efd2..77cee82 100644 --- a/palacios/src/palacios/vmm_string.c +++ b/palacios/src/palacios/vmm_string.c @@ -63,11 +63,11 @@ static float e = 0.00000001; -double ceil(double x) { - if ((double)(x - (int)x) == 0) { - return (int)x; - } - return (int)(x + e) + 1; +double v3_ceil(double x) { + if ((double)(x - (int)x) == 0) { + return (int)x; + } + return (int)(x + e) + 1; } @@ -206,8 +206,8 @@ char *strncat(char *s1, const char *s2, size_t limit) t1 = s1; while (*s1) s1++; while (i < limit) { - if(*s2 == '\0') break; - *s1++ = *s2++; + if(*s2 == '\0') break; + *s1++ = *s2++; } *s1 = '\0'; return t1; @@ -270,9 +270,9 @@ int atoi(const char *buf) int ret = 0; while (*buf >= '0' && *buf <= '9') { - ret *= 10; - ret += *buf - '0'; - buf++; + ret *= 10; + ret += *buf - '0'; + buf++; } return ret;