00001 #ifndef _XENO_WRAPPERS_H
00002 #define _XENO_WRAPPERS_H
00003
00004 #include <sys/types.h>
00005 #include <pthread.h>
00006
00007 int __real_pthread_create(pthread_t *tid,
00008 const pthread_attr_t * attr,
00009 void *(*start) (void *), void *arg);
00010
00011 int __real_pthread_kill(pthread_t tid, int sig);
00012
00013 int __real_open(const char *path, int oflag, ...);
00014
00015 int __real_close(int fd);
00016
00017 int __real_ioctl(int fd, int request, ...);
00018
00019 void *__real_mmap(void *addr,
00020 size_t len, int prot, int flags, int fd, off_t off);
00021
00022 int __real_munmap(void *addr, size_t len);
00023
00024 #endif