tree 39bd179f7eaaab22cfce06f1046f25b51635569a
parent 7f35090478fae672a46f98e4c04285be9ea3ba55
author Achin Gupta <achin.gupta@arm.com> 1415620230 +0000
committer Achin Gupta <achin.gupta@arm.com> 1415620230 +0000

Precede a 'sev' with a 'dsb' in bakery lock code

This patch fixes a bug in the bakery lock implementation where a data
synchronisation barrier instruction is not issued before sending an event as
mandated by the ARMv8 ARM. This can cause a event to be signalled before the
related memory accesses have completed resulting in erroneous execution.

Fixes ARM-software/tf-issues#272

Change-Id: I5ce02bf70afb001d967b9fa4c3f77442931d5349