From 120a55011ab05159fb0409313fbb7d6218b9cbcc Mon Sep 17 00:00:00 2001 From: Roman De Santos Date: Tue, 1 Apr 2025 16:06:15 -0700 Subject: [PATCH] Rv64 Config Changes --- config/rv64gc/coverage.svh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh index 1a05e48c2..67ad14410 100644 --- a/config/rv64gc/coverage.svh +++ b/config/rv64gc/coverage.svh @@ -57,6 +57,9 @@ `define EXCEPTIONSZC_COVERAGE `define EXCEPTIONSVM_COVERAGE `define EXCEPTIONSZAAMO_COVERAGE +`define EXCEPTIONSZALRSC_COVERAGE +`define EXCEPTIONSZICBOS_COVERAGE +`define EXCEPTIONSZICBOU_COVERAGE `define ZICNTRU_COVERAGE `define ZICNTRS_COVERAGE `define ZICNTRM_COVERAGE