631 |
|
|
632 |
static inline l4_msg_tag_t |
static inline l4_msg_tag_t |
633 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
634 |
|
l4_ipc (l4_thread_id_t dest, l4_thread_id_t from_spec, |
635 |
|
l4_word_t timeouts, l4_thread_id_t *from) |
636 |
|
{ |
637 |
|
return _L4_ipc (dest, from_spec, timeouts, from); |
638 |
|
} |
639 |
|
|
640 |
|
|
641 |
|
static inline l4_msg_tag_t |
642 |
|
_L4_attribute_always_inline |
643 |
|
l4_lipc (l4_thread_id_t dest, l4_thread_id_t from_spec, |
644 |
|
l4_word_t timeouts, l4_thread_id_t *from) |
645 |
|
{ |
646 |
|
return _L4_lipc (dest, from_spec, timeouts, from); |
647 |
|
} |
648 |
|
|
649 |
|
|
650 |
|
static inline l4_msg_tag_t |
651 |
|
_L4_attribute_always_inline |
652 |
l4_call_timeouts (l4_thread_id_t dest, l4_time_t send_timeout, |
l4_call_timeouts (l4_thread_id_t dest, l4_time_t send_timeout, |
653 |
l4_time_t receive_timeout) |
l4_time_t receive_timeout) |
654 |
{ |
{ |