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

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




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@xxxxxxxxxxxxx>

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

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

 


Rackspace

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