r227997 - Thread Safety Analysis: add support for before/after annotations on mutexes.

[Renato Golin]

On 3 February 2015 at 20:11, Renato Golin <renato.golin at linaro.org> wrote:
> Seems like some of your assumptions didn't hold on ARM64... :)

I meant, ARM... of course... :)

--renato