fix jamie's comment

riscv · Jan 14, 2025 · a16ab1d · a16ab1d
1 parent b5ae984
commit a16ab1d
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/src/insns/load_exceptions.adoc b/src/insns/load_exceptions.adoc
@@ -23,10 +23,9 @@ listed below; in this case, _CHERI data fault_ is reported in the <<mtval2>> or
 
 |==============================================================================
 +
-If {cheri_pte_ext_name} is implemented, and virtual memory is enabled, then the state of
-<<cheri_pte_ext,PTE>>.CW and <<cheri_pte_ext,PTE>>.CRG from the current virtual memory page,
-together with <<sstatusreg_pte,sstatus>>.UCRG may cause a CHERI <<cheri_pte_ext,PTE>> page fault exception
-in addition to a normal RISC-V page fault exception when operating in user mode.
+If virtual memory is enabled, then the state of <<cheri_pte_ext,PTE>>.CW,
+and,  if {cheri_pte_ext_name} is implemented, <<cheri_pte_ext,PTE>>.CRG, <<cheri_pte_ext,PTE>>.U and <<sstatusreg_pte,sstatus>>.UCRG,
+may cause a CHERI <<cheri_pte_ext,PTE>> page fault exception in addition to a normal RISC-V page fault exception.
 See <<mtval2-page-fault>> for the exception reporting in this case.
 +
 :!load_res: