Message ID | f7e61b222b2796ee43c976ec44c61a15d55ff662.1422392096.git.riku.voipio@linaro.org |
---|---|
State | New |
Headers | show |
diff --git a/linux-user/main.c b/linux-user/main.c index 95e8a51..cfa7d07 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);