diff --git a/base/include/base/service.h b/base/include/base/service.h index c28a90cec5..df54d86202 100644 --- a/base/include/base/service.h +++ b/base/include/base/service.h @@ -408,6 +408,15 @@ namespace Genode { * Unregister service */ void remove(Service *service) { _services.remove(service); } + + /** + * Unregister all services + */ + void remove_all() + { + while (_services.first()) + remove(_services.first()); + } }; }