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_setschedparam(pthread_t thread,
00012                                  int policy, const struct sched_param *param);
00013 
00014 int __real_pthread_kill(pthread_t tid, int sig);
00015 
00016 int __real_open(const char *path, int oflag, ...);
00017 
00018 int __real_close(int fd);
00019 
00020 int __real_ioctl(int fd, int request, ...);
00021 
00022 void *__real_mmap(void *addr,
00023                   size_t len, int prot, int flags, int fd, off_t off);
00024 
00025 int __real_munmap(void *addr, size_t len);
00026 
00027 #endif