ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-07 19:34:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fixed some unused parameters warnings

Browse Source 
They cause problems when using -Werror in your compilation.
This commit is contained in:
Torsten Hilbrich 2013-02-21 12:39:57 +01:00 committed by Norman Feske
parent 6ef3f0f153
commit 257cf4800d
4 changed files with 13 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
base-linux/include/rm_session/client.h
View File

@ -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

16
base/include/base/child.h
View File

@ -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; }
/**

2
base/include/base/service.h
View File

@ -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

6
os/include/init/child_policy.h
View File

@ -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",