mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-29 07:06:25 +00:00
51f51c18af
This patch renames 'wakeup_client' to 'wakeup_client_if_needed' to clarify that the method triggers signals only when needed, not on every call. The name 'wakeup_client' is prone to misguide users to call the function conditionally as an optimization, thereby complicating the code, but to no effect. Fixes #3279
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.