[PATCH 2/5] integrate xen-ocaml-tools.hg with xen-unstable.hg - minios stubs

[Alex Zeffertt <alex.zeffertt@eu.citrix.com>]

[-- Attachment #1: Type: text/plain, Size: 1 bytes --]



[-- Attachment #2: minios-unsupported-functions --]
[-- Type: text/plain, Size: 3746 bytes --]

We need these extra stubs in minios in order to link the ocaml version of
the xenstored stubdom.

These are referenced by the libs that ocamlopt links xenstored to, but ought 
not actually get called.

Signed-off-by: Alex Zeffertt <alex.zeffertt@eu.citrix.com>

diff -r b94656c5a7ab extras/mini-os/lib/sys.c
--- a/extras/mini-os/lib/sys.c	Fri Mar 27 16:20:52 2009 +0000
+++ b/extras/mini-os/lib/sys.c	Mon Mar 30 11:29:23 2009 +0100
@@ -1299,7 +1299,10 @@
 unsupported_function_log(struct  if_nameindex *, if_nameindex, (struct  if_nameindex *) NULL);
 unsupported_function_crash(if_freenameindex);
 
-/* Linuxish abi for the Caml runtime, don't support */
+/* Linuxish abi for the Caml runtime, don't support 
+   Log, and return an error code if possible.  If it is not possible
+   to inform the application of an error, then crash instead!
+*/
 unsupported_function_log(struct dirent *, readdir64, NULL);
 unsupported_function_log(int, getrusage, -1);
 unsupported_function_log(int, getrlimit, -1);
@@ -1307,4 +1310,58 @@
 unsupported_function_log(int, __xstat64, -1);
 unsupported_function_log(long, __strtol_internal, LONG_MIN);
 unsupported_function_log(double, __strtod_internal, HUGE_VAL);
+unsupported_function_log(int, utime, -1);
+unsupported_function_log(int, truncate64, -1);
+unsupported_function_log(int, tcflow, -1);
+unsupported_function_log(int, tcflush, -1);
+unsupported_function_log(int, tcdrain, -1);
+unsupported_function_log(int, tcsendbreak, -1);
+unsupported_function_log(int, cfsetospeed, -1);
+unsupported_function_log(int, cfsetispeed, -1);
+unsupported_function_crash(cfgetospeed);
+unsupported_function_crash(cfgetispeed);
+unsupported_function_log(int, symlink, -1);
+unsupported_function_log(const char*, inet_ntop, NULL);
+unsupported_function_crash(__fxstat64);
+unsupported_function_crash(__lxstat64);
+unsupported_function_log(int, socketpair, -1);
+unsupported_function_crash(sigsuspend);
+unsupported_function_log(int, sigpending, -1);
+unsupported_function_log(int, shutdown, -1);
+unsupported_function_log(int, setuid, -1);
+unsupported_function_log(int, setgid, -1);
+unsupported_function_crash(rewinddir);
+unsupported_function_log(int, getpriority, -1);
+unsupported_function_log(int, setpriority, -1);
+unsupported_function_log(int, mkfifo, -1);
+unsupported_function_log(int, getitimer, -1);
+unsupported_function_log(int, setitimer, -1);
+unsupported_function_log(void *, getservbyport, NULL);
+unsupported_function_log(void *, getservbyname, NULL);
+unsupported_function_log(void *, getpwuid, NULL);
+unsupported_function_log(void *, getpwnam, NULL);
+unsupported_function_log(void *, getprotobynumber, NULL);
+unsupported_function_log(void *, getprotobyname, NULL);
+unsupported_function_log(int, getpeername, -1);
+unsupported_function_log(int, getnameinfo, -1);
+unsupported_function_log(char *, getlogin, NULL);
+unsupported_function_crash(__h_errno_location);
+unsupported_function_log(int, gethostbyname_r, -1);
+unsupported_function_log(int, gethostbyaddr_r, -1);
+unsupported_function_log(int, getgroups, -1);
+unsupported_function_log(void *, getgrgid, NULL);
+unsupported_function_log(void *, getgrnam, NULL);
+unsupported_function_log(int, getaddrinfo, -1);
+unsupported_function_log(int, freeaddrinfo, -1);
+unsupported_function_log(int, ftruncate64, -1);
+unsupported_function_log(int, fchown, -1);
+unsupported_function_log(int, fchmod, -1);
+unsupported_function_crash(execvp);
+unsupported_function_log(int, dup, -1)
+unsupported_function_log(int, chroot, -1)
+unsupported_function_log(int, chown, -1);
+unsupported_function_log(int, chmod, -1);
+unsupported_function_crash(alarm);
+unsupported_function_log(int, inet_pton, -1);
+unsupported_function_log(int, access, -1);
 #endif


[-- Attachment #3: Type: text/plain, Size: 138 bytes --]

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xensource.com
http://lists.xensource.com/xen-devel