Merge pull request #1451 from riscv/kersten1-patch-1

Duplicate IDs
riscv · Jun 12, 2024 · c8c8075 · c8c8075
2 parents 353e88f + 3c2afa8
commit c8c8075
Show file tree

Hide file tree

Showing 3 changed files with 98 additions and 98 deletions.
diff --git a/src/b-st-ext.adoc b/src/b-st-ext.adoc
@@ -29,7 +29,7 @@ Bitmanip instructions with the suffix _.b_, _.h_ and _.w_ only look at the least
 
 === Pseudocode for instruction semantics
 
-The semantics of each instruction in <<#insns>> is expressed in a SAIL-like syntax.
+The semantics of each instruction in <<#insns-b>> is expressed in a SAIL-like syntax.
 
 === Extensions
 
@@ -996,7 +996,7 @@ latency does not depend on the (secret) data being operated on.
 
 <<<
 
-[#insns,reftext="Instructions (in alphabetical order)"]
+[#insns-b,reftext="Instructions (in alphabetical order)"]
 === Instructions (in alphabetical order)
 
 [#insns-add_uw,reftext=Add unsigned word]

diff --git a/src/cmo.adoc b/src/cmo.adoc
@@ -6,7 +6,7 @@
 The semantics of each instruction in the <<#insns>> chapter is expressed in a
 SAIL-like syntax.
 
-[#intro,reftext="Introduction"]
+[#intro-cmo,reftext="Introduction"]
 === Introduction
 
 _Cache-management operation_ (or _CMO_) instructions perform operations on