ia64/xen-unstable

changeset 18077:23208dc42cfe

stubdom: add functions for caml runtime

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
author Keir Fraser <keir.fraser@citrix.com>
date Thu Jul 17 13:21:37 2008 +0100 (2008-07-17)
parents c9880c5a06eb
children 6f82840f173b
files extras/mini-os/include/posix/unistd.h extras/mini-os/lib/sys.c
line diff
     1.1 --- a/extras/mini-os/include/posix/unistd.h	Thu Jul 17 11:20:01 2008 +0100
     1.2 +++ b/extras/mini-os/include/posix/unistd.h	Thu Jul 17 13:21:37 2008 +0100
     1.3 @@ -2,10 +2,8 @@
     1.4  #define _POSIX_UNISTD_H
     1.5  
     1.6  #include_next <unistd.h>
     1.7 -#include <mini-os/arch_limits.h>
     1.8  
     1.9 -#define getpagesize() __PAGE_SIZE
    1.10 -
    1.11 +size_t getpagesize(void);
    1.12  int ftruncate(int fd, off_t length);
    1.13  
    1.14  #endif /* _POSIX_UNISTD_H */
     2.1 --- a/extras/mini-os/lib/sys.c	Thu Jul 17 11:20:01 2008 +0100
     2.2 +++ b/extras/mini-os/lib/sys.c	Thu Jul 17 13:21:37 2008 +0100
     2.3 @@ -1094,6 +1094,11 @@ int clock_gettime(clockid_t clk_id, stru
     2.4      return 0;
     2.5  }
     2.6  
     2.7 +size_t getpagesize(void)
     2.8 +{
     2.9 +    return PAGE_SIZE;
    2.10 +}
    2.11 +
    2.12  void *mmap(void *start, size_t length, int prot, int flags, int fd, off_t offset)
    2.13  {
    2.14      unsigned long n = (length + PAGE_SIZE - 1) / PAGE_SIZE;
    2.15 @@ -1212,7 +1217,9 @@ unsupported_function_crash(kill);
    2.16  unsupported_function_crash(pipe);
    2.17  unsupported_function_crash(fork);
    2.18  unsupported_function_crash(execv);
    2.19 +unsupported_function_crash(execve);
    2.20  unsupported_function_crash(waitpid);
    2.21 +unsupported_function_crash(wait);
    2.22  unsupported_function_crash(lockf);
    2.23  unsupported_function_crash(sysconf);
    2.24  unsupported_function(int, tcsetattr, -1);