mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-01 12:41:32 +00:00
ccebaa3802
When the pager gets a pagefault, exception, pause, or wakeup request it's always possible, that the corresponding thread gets destroyed between receiving the message and looking up the thread's pager_object. This commit unifies the check for a valid pager_object for each kind of requests to the pager, thereby adds currently missing checks.