Difference between capability and memory mapping

[Yuxin Ren]

Hi All,

I found in the kernel, the capability mapping and memory mapping have very
similar code path.
But I found their performance difference is around 1000 cycles.
Is this true? If it is true, why do they have such large difference?
If this gap does not make sense, it should be a bug in my test.

Thank you very much.
Best,
Yuxin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20140929/3f36e347/attachment.html>