diff options
author | Peter Maydell <peter.maydell@linaro.org> | 2015-01-08 12:19:47 +0000 |
---|---|---|
committer | Riku Voipio <riku.voipio@linaro.org> | 2015-01-27 22:33:57 +0200 |
commit | f7e61b222b2796ee43c976ec44c61a15d55ff662 (patch) | |
tree | 2ca624d84a7e08d0c58a639ebd0cc9b2f212cb77 /linux-user/main.c | |
parent | b040bc9c0360106fab57bb1abe2d242bd17c4c32 (diff) |
linux-user/main.c: Mark end_exclusive() as possibly unused
The function end_exclusive() isn't used on all targets; mark it as
such to avoid a clang warning.
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Riku Voipio <riku.voipio@linaro.org>
Diffstat (limited to 'linux-user/main.c')
-rw-r--r-- | linux-user/main.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/linux-user/main.c b/linux-user/main.c index 95e8a519ce..cfa7d07b7a 100644 --- a/linux-user/main.c +++ b/linux-user/main.c @@ -169,7 +169,7 @@ static inline void start_exclusive(void) } /* Finish an exclusive operation. */ -static inline void end_exclusive(void) +static inline void __attribute__((unused)) end_exclusive(void) { pending_cpus = 0; pthread_cond_broadcast(&exclusive_resume); |