diff --git a/repos/os/include/input/event_queue.h b/repos/os/include/input/event_queue.h
index 262de0984a..5e0195e5f3 100644
--- a/repos/os/include/input/event_queue.h
+++ b/repos/os/include/input/event_queue.h
@@ -78,6 +78,8 @@ class Input::Event_queue
 		bool empty() const { return _queue.empty(); }
 
 		int avail_capacity() const { return _queue.avail_capacity(); }
+
+		void reset() { _queue.reset(); }
 };
 
 #endif /* _EVENT_QUEUE_H_ */
diff --git a/repos/os/include/os/ring_buffer.h b/repos/os/include/os/ring_buffer.h
index da552f191b..d4b6b02885 100644
--- a/repos/os/include/os/ring_buffer.h
+++ b/repos/os/include/os/ring_buffer.h
@@ -132,6 +132,11 @@ class Ring_buffer
 			else
 				return _tail - _head - 1;
 		}
+
+		/**
+		 * Discard all ring-buffer elements
+		 */
+		void reset() { _head = _tail; }
 };
 
 #endif /* _INCLUDE__OS__RING_BUFFER_H_ */