diff options
author | Keir Fraser <keir.fraser@citrix.com> | 2008-07-17 13:21:37 +0100 |
---|---|---|
committer | Keir Fraser <keir.fraser@citrix.com> | 2008-07-17 13:21:37 +0100 |
commit | 9415ef36a1e62f0b03ce932c1a48d1f7ea3a0f6c (patch) | |
tree | 6dc6e8ddbaa4d44750937e10fe3829597e055322 /extras/mini-os/lib | |
parent | 470831aeb214c23d380b20fb1b81c42a4559b94d (diff) | |
download | xen-9415ef36a1e62f0b03ce932c1a48d1f7ea3a0f6c.tar.gz xen-9415ef36a1e62f0b03ce932c1a48d1f7ea3a0f6c.tar.bz2 xen-9415ef36a1e62f0b03ce932c1a48d1f7ea3a0f6c.zip |
stubdom: add functions for caml runtime
Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
Diffstat (limited to 'extras/mini-os/lib')
-rw-r--r-- | extras/mini-os/lib/sys.c | 7 |
1 files changed, 7 insertions, 0 deletions
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); |