diff options
| -rw-r--r-- | pfinet/linux/sched.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/pfinet/linux/sched.h b/pfinet/linux/sched.h index 734a8b4d..1caf5325 100644 --- a/pfinet/linux/sched.h +++ b/pfinet/linux/sched.h @@ -3,6 +3,7 @@ #include <linux/wait.h> #include <sys/signal.h> +#include <hurd/hurd_types.h> extern unsigned long volatile jiffies; #define HZ 100 @@ -23,10 +24,18 @@ struct task_struct void wake_up_interruptible (struct wait_queue **); void interruptible_sleep_on (struct wait_queue **); +void select_wait (struct wait_queue **, select_table *); + +#define SEL_IN SELECT_READ +#define SEL_OUT SELECT_WRITE +#define SEL_EX SELECT_URG + int send_sig (u_long, struct task_struct *, int); int fetch_current_time (void); +struct timeval fetch_xtime (void); #define CURRENT_TIME (fetch_current_time()) +#define xtime (fetch_xtime ()) #endif |