[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Xen-changelog] [xen-unstable] stubdom: add functions for caml runtime



# 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


 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.