diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh
index d3953b916..b05362f8d 100644
--- a/config/rv32gc/coverage.svh
+++ b/config/rv32gc/coverage.svh
@@ -9,7 +9,6 @@
 `define XLEN32 1
 
 // Define relevant addresses
-`define CLINT_BASE 64'h02000000
 `define ACCESS_FAULT_ADDRESS 32'h0000
 
 // Unprivileged extensions
diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh
index 3974d7f96..85abee104 100644
--- a/config/rv64gc/coverage.svh
+++ b/config/rv64gc/coverage.svh
@@ -9,7 +9,6 @@
 `define XLEN64 1
 
 // Define relevant addresses
-`define CLINT_BASE 64'h02000000
 `define ACCESS_FAULT_ADDRESS 64'h00000000
 
 // Unprivileged extensions