Merge pull request #1561 from jeenu-arm/bakery-barrier
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Wed, 5 Sep 2018 14:42:15 +0000 (15:42 +0100)
committerGitHub <noreply@github.com>
Wed, 5 Sep 2018 14:42:15 +0000 (15:42 +0100)
commit783fd8e00f7a58462891ff16fa3f10f635df7a12
tree2bb6bff9d831d0e67a870113b0dc6f44e809979b
parent42dc33106996c4a5849d405c3e54964a7231d272
parent24dc97091532751ea810e99bd5a9be33514decf6
Merge pull request #1561 from jeenu-arm/bakery-barrier

Add missing barriers to Bakery Locks