diff --git a/src/rv32.adoc b/src/rv32.adoc index 3a0824ed0..a85afaa0f 100644 --- a/src/rv32.adoc +++ b/src/rv32.adoc @@ -875,7 +875,7 @@ ordering to avoid unnecessary serialization within a device-driver hart and also to support alternative non-memory paths to control added coprocessors or I/O devices. Simple implementations may additionally ignore the _predecessor_ and _successor_ fields and always execute a -conservative fence on all operations. +conservative FENCE on all operations. ==== [[ecall-ebreak]]