aboutsummaryrefslogtreecommitdiff
path: root/src/zawrs.adoc
diff options
context:
space:
mode:
Diffstat (limited to 'src/zawrs.adoc')
-rw-r--r--src/zawrs.adoc7
1 files changed, 4 insertions, 3 deletions
diff --git a/src/zawrs.adoc b/src/zawrs.adoc
index 7443c41..456c582 100644
--- a/src/zawrs.adoc
+++ b/src/zawrs.adoc
@@ -1,4 +1,4 @@
-== "Zawrs" Statndard extension for Wait-on-Reservation-Set instructions, version 1.01
+== "Zawrs" Statndard extension for Wait-on-Reservation-Set instructions, Version 1.01
The Zawrs extension defines a pair of instructions to be used in polling loops
that allows a core to enter a low-power state and wait on a store to a memory
@@ -37,10 +37,9 @@ reached.
[NOTE]
====
The instructions in the Zawrs extension are only useful in conjunction with the
-LR instructions, which are provided by the A extension, and which we also expect
+LR instruction, which is provided by the A extension, and which we also expect
to be provided by a narrower Zalrsc extension in the future.
====
-
[[Zawrs]]
=== Wait-on-Reservation-Set Instructions
@@ -62,6 +61,8 @@ supported in a constrained `LR`/`SC` loop.
], config:{lanes: 1, hspace:1024}}
....
+<<<
+
Hart execution may be stalled while the following conditions are all satisfied:
[loweralpha]
. The reservation set is valid