aboutsummaryrefslogtreecommitdiff
path: root/riscv/insns
diff options
context:
space:
mode:
Diffstat (limited to 'riscv/insns')
-rw-r--r--riscv/insns/sfence_w_inval.h4
1 files changed, 1 insertions, 3 deletions
diff --git a/riscv/insns/sfence_w_inval.h b/riscv/insns/sfence_w_inval.h
index f566d63..d1af529 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"