diff options
| author | danh-arm <dan.handley@arm.com> | 2014-11-11 15:52:55 +0000 |
|---|---|---|
| committer | danh-arm <dan.handley@arm.com> | 2014-11-11 15:52:55 +0000 |
| commit | 6f80d60bb8a01a4d2acd8e10b628c8dc8bcbb14f (patch) | |
| tree | 815c46a7b0b1862c2ceeb3157820dc7ae1ef784b | |
| parent | e73f4ef6072096584f44cb0046c78194df359e8a (diff) | |
| parent | 66ce001e7d9125f386eb254ec1645f4391e4f537 (diff) | |
Merge pull request #221 from achingupta/ag/tf-issues#272
Precede a 'sev' with a 'dsb' in bakery lock code
| -rw-r--r-- | lib/locks/bakery/bakery_lock.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/locks/bakery/bakery_lock.c b/lib/locks/bakery/bakery_lock.c index 877f5262..7e71dec0 100644 --- a/lib/locks/bakery/bakery_lock.c +++ b/lib/locks/bakery/bakery_lock.c @@ -107,6 +107,7 @@ static unsigned int bakery_get_ticket(bakery_lock_t *bakery, unsigned int me) ++my_ticket; bakery->number[me] = my_ticket; bakery->entering[me] = 0; + dsb(); sev(); return my_ticket; @@ -189,5 +190,6 @@ void bakery_lock_release(bakery_lock_t *bakery) */ bakery->owner = NO_OWNER; bakery->number[me] = 0; + dsb(); sev(); } |