Hi Stefan,
Nearly want I want... but I am mapping physical pages to virtual memory - therefore the last parameter of l4_task_map is the target virtual address. This leaves no place for the L4_MAP_ITEM_GRANT flag.

Daniel

On 03/28/2012 02:08 AM, Stefan Kalkowski wrote:

Hi Daniel,

as far as I understood you correctly, you just have to use the
L4_ITEM_MAP_GRANT flag. It will make sure that the entries from the
originator task are revocated, e.g.:

   l4_task_map(dst_task, src_task, snd_fpage,
               cap | L4_ITEM_MAP | L4_MAP_ITEM_GRANT);

I hope this is what you were looking for.

Regards
Stefan

On 28.03.2012 02:22, Daniel Waddington wrote:

Hi,

I am using l4_task_map to map flex pages to a child task.  What I would
like to do is grant a flex page to a child and remove the mapping from
the parent.  How do I do this? I have tried using
l4_map_obj_control(0,1) for mr[3] on the task map call but this does not
seem to help.

Thanks in advance,
Daniel



_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers