Clang: maybe_unused
This commit is contained in:
parent
b7a10296a1
commit
5acd689675
|
@ -35,7 +35,7 @@ class Genode::Native_utcb
|
|||
* and the user process. It is not backed by a
|
||||
* dataspace but provided by the kernel.
|
||||
*/
|
||||
addr_t _utcb[UTCB_SIZE/sizeof(addr_t)];
|
||||
[[maybe_unused]] addr_t _utcb[UTCB_SIZE/sizeof(addr_t)];
|
||||
|
||||
public:
|
||||
|
||||
|
|
|
@ -406,7 +406,7 @@ class Genode::Trace::Subject_registry
|
|||
*/
|
||||
~Subject_registry()
|
||||
{
|
||||
Lock guard(_lock);
|
||||
[[maybe_unused]] Lock guard(_lock);
|
||||
|
||||
while (Subject *s = _entries.first())
|
||||
_unsynchronized_destroy(*s);
|
||||
|
@ -417,7 +417,7 @@ class Genode::Trace::Subject_registry
|
|||
*/
|
||||
void import_new_sources(Source_registry &)
|
||||
{
|
||||
Lock guard(_lock);
|
||||
[[maybe_unused]] Lock guard(_lock);
|
||||
|
||||
_sources.export_sources(_tester, _inserter);
|
||||
}
|
||||
|
@ -445,7 +445,7 @@ class Genode::Trace::Subject_registry
|
|||
*/
|
||||
size_t release(Subject_id subject_id)
|
||||
{
|
||||
Lock guard(_lock);
|
||||
[[maybe_unused]] Lock guard(_lock);
|
||||
|
||||
Subject &subject = _unsynchronized_lookup_by_id(subject_id);
|
||||
return _unsynchronized_destroy(subject);
|
||||
|
|
|
@ -25,7 +25,6 @@
|
|||
#include <region_map_component.h>
|
||||
#include <dataspace_component.h>
|
||||
|
||||
static const bool verbose = false;
|
||||
static const bool verbose_page_faults = false;
|
||||
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user