87 |
l4_msg_clear (msg); |
l4_msg_clear (msg); |
88 |
l4_set_msg_label (msg, 134 /* XXX: Magic for container_map_id. */); |
l4_set_msg_label (msg, 134 /* XXX: Magic for container_map_id. */); |
89 |
l4_msg_append_word (msg, container); |
l4_msg_append_word (msg, container); |
90 |
l4_msg_append_word (msg, offset | rights); |
l4_msg_append_word (msg, rights); |
|
l4_msg_append_word (msg, size); |
|
91 |
l4_msg_append_word (msg, (l4_word_t) vaddr); |
l4_msg_append_word (msg, (l4_word_t) vaddr); |
92 |
|
l4_msg_append_word (msg, offset); |
93 |
|
l4_msg_append_word (msg, size); |
94 |
l4_msg_load (msg); |
l4_msg_load (msg); |
95 |
|
|
96 |
tag = l4_call (server); |
tag = l4_call (server); |