From mboxrd@z Thu Jan  1 00:00:00 1970
From: Samuel Thibault <samuel.thibault@eu.citrix.com>
Subject: [PATCH] stubdom: add functions for caml runtime
Date: Thu, 17 Jul 2008 12:50:14 +0100
Message-ID: <20080717115014.GW4727@implementation.uk.xensource.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Return-path: <xen-devel-bounces@lists.xensource.com>
Content-Disposition: inline
List-Unsubscribe: <http://lists.xensource.com/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xensource.com?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xensource.com>
List-Help: <mailto:xen-devel-request@lists.xensource.com?subject=help>
List-Subscribe: <http://lists.xensource.com/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xensource.com?subject=subscribe>
Sender: xen-devel-bounces@lists.xensource.com
Errors-To: xen-devel-bounces@lists.xensource.com
To: xen-devel@lists.xensource.com
List-Id: xen-devel@lists.xenproject.org

stubdom: add functions for caml runtime

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

diff -r 530efcde6203 extras/mini-os/include/posix/unistd.h
--- a/extras/mini-os/include/posix/unistd.h	Wed Jul 16 10:43:33 2008 +0100
+++ b/extras/mini-os/include/posix/unistd.h	Thu Jul 17 12:50:21 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 530efcde6203 extras/mini-os/lib/sys.c
--- a/extras/mini-os/lib/sys.c	Wed Jul 16 10:43:33 2008 +0100
+++ b/extras/mini-os/lib/sys.c	Thu Jul 17 12:50:21 2008 +0100
@@ -1095,6 +1095,11 @@
     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;
@@ -1213,7 +1218,9 @@
 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);