mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 17:52:52 +00:00
d31492040c
The HW-kernel, in contrast to other kernels, provides a direct reference to the pager object with the fault signal that is send to the pager activation. When accessing this reference directly we may fall into the time span where the root parent-entrypoint of the faulter has alredy dissolved the pager object from the pager entrypoint, but not yet silenced the according signal context. To avoid this we issue an additional 'lookup_and_lock' with the received pager object. This isn't optimal as we don't need the potentially cost-intensive lookup but only the synchronization. Fixes #1311. Fixes #1332.