diff --git a/sail-riscv b/sail-riscv index cf541be..5c52279 160000 --- a/sail-riscv +++ b/sail-riscv @@ -1 +1 @@ -Subproject commit cf541bea6be2d612c9bc91af032ab277a3756512 +Subproject commit 5c522794e3405a057b6324ea72c17b666a2b0756 diff --git a/src/cheri_regs.sail b/src/cheri_regs.sail index 57210e9..6a38932 100644 --- a/src/cheri_regs.sail +++ b/src/cheri_regs.sail @@ -211,7 +211,7 @@ function string_of_capreg_idx(reg : capreg_idx) -> string = match reg { 0b0 @ greg : bits(5) => "c" ^ dec_str(unsigned(greg)) ^ "/" ^ cap_reg_name_abi(greg), 0b100000 => "PCC", - 0b111101 => "MTCC", + 0b111100 => "MTCC", 0b111101 => "MTDC", 0b111110 => "MScratchC", 0b111111 => "EPCC",