diff --git a/base-linux/include/rm_session/client.h b/base-linux/include/rm_session/client.h
index 3f61706e4..685e287b0 100644
--- a/base-linux/include/rm_session/client.h
+++ b/base-linux/include/rm_session/client.h
@@ -49,7 +49,7 @@ namespace Genode {
 		void remove_client(Pager_capability pager) {
 			_local()->remove_client(pager); }
 
-		void fault_handler(Signal_context_capability handler)
+		void fault_handler(Signal_context_capability /*handler*/)
 		{
 			/*
 			 * On Linux, page faults are never reflected to RM clients. They
diff --git a/base/include/base/child.h b/base/include/base/child.h
index 8b45a122a..e8ea04268 100644
--- a/base/include/base/child.h
+++ b/base/include/base/child.h
@@ -47,15 +47,15 @@ namespace Genode {
 		 * \return  Service to be contacted for the new session, or
 		 *          0 if session request could not be resolved
 		 */
-		virtual Service *resolve_session_request(const char *service_name,
-		                                         const char *args)
+		virtual Service *resolve_session_request(const char * /*service_name*/,
+		                                         const char * /*args*/)
 		{ return 0; }
 
 		/**
 		 * Apply transformations to session arguments
 		 */
-		virtual void filter_session_args(const char *service,
-		                                 char *args, size_t args_len) { }
+		virtual void filter_session_args(const char * /*service*/,
+		                                 char * /*args*/, size_t /*args_len*/) { }
 
 		/**
 		 * Register a service provided by the child
@@ -67,10 +67,10 @@ namespace Genode {
 		 * \return       true if announcement succeeded, or false if
 		 *               child is not permitted to announce service
 		 */
-		virtual bool announce_service(const char            *name,
-		                              Root_capability        root,
-		                              Allocator             *alloc,
-		                              Server                *server)
+		virtual bool announce_service(const char            * /*name*/,
+		                              Root_capability         /*root*/,
+		                              Allocator             * /*alloc*/,
+		                              Server                * /*server*/)
 		{ return false; }
 
 		/**
diff --git a/base/include/base/service.h b/base/include/base/service.h
index df54d8620..e5ddadcd0 100644
--- a/base/include/base/service.h
+++ b/base/include/base/service.h
@@ -142,7 +142,7 @@ namespace Genode {
 			/**
 			 * Close session
 			 */
-			virtual void close(Session_capability session) { }
+			virtual void close(Session_capability /*session*/) { }
 
 			/**
 			 * Return server providing the service
diff --git a/os/include/init/child_policy.h b/os/include/init/child_policy.h
index 304fdbc6d..5561a0644 100644
--- a/os/include/init/child_policy.h
+++ b/os/include/init/child_policy.h
@@ -171,7 +171,7 @@ namespace Init {
 				Local_rom_service(Genode::Rom_session_capability rom_cap, bool valid)
 				: Genode::Service("ROM"), _rom_cap(rom_cap), _valid(valid) { }
 
-				Genode::Session_capability session(const char *args)
+				Genode::Session_capability session(const char * /*args*/)
 				{
 					if (!_valid)
 						throw Invalid_args();
@@ -179,7 +179,7 @@ namespace Init {
 					return _rom_cap;
 				}
 
-				void upgrade(Genode::Session_capability, const char *args) { }
+				void upgrade(Genode::Session_capability, const char * /*args*/) { }
 				void close(Genode::Session_capability) { }
 
 			} _local_rom_service;
@@ -339,7 +339,7 @@ namespace Init {
 			bool announce_service(const char              *service_name,
 			                      Genode::Root_capability  root,
 			                      Genode::Allocator       *alloc,
-			                      Genode::Server          *server)
+			                      Genode::Server          * /*server*/)
 			{
 				if (_child_services->find(service_name)) {
 					PWRN("%s: service %s is already registered",