Granting flex pages in Fiasco.OC / L4Re

Daniel Waddington d.waddington at samsung.com
Wed Mar 28 18:04:16 CEST 2012


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 at os.inf.tu-dresden.de
>> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20120328/23d4ae45/attachment.html>


More information about the l4-hackers mailing list