diff --git a/riscv/insns/sfence_w_inval.h b/riscv/insns/sfence_w_inval.h
index f566d632..d1af529f 100644
--- a/riscv/insns/sfence_w_inval.h
+++ b/riscv/insns/sfence_w_inval.h
@@ -1,3 +1 @@
-require_extension('S');
-require_extension(EXT_SVINVAL);
-require_impl(IMPL_MMU);
+#include "sfence_inval_ir.h"