Hello! Genode,

>From time to time, I saw something like this:

    l4_task_map(L4_BASE_TASK_CAP, L4_BASE_TASK_CAP,
                        l4_obj_fpage(A.dst(), 0, L4_FPAGE_RWX),
                        B.dst() | L4_ITEM_MAP);

I think it looks like a unnecessary mapping, because rather than mapping,
we can just copy the capability like this,
    A = B.

Since I'm feeling like I miss something here, could you tell me the
difference between two of them?

Best regards,
Jaeyong
------------------------------------------------------------------------------
Everyone hates slow websites. So do we.
Make your web apps faster with AppDynamics
Download AppDynamics Lite for free today:
http://p.sf.net/sfu/appdyn_d2d_jan
_______________________________________________
Genode-main mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/genode-main

Reply via email to