From 49de0f90f0d71c27c45a022e2296a51c5c1afb08 Mon Sep 17 00:00:00 2001
From: Ivan Ribeiro <ivanmgribeiro@gmail.com>
Date: Mon, 2 Oct 2023 17:29:40 +0100
Subject: [PATCH] Reduce VA_Width to allow compilation

This is almost certainly not the right fix but allows the code to
compile and the trim code is not used anywhere with CAP64
---
 CHERICC_Fat.bsv | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/CHERICC_Fat.bsv b/CHERICC_Fat.bsv
index 2527c84..451ce38 100644
--- a/CHERICC_Fat.bsv
+++ b/CHERICC_Fat.bsv
@@ -1500,7 +1500,11 @@ instance Cast#(function CapPipe f0(t y), function Bit#(CapAddrW) f1(t x));
 endinstance
 
 `ifdef CAP64
-typedef 32 VA_Width;
+// XXX TODO
+// This is probably the wrong fix but allows the code to compile, and the
+// code for CAP64 is not used anywhere.
+// Need to consider what the right size is.
+typedef 31 VA_Width;
 `else
 typedef 48 VA_Width;
 `endif