diff --git a/os/include/os/packet_stream.h b/os/include/os/packet_stream.h index c069fab4c7..bff78d253c 100644 --- a/os/include/os/packet_stream.h +++ b/os/include/os/packet_stream.h @@ -239,6 +239,11 @@ class Packet_descriptor_transmitter _tx_queue(tx_queue) { } + ~Packet_descriptor_transmitter() + { + _tx_ready.dissolve(&_tx_ready_context); + } + Genode::Signal_context_capability tx_ready_cap() { return _tx_ready_cap; @@ -310,6 +315,11 @@ class Packet_descriptor_receiver _rx_queue(rx_queue) { } + ~Packet_descriptor_receiver() + { + _rx_ready.dissolve(&_rx_ready_context); + } + Genode::Signal_context_capability rx_ready_cap() { return _rx_ready_cap;