5 files changed, 5 insertions, 0 deletions
diff --git a/riscv/insns/hinval_gvma.h b/riscv/insns/hinval_gvma.h
index d8fd29d..6be5cd9 100644
--- a/riscv/insns/hinval_gvma.h
+++ b/riscv/insns/hinval_gvma.h
@@ -1 +1,2 @@
+require_extension(EXT_SVINVAL);
 #include "hfence_gvma.h"
diff --git a/riscv/insns/hinval_vvma.h b/riscv/insns/hinval_vvma.h
index 9206037..c50707c 100644
--- a/riscv/insns/hinval_vvma.h
+++ b/riscv/insns/hinval_vvma.h
@@ -1 +1,2 @@
+require_extension(EXT_SVINVAL);
 #include "hfence_vvma.h"
diff --git a/riscv/insns/sfence_inval_ir.h b/riscv/insns/sfence_inval_ir.h
index 10d8dd6..f566d63 100644
--- a/riscv/insns/sfence_inval_ir.h
+++ b/riscv/insns/sfence_inval_ir.h
@@ -1,2 +1,3 @@
 require_extension('S');
+require_extension(EXT_SVINVAL);
 require_impl(IMPL_MMU);
diff --git a/riscv/insns/sfence_w_inval.h b/riscv/insns/sfence_w_inval.h
index 10d8dd6..f566d63 100644
--- a/riscv/insns/sfence_w_inval.h
+++ b/riscv/insns/sfence_w_inval.h
@@ -1,2 +1,3 @@
 require_extension('S');
+require_extension(EXT_SVINVAL);
 require_impl(IMPL_MMU);
diff --git a/riscv/insns/sinval_vma.h b/riscv/insns/sinval_vma.h
index 385b2de..5e43149 100644
--- a/riscv/insns/sinval_vma.h
+++ b/riscv/insns/sinval_vma.h
@@ -1 +1,2 @@
+require_extension(EXT_SVINVAL);
 #include "sfence_vma.h"