diff options
Diffstat (limited to 'pfinet/linux')
| -rw-r--r-- | pfinet/linux/sched.h | 6 | ||||
| -rw-r--r-- | pfinet/linux/time.h | 4 |
2 files changed, 5 insertions, 5 deletions
diff --git a/pfinet/linux/sched.h b/pfinet/linux/sched.h index 08358dd5..acc60944 100644 --- a/pfinet/linux/sched.h +++ b/pfinet/linux/sched.h @@ -53,9 +53,9 @@ void schedule (void); /* This function is used only to send SIGPIPE to the current task. In all such cases, EPIPE is returned anyhow. In the Hurd, servers are not responsible for SIGPIPE; the library - does that itself upon receiving EPIPE. So we can just + does that itself upon receiving EPIPE. So we can just NOP such calls. */ -extern inline int +extern inline int send_sig (u_long signo, struct task_struct *task, int priv) { assert (signo == SIGPIPE); @@ -74,7 +74,7 @@ static struct timeval _xtime_buf; extern inline struct timeval fetch_xtime () { - fill_timeval (&_xtime_buf); + maptime_read (mapped_time, &_xtime_buf); return _xtime_buf; } diff --git a/pfinet/linux/time.h b/pfinet/linux/time.h index 9b6b9904..50e13783 100644 --- a/pfinet/linux/time.h +++ b/pfinet/linux/time.h @@ -4,10 +4,10 @@ #include <sys/time.h> #include "mapped-time.h" -extern inline void +extern inline void do_gettimeofday (struct timeval *tp) { - fill_timeval (tp); + maptime_read (mapped_time, &_xtime_buf); } #endif |