diff --git a/config/rv32imc/coverage.svh b/config/rv32imc/coverage.svh
index 55c5aaf39..ce01b9f35 100644
--- a/config/rv32imc/coverage.svh
+++ b/config/rv32imc/coverage.svh
@@ -17,19 +17,14 @@
 `define M_COVERAGE
 `define ZCA_COVERAGE
 `define ZICSR_COVERAGE
-// TODO: Should include ZIFENCEI when that is added to cvw-arch-verif
 
 // Privileged extensions
 `define ZICSRM_COVERAGE
-`define ZICSRS_COVERAGE
 `define ZICSRU_COVERAGE
 `define EXCEPTIONSM_COVERAGE
-`define EXCEPTIONSS_COVERAGE
 `define EXCEPTIONSU_COVERAGE
 `define EXCEPTIONSZC_COVERAGE
 `define ZICNTRU_COVERAGE
-`define ZICNTRS_COVERAGE
 `define ZICNTRM_COVERAGE
 `define INTERRUPTSU_COVERAGE
 `define INTERRUPTSM_COVERAGE
-`define INTERRUPTSS_COVERAGE