From: Keir Fraser <keir.fraser@citrix.com>
Date: Thu, 17 Jul 2008 12:21:37 +0000 (+0100)
Subject: stubdom: add functions for caml runtime
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~14188^2~2
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=9415ef36a1e62f0b03ce932c1a48d1f7ea3a0f6c;p=xen.git

stubdom: add functions for caml runtime

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
---

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);