00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019 #ifndef _XENO_SKIN_POSIX_H
00020 #define _XENO_SKIN_POSIX_H
00021
00022 #define PSE51_SKIN_MAGIC 0x50534531
00023
00024 #ifdef __XENO_SIM__
00025
00026 #include <posix/errno.h>
00027 #include <posix/sched.h>
00028 #include <posix/pthread.h>
00029 #include <posix/sched.h>
00030 #include <posix/signal.h>
00031 #include <posix/semaphore.h>
00032 #include <posix/mqueue.h>
00033 #include <posix/time.h>
00034 #include <posix/fcntl.h>
00035 #include <posix/unistd.h>
00036 #include <posix/sys/mman.h>
00037 #include <posix/sys/ioctl.h>
00038 #include <posix/sys/socket.h>
00039
00040 #else
00041
00042 #include <errno.h>
00043 #include <pthread.h>
00044 #include <sched.h>
00045 #include <signal.h>
00046 #include <semaphore.h>
00047 #include <mqueue.h>
00048 #include <time.h>
00049 #include <fcntl.h>
00050 #include <unistd.h>
00051 #include <sys/mman.h>
00052 #include <sys/ioctl.h>
00053 #include <sys/socket.h>
00054
00055 #endif
00056
00057 #endif