Populate tval with CHERI trap information

This commit is contained in:
Peter Rugg
2020-05-29 13:27:23 +01:00
parent a49d3d2b6b
commit 4b4b5836e8

View File

@@ -1027,7 +1027,7 @@ module mkCsrFile #(Data hartid)(CsrFile);
end
tagged CapException .ce: begin
cause_code = pack(CHERIFault);
// populate CHERI cause register.
trap_val = zeroExtend({pack(ce.cheri_exc_reg), pack(ce.cheri_exc_code)});
end
tagged Interrupt .i: begin
cause_code = zeroExtend(pack(i));