xen/arm32: __cmpxchg_mb should be marked always_inline
authorJulien Grall <julien.grall@linaro.org>
Thu, 3 Apr 2014 17:09:10 +0000 (18:09 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Tue, 8 Apr 2014 14:52:44 +0000 (15:52 +0100)
commitd2b4c27c0718f27deba00a16317a8ba04c1a2cb7
tree7e325139d307ca6a96f376127f0736a37fa22445
parent7d5352558907d2c4ed8e0ac5135e63f545ea230b
xen/arm32: __cmpxchg_mb should be marked always_inline

Currently __cmpxchg_mb is only marked inline. The compiler can decide to not
inline this function. In this case, the call to __cmpxchg will be inlined
but not optimised. This will result linking failure because of __bad_cmpxchg.

Caught by clang 3.5.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/include/asm-arm/arm32/cmpxchg.h