Skip to content

Commit 3fc0d03

Browse files
committed
x86: Renumber capability fault error codes.
- Remove the unused 'None' value. - Renumber tag violation first since to better match exception priority. - Collapse error codes to remove gaps.
1 parent 4b203b3 commit 3fc0d03

File tree

1 file changed

+15
-21
lines changed

1 file changed

+15
-21
lines changed

chap-cheri-x86-64.tex

Lines changed: 15 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -1095,27 +1095,21 @@ \subsection{Capability Violation Faults}
10951095
\toprule
10961096
Value & Description \\
10971097
\midrule
1098-
0x00 & None \\
1099-
0x01 & Length Violation \\
1100-
0x02 & Tag Violation \\
1101-
0x03 & Seal Violation \\
1102-
0x04 & Type Violation \\
1103-
0x05-0x07 & \emph{reserved} \\
1104-
0x08 & Software-defined Permission Violation \\
1105-
0x09-0x0f & \emph{reserved} \\
1106-
0x10 & \cappermG Violation \\
1107-
0x11 & \cappermX Violation \\
1108-
0x12 & \cappermL Violation \\
1109-
0x13 & \cappermS Violation \\
1110-
0x14 & \cappermLC Violation \\
1111-
0x15 & \cappermSC Violation \\
1112-
0x16 & \cappermSLC Violation \\
1113-
0x17 & \emph{reserved} \\
1114-
0x18 & \cappermASR Violation \\
1115-
0x19 & \cappermInvoke Violation \\
1116-
0x1a-0x1b & \emph{reserved} \\
1117-
0x1c & \cappermCid Violation \\
1118-
0x1d-0x1f & \emph{reserved} \\
1098+
0x0 & Tag Violation \\
1099+
0x1 & Length Violation \\
1100+
0x2 & Seal Violation \\
1101+
0x3 & Type Violation \\
1102+
0x4 & Software-defined Permission Violation \\
1103+
0x5 & \cappermG Violation \\
1104+
0x6 & \cappermX Violation \\
1105+
0x7 & \cappermL Violation \\
1106+
0x8 & \cappermS Violation \\
1107+
0x9 & \cappermLC Violation \\
1108+
0xa & \cappermSC Violation \\
1109+
0xb & \cappermSLC Violation \\
1110+
0xc & \cappermASR Violation \\
1111+
0xd & \cappermInvoke Violation \\
1112+
0xe & \cappermCid Violation \\
11191113
\bottomrule
11201114
\end{tabular}
11211115
\end{center}

0 commit comments

Comments
 (0)