From 9415ef36a1e62f0b03ce932c1a48d1f7ea3a0f6c Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Thu, 17 Jul 2008 13:21:37 +0100 Subject: [PATCH] stubdom: add functions for caml runtime Signed-off-by: Samuel Thibault --- extras/mini-os/include/posix/unistd.h | 4 +--- 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 -#include - -#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); -- 2.30.2