diff --git a/repos/base/include/base/signal.h b/repos/base/include/base/signal.h index f7522c64cf..25703bd63c 100644 --- a/repos/base/include/base/signal.h +++ b/repos/base/include/base/signal.h @@ -399,11 +399,6 @@ class Genode::Signal_receiver : Noncopyable */ void dissolve(Signal_context *context); - /** - * Return true if signal was received - */ - bool pending(); - /** * Block until a signal is received and return the signal * diff --git a/repos/base/src/lib/base/signal_common.cc b/repos/base/src/lib/base/signal_common.cc index 78f020c4f8..aa3a25b230 100644 --- a/repos/base/src/lib/base/signal_common.cc +++ b/repos/base/src/lib/base/signal_common.cc @@ -242,20 +242,6 @@ void Signal_receiver::dissolve(Signal_context *context) } -bool Signal_receiver::pending() -{ - Lock::Guard contexts_lock_guard(_contexts_lock); - bool result = false; - _contexts.for_each_locked([&] (Signal_context &context) { - if (context._pending) { - result = true; - throw Context_ring::Break_for_each(); - } - }); - return result; -} - - void Signal_receiver::Context_ring::insert_as_tail(Signal_context *re) { if (_head) {