palacios/include/palacios/vmm_string.h

   1 /* * String library
   2  * Copyright (c) 2001,2004 David H. Hovemeyer <daveho@cs.umd.edu>
   3 /* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
   4 /* (c) 2008, Lei Xia <xiaxlei@gmail.com> */
   5 /* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
   6  * $Revision: 1.2 $
   7  *
   8  * This is free software.  You are permitted to use,
   9  * redistribute, and modify it as specified in the file "COPYING".
  10  */
  11
  12 #ifndef STRING_H
  13 #define STRING_H
  14
  15 #ifdef __V3VEE__
  16
  17 #include <stddef.h>
  18
  19 void* memset(void* s, int c, size_t n);
  20 void* memcpy(void *dst, const void* src, size_t n);
  21 //void *memmove(void *dst, const void *src, size_t n);
  22 int memcmp(const void *s1, const void *s2, size_t n);
  23 size_t strlen(const char* s);
  24 size_t strnlen(const char *s, size_t maxlen);
  25 int strcmp(const char* s1, const char* s2);
  26 int strncmp(const char* s1, const char* s2, size_t limit);
  27 char *strcat(char *s1, const char *s2);
  28 char *strcpy(char *dest, const char *src);
  29 char *strncpy(char *dest, const char *src, size_t limit);
  30 char *strdup(const char *s1);
  31 int atoi(const char *buf);
  32 char *strchr(const char *s, int c);
  33 char *strrchr(const char *s, int c);
  34 char *strpbrk(const char *s, const char *accept);
  35
  36
  37 double ceil(double x);
  38
  39
  40 #endif // !__V3VEE__
  41
  42 #endif  /* STRING_H */