764 |
} |
} |
765 |
|
|
766 |
|
|
767 |
|
_L4_EXTERN_INLINE l4_word_t |
768 |
|
l4_msg_word (l4_msg_t *msg, l4_word_t nr) |
769 |
|
{ |
770 |
|
return msg->mr[1 + nr]; |
771 |
|
} |
772 |
|
|
773 |
|
|
774 |
_L4_EXTERN_INLINE void |
_L4_EXTERN_INLINE void |
775 |
l4_msg_get_word (l4_msg_t *msg, l4_word_t nr, l4_word_t *data) |
l4_msg_get_word (l4_msg_t *msg, l4_word_t nr, l4_word_t *data) |
776 |
{ |
{ |
777 |
*data = msg->mr[1 + nr]; |
*data = l4_msg_word (msg, nr); |
778 |
} |
} |
779 |
|
|
780 |
|
|
781 |
_L4_EXTERN_INLINE void |
_L4_EXTERN_INLINE void |
782 |
l4_msg_get_map_item (l4_msg_t *msg, l4_word_t nr, l4_map_item_t *map_item) |
l4_msg_get_map_item (l4_msg_t *msg, l4_word_t nr, l4_map_item_t *map_item) |
783 |
{ |
{ |