diff options
author | Keir Fraser <keir.fraser@citrix.com> | 2008-01-22 14:20:22 +0000 |
---|---|---|
committer | Keir Fraser <keir.fraser@citrix.com> | 2008-01-22 14:20:22 +0000 |
commit | e8c1abd6e75d35e747611bcad82d0d4a6564beca (patch) | |
tree | 932aa4b778d3c4871b21f89eaa4db484c34e1d21 /extras/mini-os/include/lib.h | |
parent | dfba81d2fcc227ffc2ce546d9884580f682e68b5 (diff) | |
download | xen-e8c1abd6e75d35e747611bcad82d0d4a6564beca.tar.gz xen-e8c1abd6e75d35e747611bcad82d0d4a6564beca.tar.bz2 xen-e8c1abd6e75d35e747611bcad82d0d4a6564beca.zip |
minios: POSIX fixes
Fixes some functions which are POSIX. Also make them ifndef HAVE_LIBC.
Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
Diffstat (limited to 'extras/mini-os/include/lib.h')
-rw-r--r-- | extras/mini-os/include/lib.h | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/extras/mini-os/include/lib.h b/extras/mini-os/include/lib.h index 97a2305daa..d946e0a534 100644 --- a/extras/mini-os/include/lib.h +++ b/extras/mini-os/include/lib.h @@ -59,6 +59,9 @@ #include <stddef.h> #include <console.h> +#ifdef HAVE_LIBC +#include <stdio.h> +#else /* printing */ #define _p(_x) ((void *)(unsigned long)(_x)) int vsnprintf(char *buf, size_t size, const char *fmt, va_list args); @@ -69,13 +72,16 @@ int vsprintf(char *buf, const char *fmt, va_list args); int sprintf(char * buf, const char *fmt, ...); int vsscanf(const char * buf, const char * fmt, va_list args); int sscanf(const char * buf, const char * fmt, ...); +#endif long simple_strtol(const char *cp,char **endp,unsigned int base); unsigned long simple_strtoul(const char *cp,char **endp,unsigned int base); long long simple_strtoll(const char *cp,char **endp,unsigned int base); unsigned long long simple_strtoull(const char *cp,char **endp,unsigned int base); - +#ifdef HAVE_LIBC +#include <string.h> +#else /* string and memory manipulation */ int memcmp(const void *cs, const void *ct, size_t count); void *memcpy(void *dest, const void *src, size_t count); @@ -91,7 +97,11 @@ char *strrchr(const char *s, int c); char *strstr(const char *s1, const char *s2); char * strcat(char * dest, const char * src); char *strdup(const char *s); +#endif + +#define RAND_MIX 2654435769U +int rand(void); #define ARRAY_SIZE(x) (sizeof(x) / sizeof((x)[0])) |