Skip to content

Commit 732c2a8

Browse files
remove pointless note
1 parent adc0255 commit 732c2a8

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

src/cheri-pte-ext.adoc

-2
Original file line numberDiff line numberDiff line change
@@ -204,8 +204,6 @@ When V=1 <<vsstatusreg_pte,vsstatus>>.UCRG is in effect.
204204

205205
<<mstatusreg_pte,mstatus>>.UCRG also exists. Reading or writing it is equivalent to reading or writing <<sstatusreg_pte,sstatus>>.UCRG.
206206

207-
NOTE: <<sstatusreg_pte,sstatus>> is required to be a subset of <<mstatusreg_pte,mstatus>>, therefore UCRG is included in both.
208-
209207

210208
[#mstatusreg_pte]
211209
.Virtual Supervisor-mode status (*mstatus*) register when MXLEN=64

0 commit comments

Comments
 (0)