diff options
| -rw-r--r-- | libl4/ChangeLog | 5 | ||||
| -rw-r--r-- | libl4/l4/gnu/ipc.h | 28 |
2 files changed, 5 insertions, 28 deletions
diff --git a/libl4/ChangeLog b/libl4/ChangeLog index a7668c1..1c25aec 100644 --- a/libl4/ChangeLog +++ b/libl4/ChangeLog @@ -1,3 +1,8 @@ +2004-04-06 Marcus Brinkmann <marcus@gnu.org> + + * l4/gnu/ipc.h: Revert last change. Local IPC must always include + a send and a receive phase. + 2004-04-05 Marcus Brinkmann <marcus@gnu.org> * l4/gnu/ipc.h (l4_lwait_timeout, l4_lwait, l4_lreply): New diff --git a/libl4/l4/gnu/ipc.h b/libl4/l4/gnu/ipc.h index 7bc3525..6fc6686 100644 --- a/libl4/l4/gnu/ipc.h +++ b/libl4/l4/gnu/ipc.h @@ -705,34 +705,6 @@ l4_lcall (l4_thread_id_t dest) static inline l4_msg_tag_t _L4_attribute_always_inline -l4_lreply (l4_thread_id_t dest) -{ - _L4_thread_id_t dummy; - return _L4_lipc (dest, _L4_nilthread, - _L4_timeouts (_L4_zero_time, _L4_zero_time), - &dummy); -} - - -static inline l4_msg_tag_t -_L4_attribute_always_inline -l4_lwait_timeout (l4_time_t receive_timeout, l4_thread_id_t *from) -{ - return _L4_lipc (_L4_nilthread, _L4_anylocalthread, - _L4_timeouts (_L4_zero_time, receive_timeout), from); -} - - -static inline l4_msg_tag_t -_L4_attribute_always_inline -l4_lwait (l4_thread_id_t *from) -{ - return l4_lwait_timeout (_L4_never, from); -} - - -static inline l4_msg_tag_t -_L4_attribute_always_inline l4_lreply_wait (l4_thread_id_t dest, l4_thread_id_t *from) { return _L4_lreply_wait (dest, from); |