File tree 1 file changed +3
-3
lines changed
1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -23,7 +23,7 @@ used to authorize all data memory accesses when in
23
23
{cheri_int_mode_name} .
24
24
25
25
The current CHERI execution mode is given by the <<m_bit>> field of <<pcc>> that
26
- is encoded as described in xref:section-cheri-execution-mode [xrefstyle=short].
26
+ is encoded as described in xref:m_bit [xrefstyle=short].
27
27
28
28
The CHERI execution mode impacts the instruction set in the following ways:
29
29
@@ -55,7 +55,7 @@ Setting both registers to <<infinite-cap>> ensures that:
55
55
* The bounds authorize accesses to the entire address space i.e base is 0 and
56
56
top is 2^MXLEN^
57
57
58
- [#m_bit,reftext="M-bit "]
58
+ [#m_bit,reftext="CHERI Execution Mode Encoding "]
59
59
=== CHERI Execution Mode Encoding
60
60
61
61
{cheri_default_ext_name} adds a new CHERI execution Mode field (M) to
@@ -172,7 +172,7 @@ The unconditional jump instructions change behavior depending on the CHERI
172
172
execution mode although the instruction's encoding remains unchanged.
173
173
174
174
The jump and link instruction <<JAL>> when the CHERI execution mode is
175
- Capability ; behaves as described in
175
+ {cheri_cap_mode_name} ; behaves as described in
176
176
xref:section_existing_riscv_insns[xrefstyle=short].
177
177
When the mode is {cheri_int_mode_name}. In this case, the address of the instruction
178
178
following the jump (*pc* + 4) is written to an *x* register; that register's
You can’t perform that action at this time.
0 commit comments