# HG changeset patch
# User Keir Fraser <keir.fraser@xxxxxxxxxx>
# Date 1216297297 -3600
# Node ID 23208dc42cfef2f85cd145e9652d0625bf19b69d
# Parent c9880c5a06eb7bcfca09ea9c4449da60f827283e
stubdom: add functions for caml runtime
Signed-off-by: Samuel Thibault <samuel.thibault@xxxxxxxxxxxxx>
---
extras/mini-os/include/posix/unistd.h | 4 +---
extras/mini-os/lib/sys.c | 7 +++++++
2 files changed, 8 insertions(+), 3 deletions(-)
diff -r c9880c5a06eb -r 23208dc42cfe extras/mini-os/include/posix/unistd.h
--- a/extras/mini-os/include/posix/unistd.h Thu Jul 17 11:20:01 2008 +0100
+++ b/extras/mini-os/include/posix/unistd.h Thu Jul 17 13:21:37 2008 +0100
@@ -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 -r c9880c5a06eb -r 23208dc42cfe extras/mini-os/lib/sys.c
--- a/extras/mini-os/lib/sys.c Thu Jul 17 11:20:01 2008 +0100
+++ b/extras/mini-os/lib/sys.c Thu Jul 17 13:21:37 2008 +0100
@@ -1094,6 +1094,11 @@ int clock_gettime(clockid_t clk_id, stru
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(pipe);
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);
_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog
|
Home