Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Clarify Acquire/Release behavior for external memory (#1176)
* Clarify Acquire/Release behavior for external memory Clarify Acquire/Release behavior for external memory specs to call out the scope of operations as well as the behavior in case of multiple acquire/release calls. Fixes #1078, #1086 * Updates to Acquire/Release clarifications (#1183) Address review comments on PR#1176 Fixes #1078, #1086 * Address left-over comments (#1194) Address some of the comments that were left out in earlier update. * Fix the typo for "acquired" Fix the typo suggested by Kevin to replace aquired to acquired. Co-authored-by: Kévin Petit <kevin.petit@arm.com> --------- Co-authored-by: Kévin Petit <kevin.petit@arm.com>
- Loading branch information