235 |
{ |
{ |
236 |
l4_msg_tag_t tag; |
l4_msg_tag_t tag; |
237 |
l4_word_t mrs[2]; |
l4_word_t mrs[2]; |
238 |
l4_grant_item_t grant_item; |
l4_map_item_t map_item; |
239 |
|
|
240 |
l4_accept (l4_map_grant_items (L4_COMPLETE_ADDRESS_SPACE)); |
l4_accept (l4_map_grant_items (L4_COMPLETE_ADDRESS_SPACE)); |
241 |
|
|
246 |
|
|
247 |
l4_store_mr (1, &mrs[0]); |
l4_store_mr (1, &mrs[0]); |
248 |
l4_store_mr (2, &mrs[1]); |
l4_store_mr (2, &mrs[1]); |
249 |
grant_item = *((l4_grant_item_t *) mrs); |
map_item = *((l4_map_item_t *) mrs); |
250 |
|
|
251 |
return l4_grant_item_snd_fpage (grant_item); |
return l4_map_item_snd_fpage (map_item); |
252 |
} |
} |
253 |
|
|
254 |
|
|