diff options
author | Keir Fraser <keir.fraser@citrix.com> | 2008-07-17 13:21:37 +0100 |
---|---|---|
committer | Keir Fraser <keir.fraser@citrix.com> | 2008-07-17 13:21:37 +0100 |
commit | 9415ef36a1e62f0b03ce932c1a48d1f7ea3a0f6c (patch) | |
tree | 6dc6e8ddbaa4d44750937e10fe3829597e055322 /extras | |
parent | 470831aeb214c23d380b20fb1b81c42a4559b94d (diff) | |
download | xen-9415ef36a1e62f0b03ce932c1a48d1f7ea3a0f6c.tar.gz xen-9415ef36a1e62f0b03ce932c1a48d1f7ea3a0f6c.tar.bz2 xen-9415ef36a1e62f0b03ce932c1a48d1f7ea3a0f6c.zip |
stubdom: add functions for caml runtime
Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
Diffstat (limited to 'extras')
-rw-r--r-- | extras/mini-os/include/posix/unistd.h | 4 | ||||
-rw-r--r-- | extras/mini-os/lib/sys.c | 7 |
2 files changed, 8 insertions, 3 deletions
diff --git a/extras/mini-os/include/posix/unistd.h b/extras/mini-os/include/posix/unistd.h index 373f07205a..d7e43cde6b 100644 --- a/extras/mini-os/include/posix/unistd.h +++ b/extras/mini-os/include/posix/unistd.h @@ -2,10 +2,8 @@ #define _POSIX_UNISTD_H #include_next <unistd.h> -#include <mini-os/arch_limits.h> - -#define getpagesize() __PAGE_SIZE +size_t getpagesize(void); int ftruncate(int fd, off_t length); #endif /* _POSIX_UNISTD_H */ diff --git a/extras/mini-os/lib/sys.c b/extras/mini-os/lib/sys.c index 0a98d30143..0e88a76e71 100644 --- a/extras/mini-os/lib/sys.c +++ b/extras/mini-os/lib/sys.c @@ -1094,6 +1094,11 @@ int clock_gettime(clockid_t clk_id, struct timespec *tp) return 0; } +size_t getpagesize(void) +{ + return PAGE_SIZE; +} + void *mmap(void *start, size_t length, int prot, int flags, int fd, off_t offset) { unsigned long n = (length + PAGE_SIZE - 1) / PAGE_SIZE; @@ -1212,7 +1217,9 @@ unsupported_function_crash(kill); unsupported_function_crash(pipe); unsupported_function_crash(fork); unsupported_function_crash(execv); +unsupported_function_crash(execve); unsupported_function_crash(waitpid); +unsupported_function_crash(wait); unsupported_function_crash(lockf); unsupported_function_crash(sysconf); unsupported_function(int, tcsetattr, -1); |