diff --git a/src/insns/prefetch.i.adoc b/src/insns/prefetch.i.adoc index 7c096357..9a6e77bd 100644 --- a/src/insns/prefetch.i.adoc +++ b/src/insns/prefetch.i.adoc @@ -42,7 +42,7 @@ effective address is the sum of the base address specified in `rs1` and the sign-extended offset encoded in imm[11:0], where imm[4:0] equals 0b00000, is likely to be accessed by an instruction fetch in the near future. The encoding is only valid if imm[4:0]=0. The authorising capability for this operation is -<>. +<>. :prefetch_insn: PREFETCH.I :prefetch_perm: <>