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