Merge pull request #221 from achingupta/ag/tf-issues#272

Precede a 'sev' with a 'dsb' in bakery lock code
This commit is contained in:
danh-arm
2014-11-11 15:52:55 +00:00

View File

@@ -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();
}