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)
Add missing barriers to Bakery Locks


Trivial merge